@PortedFrom(file="SyntacticLocalityChecker.h", name="BotEquivalenceEvaluator") public class BotEquivalenceEvaluator extends SigAccessor implements DLExpressionVisitor
| Constructor and Description |
|---|
BotEquivalenceEvaluator() |
isTopOrBuiltInDataType, isTopOrBuiltInInfDataType, setSignature, topCLocal, topRLocalvisit, visit, visit, visit, visit, visit, visit, visit, visitpublic void visit(ConceptTop expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptBottom expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleProjectionFrom expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleProjectionInto expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptName expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptNot expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptAnd expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptOr expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptOneOf expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectSelf expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectValue expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectExists expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectForall expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectMinCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectMaxCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptObjectExactCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataValue expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataExists expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataForall expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataMinCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataMaxCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ConceptDataExactCardinality expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleTop expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleBottom expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleName expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleInverse expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(ObjectRoleChain expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(DataRoleTop expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(DataRoleBottom expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterpublic void visit(DataRoleName expr)
visit in interface DLExpressionVisitorvisit in class DLExpressionVisitorAdapterCopyright © 2013 The University of Manchester. All Rights Reserved.