Uses of Interface
uk.ac.manchester.cs.jfact.split.LocalityChecker

Packages that use LocalityChecker

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

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

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

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

Methods in uk.ac.manchester.cs.jfact.split that return LocalityChecker

Modifier and Type	Method and Description
LocalityChecker	TModularizer.getLocalityChecker() get access to the Locality checker

Constructors in uk.ac.manchester.cs.jfact.split with parameters of type LocalityChecker

Constructor and Description
SigIndex(LocalityChecker c) empty c'tor
TModularizer(JFactReasonerConfiguration config, LocalityChecker c) init c'tor