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

Packages that use ModuleType

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

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

Methods in uk.ac.manchester.cs.jfact with parameters of type ModuleType

Modifier and Type	Method and Description
int	JFactReasoner.getAtomicDecompositionSize(boolean useSemantics, ModuleType type)
Set<org.semanticweb.owlapi.model.OWLAxiom>	JFactReasoner.getModule(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, ModuleType moduletype)
Set<org.semanticweb.owlapi.model.OWLAxiom>	JFactReasoner.getNonLocal(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, ModuleType moduletype)

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

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type ModuleType

Modifier and Type	Method and Description
int	ReasoningKernel.getAtomicDecompositionSize(boolean useSemantics, ModuleType type) create new atomic decomposition of the loaded ontology using TYPE.
List<AxiomInterface>	ReasoningKernel.getModule(List<Expression> signature, boolean useSemantic, ModuleType type)
Set<AxiomInterface>	ReasoningKernel.getNonLocal(List<Expression> signature, boolean useSemantic, ModuleType type)

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

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

Modifier and Type	Method and Description
static ModuleType	ModuleType.valueOf(String name) Returns the enum constant of this type with the specified name.
static ModuleType[]	ModuleType.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in uk.ac.manchester.cs.jfact.split with parameters of type ModuleType

Modifier and Type	Method and Description
void	TModularizer.extract(AxiomInterface begin, TSignature signature, ModuleType type)
void	TModularizer.extract(Collection<AxiomInterface> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<AxiomInterface>	TModularizer.extractModule(List<AxiomInterface> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O;
AOStructure	AtomicDecomposer.getAOS(Ontology O, ModuleType t)
List<AxiomInterface>	OntologyBasedModularizer.getModule(List<AxiomInterface> axioms, TSignature sig, ModuleType type)
List<AxiomInterface>	OntologyBasedModularizer.getModule(TSignature sig, ModuleType type)
boolean	TModularizer.isTautology(AxiomInterface ax, ModuleType type)