Uses of Class
de.learnlib.algorithm.ostia.State

Uses of State in de.learnlib.algorithm.ostia

Methods in de.learnlib.algorithm.ostia that return State

Modifier and Type	Method	Description
static State	OSTIA.buildPtt(int alphabetSize, Iterator<Pair<IntSeq,IntSeq>> informant)

Methods in de.learnlib.algorithm.ostia with parameters of type State

Modifier and Type	Method	Description
static void	OSTIA.ostia(State transducer)
static @Nullable IntSeq	OSTIA.run(State init, IntSeq input)