Uses of Class
org.coode.oppl.search.solvability.SolvabilitySearchNode

Packages that use SolvabilitySearchNode

Package	Description
org.coode.oppl.search.solvability

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

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

Modifier and Type	Class and Description
class	NoSolutionSolvableSearchNode
class	SolvableSearchNode
class	SolvedSearchNode
class	UnsolvableSearchNode

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

Modifier and Type	Method and Description
static SolvabilitySearchNode	SolvabilitySearchNode.buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, AxiomSolvability axiomSolvability, BindingNode bindingNode)
SolvabilitySearchNode	AbstractSolvabilityOPPLOWLAxiomSearchTree.buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)
SolvabilitySearchNode	OWLObjectPropertyFillersAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	OWLClassSubClassOfAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	NoResultsAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	MultipleAxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)
SolvabilitySearchNode	AxiomSolvability.getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)

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

Modifier and Type	Method and Description
protected List<SolvabilitySearchNode>	AbstractSolvabilityOPPLOWLAxiomSearchTree.getChildren(SolvabilitySearchNode node)
protected List<SolvabilitySearchNode>	AbstractSolvabilityOPPLOWLAxiomSearchTree.getUnsolvableNodeChildren(UnsolvableSearchNode node)

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

Modifier and Type	Method and Description
boolean	AbstractSolvabilityOPPLOWLAxiomSearchTree.exhaustiveSearchTree(SolvabilitySearchNode start, List<List<SolvabilitySearchNode>> solutions)
protected List<SolvabilitySearchNode>	AbstractSolvabilityOPPLOWLAxiomSearchTree.getChildren(SolvabilitySearchNode node)
protected boolean	AbstractSolvabilityOPPLOWLAxiomSearchTree.goalReached(SolvabilitySearchNode node)

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

Modifier and Type	Method and Description
boolean	AbstractSolvabilityOPPLOWLAxiomSearchTree.exhaustiveSearchTree(SolvabilitySearchNode start, List<List<SolvabilitySearchNode>> solutions)