Uses of Class
org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment

Packages that use ModularityTreatment

Package	Description
org.semanticweb.owl.explanation.impl.laconic

Uses of ModularityTreatment in org.semanticweb.owl.explanation.impl.laconic

Methods in org.semanticweb.owl.explanation.impl.laconic that return ModularityTreatment

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

Constructors in org.semanticweb.owl.explanation.impl.laconic with parameters of type ModularityTreatment

Constructor and Description

LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory, ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor, OPlusSplitting spiltting, ModularityTreatment inputType)