Package de.learnlib.datastructure.discriminationtree

Class Summary

Class	Description
BinaryDTNode<I,D>	Binary discrimination tree node specialization.
BinaryDTree<I,D>	Binary discrimination tree specialization.
MultiDTNode<I,O,D>	Generic n-ary discrimination tree node specialization.
MultiDTree<I,O,D>	Generic n-ary discrimination tree specialization.
SplitData<O,T extends IntrusiveList<?>>	Data associated with a discrimination tree node while an enclosing subtree is being split.