BotEquivalenceEvaluator (JFact 1.0.0 API)

java.lang.Object
- uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
- - uk.ac.manchester.cs.jfact.split.SigAccessor
  - - uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator

All Implemented Interfaces:: DLExpressionVisitor

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="BotEquivalenceEvaluator")
public class BotEquivalenceEvaluator
extends SigAccessor
implements DLExpressionVisitor

check whether class expressions are equivalent to bottom wrt given locality class

Constructor Summary

Constructors
Constructor and Description

BotEquivalenceEvaluator()

Constructors
Constructor and Description
`BotEquivalenceEvaluator()`

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(DataRoleBottom expr)`
`void`	`visit(DataRoleName expr)`
`void`	`visit(DataRoleTop 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)`

Methods inherited from class uk.ac.manchester.cs.jfact.split.SigAccessor
isTopOrBuiltInDataType, isTopOrBuiltInInfDataType, setSignature, topCLocal, topRLocal

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
visit, visit, visit, visit, visit, visit, visit, visit, visit

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

Methods inherited from interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
visit, visit, visit, visit, visit, visit, visit, visit, visit

- Constructor Detail
  - BotEquivalenceEvaluator
```
public BotEquivalenceEvaluator()
```
- Method Detail
  - visit
```
public void visit(ConceptTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleProjectionFrom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleProjectionInto expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptNot expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptAnd expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptOr expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptOneOf expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectSelf expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectValue expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectExists expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectForall expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectMinCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectMaxCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptObjectExactCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataValue expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataExists expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataForall expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataMinCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataMaxCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ConceptDataExactCardinality expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleInverse expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(ObjectRoleChain expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(DataRoleTop expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(DataRoleBottom expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter
  - visit
```
public void visit(DataRoleName expr)
```
    Specified by:
    
    visit in interface DLExpressionVisitor
    
    Overrides:
    
    visit in class DLExpressionVisitorAdapter

Class BotEquivalenceEvaluator

Constructor Summary

Method Summary

Methods inherited from class uk.ac.manchester.cs.jfact.split.SigAccessor

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

Methods inherited from class java.lang.Object

Methods inherited from interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor

Constructor Detail

BotEquivalenceEvaluator

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