Uses of Interface
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor

Packages that use DLExpressionVisitor

Package	Description
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.datatypes

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type DLExpressionVisitor

Modifier and Type	Method and Description
void	DatatypeNegation.accept(DLExpressionVisitor visitor)
void	DatatypeEnumeration.accept(DLExpressionVisitor visitor)

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.elf

Classes in uk.ac.manchester.cs.jfact.elf that implement DLExpressionVisitor

Modifier and Type	Class and Description
class	ELFExpressionChecker

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.kernel.dl

Methods in uk.ac.manchester.cs.jfact.kernel.dl with parameters of type DLExpressionVisitor

Modifier and Type	Method and Description
void	ObjectRoleTop.accept(DLExpressionVisitor visitor)
void	ObjectRoleProjectionInto.accept(DLExpressionVisitor visitor)
void	ObjectRoleProjectionFrom.accept(DLExpressionVisitor visitor)
void	ObjectRoleName.accept(DLExpressionVisitor visitor)
void	ObjectRoleInverse.accept(DLExpressionVisitor visitor)
void	ObjectRoleChain.accept(DLExpressionVisitor visitor)
void	ObjectRoleBottom.accept(DLExpressionVisitor visitor)
void	IndividualName.accept(DLExpressionVisitor visitor)
void	DataTop.accept(DLExpressionVisitor visitor)
void	DataRoleTop.accept(DLExpressionVisitor visitor)
void	DataRoleName.accept(DLExpressionVisitor visitor)
void	DataRoleBottom.accept(DLExpressionVisitor visitor)
void	DataOr.accept(DLExpressionVisitor visitor)
void	DataOneOf.accept(DLExpressionVisitor visitor)
void	DataNot.accept(DLExpressionVisitor visitor)
void	DataBottom.accept(DLExpressionVisitor visitor)
void	DataAnd.accept(DLExpressionVisitor visitor)
void	ConceptTop.accept(DLExpressionVisitor visitor)
void	ConceptOr.accept(DLExpressionVisitor visitor)
void	ConceptOneOf.accept(DLExpressionVisitor visitor)
void	ConceptObjectValue.accept(DLExpressionVisitor visitor)
void	ConceptObjectSelf.accept(DLExpressionVisitor visitor)
void	ConceptObjectMinCardinality.accept(DLExpressionVisitor visitor)
void	ConceptObjectMaxCardinality.accept(DLExpressionVisitor visitor)
void	ConceptObjectForall.accept(DLExpressionVisitor visitor)
void	ConceptObjectExists.accept(DLExpressionVisitor visitor)
void	ConceptObjectExactCardinality.accept(DLExpressionVisitor visitor)
void	ConceptNot.accept(DLExpressionVisitor visitor)
void	ConceptName.accept(DLExpressionVisitor visitor)
void	ConceptDataValue.accept(DLExpressionVisitor visitor)
void	ConceptDataMinCardinality.accept(DLExpressionVisitor visitor)
void	ConceptDataMaxCardinality.accept(DLExpressionVisitor visitor)
void	ConceptDataForall.accept(DLExpressionVisitor visitor)
void	ConceptDataExists.accept(DLExpressionVisitor visitor)
void	ConceptDataExactCardinality.accept(DLExpressionVisitor visitor)
void	ConceptBottom.accept(DLExpressionVisitor visitor)
void	ConceptAnd.accept(DLExpressionVisitor visitor)

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with parameters of type DLExpressionVisitor

Modifier and Type	Method and Description
void	RoleExpression.accept(DLExpressionVisitor visitor)
void	ObjectRoleExpression.accept(DLExpressionVisitor visitor)
void	ObjectRoleComplexExpression.accept(DLExpressionVisitor visitor)
void	IndividualExpression.accept(DLExpressionVisitor visitor)
void	Expression.accept(DLExpressionVisitor visitor) accept method for the visitor pattern
void	DataRoleExpression.accept(DLExpressionVisitor visitor)
void	ConceptObjectRoleExpression.accept(DLExpressionVisitor visitor)
void	ConceptObjectRCExpression.accept(DLExpressionVisitor visitor)
void	ConceptObjectCardinalityExpression.accept(DLExpressionVisitor visitor)
void	ConceptExpression.accept(DLExpressionVisitor visitor)
void	ConceptDataRVExpression.accept(DLExpressionVisitor visitor)
void	ConceptDataRoleExpression.accept(DLExpressionVisitor visitor)
void	ConceptDataCardinalityExpression.accept(DLExpressionVisitor visitor)

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.split

Classes in uk.ac.manchester.cs.jfact.split that implement DLExpressionVisitor

Modifier and Type	Class and Description
class	BotEquivalenceEvaluator check whether class expressions are equivalent to bottom wrt given locality class
class	SigAccessor helper class to set signature and locality class
class	SyntacticLocalityChecker syntactic locality checker for DL axioms
class	TopEquivalenceEvaluator check whether class expressions are equivalent to top wrt given locality class

Uses of DLExpressionVisitor in uk.ac.manchester.cs.jfact.visitors

Classes in uk.ac.manchester.cs.jfact.visitors that implement DLExpressionVisitor

Modifier and Type	Class and Description
class	DLExpressionVisitorAdapter