Uses of Class
org.semanticweb.owlapi.reasoner.InferenceType

Packages that use InferenceType

Package	Description
org.semanticweb.owlapi.reasoner	OWLReasoner package.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package.

Uses of InferenceType in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return InferenceType

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

Methods in org.semanticweb.owlapi.reasoner that return types with arguments of type InferenceType

Modifier and Type	Method and Description
Set<InferenceType>	OWLReasoner.getPrecomputableInferenceTypes() Returns the set of InferenceTypes that are precomputable by reasoner.
default Stream<InferenceType>	OWLReasoner.precomputableInferenceTypes()

Methods in org.semanticweb.owlapi.reasoner with parameters of type InferenceType

Modifier and Type	Method and Description
boolean	OWLReasoner.isPrecomputed(InferenceType inferenceType) Determines if a specific set of inferences have been precomputed.
void	OWLReasoner.precomputeInferences(InferenceType... inferenceTypes) Asks the reasoner to precompute certain types of inferences.

Uses of InferenceType in org.semanticweb.owlapi.reasoner.structural

Methods in org.semanticweb.owlapi.reasoner.structural that return types with arguments of type InferenceType

Modifier and Type	Method and Description
Set<InferenceType>	StructuralReasoner.getPrecomputableInferenceTypes()

Methods in org.semanticweb.owlapi.reasoner.structural with parameters of type InferenceType

Modifier and Type	Method and Description
boolean	StructuralReasoner.isPrecomputed(InferenceType inferenceType)
void	StructuralReasoner.precomputeInferences(InferenceType... inferenceTypes)