Uses of Interface
de.learnlib.algorithm.adt.adt.ADTNode