ExpressionTranslator (JFact 1.0.0 API)

java.lang.Object
- uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator

All Implemented Interfaces:: DLExpressionVisitorEx<DLTree>

@PortedFrom(file="tExpressionTranslator.h",
            name="TExpressionTranslator")
public class ExpressionTranslator
extends Object
implements DLExpressionVisitorEx<DLTree>

Method Summary

Methods
Modifier and Type	Method and Description
`DLTree`	`visit(ConceptAnd expr)`
`DLTree`	`visit(ConceptBottom expr)`
`DLTree`	`visit(ConceptDataExactCardinality expr)`
`DLTree`	`visit(ConceptDataExists expr)`
`DLTree`	`visit(ConceptDataForall expr)`
`DLTree`	`visit(ConceptDataMaxCardinality expr)`
`DLTree`	`visit(ConceptDataMinCardinality expr)`
`DLTree`	`visit(ConceptDataValue expr)`
`DLTree`	`visit(ConceptName expr)`
`DLTree`	`visit(ConceptNot expr)`
`DLTree`	`visit(ConceptObjectExactCardinality expr)`
`DLTree`	`visit(ConceptObjectExists expr)`
`DLTree`	`visit(ConceptObjectForall expr)`
`DLTree`	`visit(ConceptObjectMaxCardinality expr)`
`DLTree`	`visit(ConceptObjectMinCardinality expr)`
`DLTree`	`visit(ConceptObjectSelf expr)`
`DLTree`	`visit(ConceptObjectValue expr)`
`DLTree`	`visit(ConceptOneOf expr)`
`DLTree`	`visit(ConceptOr expr)`
`DLTree`	`visit(ConceptTop expr)`
`DLTree`	`visit(DataAnd expr)`
`DLTree`	`visit(DataBottom expr)`
`DLTree`	`visit(DataNot expr)`
`DLTree`	`visit(DataOneOf expr)`
`DLTree`	`visit(DataOr expr)`
`DLTree`	`visit(DataRoleBottom expr)`
`DLTree`	`visit(DataRoleName expr)`
`DLTree`	`visit(DataRoleTop expr)`
`DLTree`	`visit(DataTop expr)`
`DLTree`	`visit(Datatype<?> expr)`
`DLTree`	`visit(IndividualName expr)`
`DLTree`	`visit(Literal<?> expr)`
`DLTree`	`visit(ObjectRoleBottom expr)`
`DLTree`	`visit(ObjectRoleChain expr)`
`DLTree`	`visit(ObjectRoleInverse expr)`
`DLTree`	`visit(ObjectRoleName expr)`
`DLTree`	`visit(ObjectRoleProjectionFrom expr)`
`DLTree`	`visit(ObjectRoleProjectionInto expr)`
`DLTree`	`visit(ObjectRoleTop expr)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - visit
```
public DLTree visit(ConceptTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptNot expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptAnd expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptOr expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptOneOf expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectSelf expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectValue expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectExists expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectForall expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectMinCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectMaxCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptObjectExactCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataValue expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataExists expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataForall expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataMinCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataMaxCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ConceptDataExactCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(IndividualName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleInverse expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleChain expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleProjectionFrom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(ObjectRoleProjectionInto expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataRoleTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataRoleBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataRoleName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(Datatype<?> expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(Literal<?> expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataNot expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataAnd expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataOr expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>
  - visit
```
public DLTree visit(DataOneOf expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitorEx<DLTree>

Class ExpressionTranslator

Method Summary

Methods inherited from class java.lang.Object

Method Detail

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit