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

Packages that use ReasoningKernel

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

Uses of ReasoningKernel in uk.ac.manchester.cs.jfact

Fields in uk.ac.manchester.cs.jfact declared as ReasoningKernel

Modifier and Type	Field and Description
protected ReasoningKernel	TranslationMachinery.kernel

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

Constructor and Description
TranslationMachinery(ReasoningKernel kernel, org.semanticweb.owlapi.model.OWLDataFactory df, DatatypeFactory factory)

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

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

Constructor and Description
SemanticLocalityChecker(ReasoningKernel k) init c'tor