Uses of Class
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

Packages that use DLExpressionVisitorAdapter

Package	Description
uk.ac.manchester.cs.jfact.split

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

Subclasses of DLExpressionVisitorAdapter in uk.ac.manchester.cs.jfact.split

Modifier and Type	Class and Description
class	BotEquivalenceEvaluator check whether class expressions are equivalent to bottom wrt given locality class
class	ExtendedSyntacticLocalityChecker syntactic locality checker for DL axioms
class	GeneralSyntacticLocalityChecker syntactic locality checker for DL axioms
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