DLAxiomVisitorEx (JFact 4.0.1 API)

Type Parameters:
O - return type

All Known Implementing Classes:

DLAxiomVisitorExAdapter, ExpressionFromAxiomBuilder
```
public interface DLAxiomVisitorEx<O>
```
axiom visitor

Method Summary

Methods
Modifier and Type	Method and Description
`O`	`visit(AxiomConceptInclusion axiom)`
`O`	`visit(AxiomDeclaration axiom)`
`O`	`visit(AxiomDifferentIndividuals axiom)`
`O`	`visit(AxiomDisjointConcepts axiom)`
`O`	`visit(AxiomDisjointDRoles axiom)`
`O`	`visit(AxiomDisjointORoles axiom)`
`O`	`visit(AxiomDisjointUnion axiom)`
`O`	`visit(AxiomDRoleDomain axiom)`
`O`	`visit(AxiomDRoleFunctional axiom)`
`O`	`visit(AxiomDRoleRange axiom)`
`O`	`visit(AxiomDRoleSubsumption axiom)`
`O`	`visit(AxiomEquivalentConcepts axiom)`
`O`	`visit(AxiomEquivalentDRoles axiom)`
`O`	`visit(AxiomEquivalentORoles axiom)`
`O`	`visit(AxiomFairnessConstraint axiom)`
`O`	`visit(AxiomInstanceOf axiom)`
`O`	`visit(AxiomORoleDomain axiom)`
`O`	`visit(AxiomORoleFunctional axiom)`
`O`	`visit(AxiomORoleRange axiom)`
`O`	`visit(AxiomORoleSubsumption axiom)`
`O`	`visit(AxiomRelatedTo axiom)`
`O`	`visit(AxiomRelatedToNot axiom)`
`O`	`visit(AxiomRoleAsymmetric axiom)`
`O`	`visit(AxiomRoleInverse axiom)`
`O`	`visit(AxiomRoleInverseFunctional axiom)`
`O`	`visit(AxiomRoleIrreflexive axiom)`
`O`	`visit(AxiomRoleReflexive axiom)`
`O`	`visit(AxiomRoleSymmetric axiom)`
`O`	`visit(AxiomRoleTransitive axiom)`
`O`	`visit(AxiomSameIndividuals axiom)`
`O`	`visit(AxiomValueOf axiom)`
`O`	`visit(AxiomValueOfNot axiom)`

- Method Detail
  - visit
```
O visit(AxiomDeclaration axiom)
```
    Parameters:
    axiom - AxiomDeclaration axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomEquivalentConcepts axiom)
```
    Parameters:
    axiom - AxiomEquivalentConcepts axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDisjointConcepts axiom)
```
    Parameters:
    axiom - AxiomDisjointConcepts axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomEquivalentORoles axiom)
```
    Parameters:
    axiom - AxiomEquivalentORoles axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomEquivalentDRoles axiom)
```
    Parameters:
    axiom - AxiomEquivalentDRoles axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDisjointUnion axiom)
```
    Parameters:
    axiom - AxiomDisjointUnion axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDisjointORoles axiom)
```
    Parameters:
    axiom - AxiomDisjointORoles axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDisjointDRoles axiom)
```
    Parameters:
    axiom - AxiomDisjointDRoles axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomSameIndividuals axiom)
```
    Parameters:
    axiom - AxiomSameIndividuals axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDifferentIndividuals axiom)
```
    Parameters:
    axiom - AxiomDifferentIndividuals axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomFairnessConstraint axiom)
```
    Parameters:
    axiom - AxiomFairnessConstraint axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleInverse axiom)
```
    Parameters:
    axiom - AxiomRoleInverse axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomORoleSubsumption axiom)
```
    Parameters:
    axiom - AxiomORoleSubsumption axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDRoleSubsumption axiom)
```
    Parameters:
    axiom - AxiomDRoleSubsumption axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomORoleDomain axiom)
```
    Parameters:
    axiom - AxiomORoleDomain axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDRoleDomain axiom)
```
    Parameters:
    axiom - AxiomDRoleDomain axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomORoleRange axiom)
```
    Parameters:
    axiom - AxiomORoleRange axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDRoleRange axiom)
```
    Parameters:
    axiom - AxiomDRoleRange axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleTransitive axiom)
```
    Parameters:
    axiom - AxiomRoleTransitive axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleReflexive axiom)
```
    Parameters:
    axiom - AxiomRoleReflexive axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleIrreflexive axiom)
```
    Parameters:
    axiom - AxiomRoleIrreflexive axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleSymmetric axiom)
```
    Parameters:
    axiom - AxiomRoleSymmetric axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleAsymmetric axiom)
```
    Parameters:
    axiom - AxiomRoleAsymmetric axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomORoleFunctional axiom)
```
    Parameters:
    axiom - AxiomORoleFunctional axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomDRoleFunctional axiom)
```
    Parameters:
    axiom - AxiomDRoleFunctional axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRoleInverseFunctional axiom)
```
    Parameters:
    axiom - AxiomRoleInverseFunctional axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomConceptInclusion axiom)
```
    Parameters:
    axiom - AxiomConceptInclusion axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomInstanceOf axiom)
```
    Parameters:
    axiom - AxiomInstanceOf axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRelatedTo axiom)
```
    Parameters:
    axiom - AxiomRelatedTo axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomRelatedToNot axiom)
```
    Parameters:
    axiom - AxiomRelatedToNot axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomValueOf axiom)
```
    Parameters:
    axiom - AxiomValueOf axiom to visit
    
    Returns:
    visitor value
  - visit
```
O visit(AxiomValueOfNot axiom)
```
    Parameters:
    axiom - AxiomValueOfNot axiom to visit
    
    Returns:
    visitor value

Interface DLAxiomVisitorEx<O>

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