Uses of Class
org.coode.oppl.search.OPPLOWLAxiomSearchNode

Packages that use OPPLOWLAxiomSearchNode

Package	Description
org.coode.oppl.search
org.coode.oppl.search.solvability

Uses of OPPLOWLAxiomSearchNode in org.coode.oppl.search

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

Modifier and Type	Method and Description
protected List<OPPLOWLAxiomSearchNode>	OPPLAssertedSingleOWLAxiomSearchTree.getChildren(OPPLOWLAxiomSearchNode node)
protected List<OPPLOWLAxiomSearchNode>	AbstractOPPLAxiomSearchTree.getChildren(OPPLOWLAxiomSearchNode node)

Methods in org.coode.oppl.search with parameters of type OPPLOWLAxiomSearchNode

Modifier and Type	Method and Description
boolean	OPPLAssertedSingleOWLAxiomSearchTree.exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)
boolean	AbstractOPPLAxiomSearchTree.exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)
protected List<OPPLOWLAxiomSearchNode>	OPPLAssertedSingleOWLAxiomSearchTree.getChildren(OPPLOWLAxiomSearchNode node)
protected List<OPPLOWLAxiomSearchNode>	AbstractOPPLAxiomSearchTree.getChildren(OPPLOWLAxiomSearchNode node)
protected boolean	OPPLInferredOWLAxiomSearchTree.goalReached(OPPLOWLAxiomSearchNode start)
protected boolean	OPPLAssertedSingleOWLAxiomSearchTree.goalReached(OPPLOWLAxiomSearchNode start)
protected boolean	OPPLAssertedOWLAxiomSearchTree.goalReached(OPPLOWLAxiomSearchNode start)
protected abstract boolean	AbstractOPPLAxiomSearchTree.goalReached(OPPLOWLAxiomSearchNode start)

Method parameters in org.coode.oppl.search with type arguments of type OPPLOWLAxiomSearchNode

Modifier and Type	Method and Description
boolean	OPPLAssertedSingleOWLAxiomSearchTree.exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)
boolean	AbstractOPPLAxiomSearchTree.exhaustiveSearchTree(OPPLOWLAxiomSearchNode start, List<List<OPPLOWLAxiomSearchNode>> solutions)

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

Subclasses of OPPLOWLAxiomSearchNode in org.coode.oppl.search.solvability

Modifier and Type	Class and Description
class	NoSolutionSolvableSearchNode
class	SolvabilitySearchNode Represents a search node for which it can be determined whether a single method call to the OWL API or to the reasoner could solve the search.
class	SolvableSearchNode
class	SolvedSearchNode
class	UnsolvableSearchNode