Package de.learnlib.algorithm.oml.ttt.pt
Class PTNodeImpl<I,D>
- java.lang.Object
-
- de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl<I,D>
-
-
Constructor Summary
Constructors Constructor Description PTNodeImpl(@Nullable PTNodeImpl<I,D> parent, @Nullable I symbol)
-
-
-
Constructor Detail
-
PTNodeImpl
public PTNodeImpl(@Nullable PTNodeImpl<I,D> parent, @Nullable I symbol)
-
-
Method Detail
-
makeShortPrefix
public void makeShortPrefix()
- Specified by:
makeShortPrefix
in interfacePTNode<I,D>
-
-