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

Packages that use UnsolvableSearchNode

Package	Description
org.coode.oppl.search.solvability

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

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

Modifier and Type	Method and Description
protected List<SolvabilitySearchNode>	AbstractSolvabilityOPPLOWLAxiomSearchTree.getUnsolvableNodeChildren(UnsolvableSearchNode node)
protected boolean	InferredSolvabilitySearchTree.goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)
protected boolean	AssertedSolvabilitySearchTree.goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)
protected abstract boolean	AbstractSolvabilityOPPLOWLAxiomSearchTree.goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)
O	SolvabilitySearchNodeVisitorEx.visitUnsolvableSearchNode(UnsolvableSearchNode unsolvableSearchNode)
void	SolvabilitySearchNodeVisitor.visitUnsolvableSearchNode(UnsolvableSearchNode unsolvableSearchNode)