Uses of Class
uk.ac.manchester.cs.jfact.kernel.DlSatTester

Packages that use DlSatTester

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

Uses of DlSatTester in uk.ac.manchester.cs.jfact.kernel

Subclasses of DlSatTester in uk.ac.manchester.cs.jfact.kernel

Modifier and Type	Class and Description
class	NominalReasoner nominal reasoner

Methods in uk.ac.manchester.cs.jfact.kernel that return DlSatTester

Modifier and Type	Method and Description
DlSatTester	TBox.getReasoner()

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type DlSatTester

Constructor and Description
DlCompletionGraph(int initSize, DlSatTester p) c'tor: make INIT_SIZE objects