Uses of Class
de.learnlib.algorithms.ttt.vpda.Splitter.SplitType

Uses of Splitter.SplitType in de.learnlib.algorithms.ttt.vpda

Fields in de.learnlib.algorithms.ttt.vpda declared as Splitter.SplitType

Modifier and Type	Field and Description
Splitter.SplitType	Splitter.type

Methods in de.learnlib.algorithms.ttt.vpda that return Splitter.SplitType

Modifier and Type	Method and Description
static Splitter.SplitType	Splitter.SplitType.valueOf(String name) Returns the enum constant of this type with the specified name.
static Splitter.SplitType[]	Splitter.SplitType.values() Returns an array containing the constants of this enum type, in the order they are declared.