uk.ac.manchester.cs.jfact.split

Class TopEquivalenceEvaluator

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

uk.ac.manchester.cs.jfact.split.SigAccessor

uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator

All Implemented Interfaces:

Serializable, DLExpressionVisitor

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

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TopEquivalenceEvaluator()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isTopEquivalent(Expression expr)
void	setBotEval(BotEquivalenceEvaluator eval) set the corresponding bottom evaluator
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 arg)
void	visit(DataNot expr)
void	visit(DataOneOf arg)
void	visit(DataOr expr)
void	visit(DataRoleBottom expr)
void	visit(DataRoleName expr)
void	visit(DataRoleTop expr)
void	visit(DataTop arg)
void	visit(Datatype<?> arg)
void	visit(Literal<?> arg)
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, setSignature, topCLocal, topRLocal

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

visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

visit, visit

Constructor Detail

TopEquivalenceEvaluator

public TopEquivalenceEvaluator()

Method Detail

visit

public void visit(ObjectRoleProjectionFrom expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleProjectionFrom to visit

visit

public void visit(ObjectRoleProjectionInto expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleProjectionInto to visit

setBotEval

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="setBotEval")
public void setBotEval(BotEquivalenceEvaluator eval)

set the corresponding bottom evaluator

Parameters:

eval - eval

isTopEquivalent

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="isTopEquivalent")
public boolean isTopEquivalent(Expression expr)

Parameters:

expr - expr

Returns:

true iff an EXPRession is equivalent to top wrt defined policy

visit

public void visit(ConceptTop expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptTop to visit

visit

public void visit(ConceptBottom expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptBottom to visit

visit

public void visit(ConceptName expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptName to visit

visit

public void visit(ConceptNot expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptNot to visit

visit

public void visit(ConceptAnd expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptAnd to visit

visit

public void visit(ConceptOr expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptOr to visit

visit

public void visit(ConceptOneOf<?> expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptOneOf to visit

visit

public void visit(ConceptObjectSelf expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectSelf to visit

visit

public void visit(ConceptObjectValue expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectValue to visit

visit

public void visit(ConceptObjectExists expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectExists to visit

visit

public void visit(ConceptObjectForall expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectForall to visit

visit

public void visit(ConceptObjectMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectMinCardinality to visit

visit

public void visit(ConceptObjectMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectMaxCardinality to visit

visit

public void visit(ConceptObjectExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptObjectExactCardinality to visit

visit

public void visit(ConceptDataValue expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataValue to visit

visit

public void visit(ConceptDataExists expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataExists to visit

visit

public void visit(ConceptDataForall expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataForall to visit

visit

public void visit(ConceptDataMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataMinCardinality to visit

visit

public void visit(ConceptDataMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataMaxCardinality to visit

visit

public void visit(ConceptDataExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ConceptDataExactCardinality to visit

visit

public void visit(ObjectRoleTop expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleTop to visit

visit

public void visit(ObjectRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleBottom to visit

visit

public void visit(ObjectRoleName expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleName to visit

visit

public void visit(ObjectRoleInverse expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleInverse to visit

visit

public void visit(ObjectRoleChain expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - ObjectRoleChain to visit

visit

public void visit(DataRoleTop expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataRoleTop to visit

visit

public void visit(DataRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataRoleBottom to visit

visit

public void visit(DataRoleName expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataRoleName to visit

visit

public void visit(DataTop arg)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

arg - DataTop to visit

visit

public void visit(DataBottom arg)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

arg - DataBottom to visit

visit

public void visit(Datatype<?> arg)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

arg - Datatype to visit

visit

public void visit(Literal<?> arg)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

arg - Literal to visit

visit

public void visit(DataNot expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataNot to visit

visit

public void visit(DataAnd expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataAnd to visit

visit

public void visit(DataOr expr)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

expr - DataOr to visit

visit

public void visit(DataOneOf arg)

Specified by:

visit in interface DLExpressionVisitor

Overrides:

visit in class DLExpressionVisitorAdapter

Parameters:

arg - DataOneOf to visit