org.dllearner.utilities.datastructures

Class SynchronizedSearchTree<T extends AbstractSearchTreeNode>

java.lang.Object

org.dllearner.utilities.datastructures.AbstractSearchTree<T>

org.dllearner.utilities.datastructures.SynchronizedSearchTree<T>

public class SynchronizedSearchTree<T extends AbstractSearchTreeNode>
extends AbstractSearchTree<T>

Constructor Summary

Constructors

Constructor and Description
SynchronizedSearchTree(Heuristic<T> comparator)

Method Summary

Methods inherited from class org.dllearner.utilities.datastructures.AbstractSearchTree

addNode, best, descendingIterator, descendingSet, getHeuristic, getNodeSet, getRoot, notifyNode, setRoot, size, updateDone, updatePrepare

Methods inherited from class java.lang.Object

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

Constructor Detail

SynchronizedSearchTree

public SynchronizedSearchTree(Heuristic<T> comparator)