DLExpressionVisitor (JFact 1.0.0 API)

All Known Implementing Classes:

BotEquivalenceEvaluator, DLExpressionVisitorAdapter, ELFExpressionChecker, SigAccessor, SyntacticLocalityChecker, TopEquivalenceEvaluator
```
@PortedFrom(file="tDLExpression.h",
            name="DLExpressionVisitor")
public interface DLExpressionVisitor
```

Method Summary

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

Method Detail

visit
```
void visit(ConceptTop expr)
```

visit
```
void visit(ConceptBottom expr)
```

visit
```
void visit(ConceptName expr)
```

visit
```
void visit(ConceptNot expr)
```

visit
```
void visit(ConceptAnd expr)
```

visit
```
void visit(ConceptOr expr)
```

visit
```
void visit(ConceptOneOf expr)
```

visit
```
void visit(ConceptObjectSelf expr)
```

visit
```
void visit(ConceptObjectValue expr)
```

visit
```
void visit(ConceptObjectExists expr)
```

visit
```
void visit(ConceptObjectForall expr)
```

visit

void visit(ConceptObjectMinCardinality expr)

visit

void visit(ConceptObjectMaxCardinality expr)

visit

void visit(ConceptObjectExactCardinality expr)

visit
```
void visit(ConceptDataValue expr)
```

visit
```
void visit(ConceptDataExists expr)
```

visit
```
void visit(ConceptDataForall expr)
```

visit

void visit(ConceptDataMinCardinality expr)

visit

void visit(ConceptDataMaxCardinality expr)

visit

void visit(ConceptDataExactCardinality expr)

visit
```
void visit(IndividualName expr)
```

visit
```
void visit(ObjectRoleTop expr)
```

visit
```
void visit(ObjectRoleBottom expr)
```

visit
```
void visit(ObjectRoleName expr)
```

visit
```
void visit(ObjectRoleInverse expr)
```

visit
```
void visit(ObjectRoleChain expr)
```

visit

void visit(ObjectRoleProjectionFrom expr)

visit

void visit(ObjectRoleProjectionInto expr)

visit
```
void visit(DataRoleTop expr)
```

visit
```
void visit(DataRoleBottom expr)
```

visit
```
void visit(DataRoleName expr)
```

visit
```
void visit(DataTop expr)
```

visit
```
void visit(DataBottom expr)
```

visit
```
void visit(Literal<?> expr)
```

visit
```
void visit(Datatype<?> expr)
```

visit
```
void visit(DataNot expr)
```

visit
```
void visit(DataAnd expr)
```

visit
```
void visit(DataOr expr)
```

visit
```
void visit(DataOneOf expr)
```

Interface DLExpressionVisitor

Method Summary

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