Uses of Class
org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy

Packages that use InitialEntailmentCheckStrategy

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

Uses of InitialEntailmentCheckStrategy in org.semanticweb.owl.explanation.impl.blackbox

Methods in org.semanticweb.owl.explanation.impl.blackbox that return InitialEntailmentCheckStrategy

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

Constructors in org.semanticweb.owl.explanation.impl.blackbox with parameters of type InitialEntailmentCheckStrategy

Constructor and Description
StructuralTypePriorityExpansionStrategy(InitialEntailmentCheckStrategy initialEntailmentCheckStrategy)