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

Packages that use TModularizer

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

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

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

Modifier and Type	Method and Description
TModularizer	ReasoningKernel.getModExtractor(boolean useSemantic)

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

Fields in uk.ac.manchester.cs.jfact.split declared as TModularizer

Modifier and Type	Field and Description
protected TModularizer	TAxiomSplitter.mod

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

Constructor and Description
AtomicDecomposer(TModularizer c)