Uses of Class
de.learnlib.algorithm.ttt.dfa.TTTStateDFA
-
Packages that use TTTStateDFA Package Description de.learnlib.algorithm.ttt.dfa -
-
Uses of TTTStateDFA in de.learnlib.algorithm.ttt.dfa
Methods in de.learnlib.algorithm.ttt.dfa that return TTTStateDFA Modifier and Type Method Description TTTStateDFA<I>
TTTHypothesisDFA. getSuccessor(TTTStateDFA<I> transition)
protected TTTStateDFA<I>
TTTHypothesisDFA. mapTransition(TTTTransition<I,Boolean> internalTransition)
protected TTTStateDFA<I>
TTTHypothesisDFA. newState(int alphabetSize, TTTTransition<I,Boolean> parent, int id)
Methods in de.learnlib.algorithm.ttt.dfa that return types with arguments of type TTTStateDFA Modifier and Type Method Description UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateDFA<I>,Boolean,Void>
TTTHypothesisDFA. fullIntAbstraction(Alphabet<I> alphabet)
Methods in de.learnlib.algorithm.ttt.dfa with parameters of type TTTStateDFA Modifier and Type Method Description TTTStateDFA<I>
TTTHypothesisDFA. getSuccessor(TTTStateDFA<I> transition)
Void
TTTHypothesisDFA. getTransitionProperty(TTTStateDFA<I> transition)
boolean
TTTHypothesisDFA. isAccepting(TTTStateDFA<I> state)
-