org.coode.oppl.search

Class SearchTree<N>

java.lang.Object

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

Type Parameters:

N - type

Direct Known Subclasses:

AbstractOPPLAxiomSearchTree, AbstractSolvabilityOPPLOWLAxiomSearchTree, CollectionPermutation, OPPLAssertedSingleOWLAxiomSearchTree, OWLAxiomSearchTree

public abstract class SearchTree<N>
extends Object

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
SearchTree()

Method Summary

Modifier and Type	Method and Description
protected boolean	depthFirstSearch(N start, Stack<N> result)
protected boolean	exhaustiveDepthFirstSearch(N start, Stack<N> currrentPath, List<List<N>> solutions)
boolean	exhaustiveSearchTree(N start, List<List<N>> solutions)
protected abstract List<N>	getChildren(N node)
protected abstract boolean	goalReached(N node)

Methods inherited from class java.lang.Object

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

Constructor Detail

SearchTree

public SearchTree()

Method Detail

depthFirstSearch

protected boolean depthFirstSearch(N start,
                                   Stack<N> result)

exhaustiveDepthFirstSearch

protected boolean exhaustiveDepthFirstSearch(N start,
                                             Stack<N> currrentPath,
                                             List<List<N>> solutions)

exhaustiveSearchTree

public boolean exhaustiveSearchTree(N start,
                                    List<List<N>> solutions)

Parameters:

start - start

solutions - solutions

Returns:

true if found

getChildren

protected abstract List<N> getChildren(N node)

goalReached

protected abstract boolean goalReached(N node)

Parameters:

node - node

Returns:

true if the input OPPLOWLAxiomSearchNode represents an OWLAxiom that is contained in one of the ontologies managed by the ontology manager encapsulated in this OPPLOWLAxiomSearchTree.