org.coode.oppl.search.solvability

Class InferredSolvabilitySearchTree

java.lang.Object

org.coode.oppl.search.SearchTree<SolvabilitySearchNode>

org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

org.coode.oppl.search.solvability.InferredSolvabilitySearchTree

public final class InferredSolvabilitySearchTree
extends AbstractSolvabilityOPPLOWLAxiomSearchTree

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

allAnnotationProperties, allClasses, allConstants, allDataProperties, allIndividuals, allObjectProperties

Constructor Summary

Constructors

Constructor and Description
InferredSolvabilitySearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Method Summary

Modifier and Type	Method and Description
protected AxiomSolvability	getAxiomSolvability()
protected boolean	goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

Methods inherited from class org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree

buildSolvabilitySearchNode, exhaustiveSearchTree, getChildren, getConstraintSystem, getRuntimeExceptionHandler, getUnsolvableNodeChildren, goalReached

Methods inherited from class org.coode.oppl.search.SearchTree

depthFirstSearch, exhaustiveDepthFirstSearch

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InferredSolvabilitySearchTree

public InferredSolvabilitySearchTree(ConstraintSystem constraintSystem,
                                     RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

constraintSystem - constraintSystem

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

goalReachedUnsolvabelNode

protected boolean goalReachedUnsolvabelNode(UnsolvableSearchNode unsolvableSearchNode)

Specified by:

goalReachedUnsolvabelNode in class AbstractSolvabilityOPPLOWLAxiomSearchTree

getAxiomSolvability

protected AxiomSolvability getAxiomSolvability()

Specified by:

getAxiomSolvability in class AbstractSolvabilityOPPLOWLAxiomSearchTree