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

Packages that use LaconicCheckerMode

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

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

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

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

Constructor and Description
IsLaconicChecker(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, LaconicCheckerMode checkerMode)