Uses of Class
uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker

Packages that use GeneralSyntacticLocalityChecker

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

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

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

Modifier and Type	Class and Description
class	ExtendedSyntacticLocalityChecker syntactic locality checker for DL axioms
class	SyntacticLocalityChecker syntactic locality checker for DL axioms