Uses of Interface
org.coode.oppl.search.solvability.AxiomSolvability

Packages that use AxiomSolvability

Package	Description
org.coode.oppl.search.solvability

Uses of AxiomSolvability in org.coode.oppl.search.solvability

Classes in org.coode.oppl.search.solvability that implement AxiomSolvability

Modifier and Type	Class and Description
class	AbstractAxiomSolvability
class	MultipleAxiomSolvability Applies a set of solvability strategies, until either a node is solved or the strategies are exhausted.
class	NoResultsAxiomSolvability
class	OWLClassSubClassOfAxiomSolvability
class	OWLObjectPropertyFillersAxiomSolvability
class	QuerySolverBasedAbstractAxiomSolvability

Methods in org.coode.oppl.search.solvability that return AxiomSolvability

Modifier and Type	Method and Description
protected AxiomSolvability	InferredSolvabilitySearchTree.getAxiomSolvability()
protected AxiomSolvability	AssertedSolvabilitySearchTree.getAxiomSolvability()
protected abstract AxiomSolvability	AbstractSolvabilityOPPLOWLAxiomSearchTree.getAxiomSolvability()

Methods in org.coode.oppl.search.solvability that return types with arguments of type AxiomSolvability

Modifier and Type	Method and Description
Set<AxiomSolvability>	MultipleAxiomSolvability.getDelegates()

Methods in org.coode.oppl.search.solvability with parameters of type AxiomSolvability

Modifier and Type	Method and Description
static SolvabilitySearchNode	SolvabilitySearchNode.buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, AxiomSolvability axiomSolvability, BindingNode bindingNode)

Constructor parameters in org.coode.oppl.search.solvability with type arguments of type AxiomSolvability

Constructor and Description
MultipleAxiomSolvability(Collection<? extends AxiomSolvability> delegates)