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

Packages that use OPlusSplitting

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

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

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

Modifier and Type	Method and Description
static OPlusSplitting	OPlusSplitting.valueOf(String name) Returns the enum constant of this type with the specified name.
static OPlusSplitting[]	OPlusSplitting.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 OPlusSplitting

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)
OPlusGenerator(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, OPlusSplitting splitting)