Uses of Class
net.automatalib.automata.fsa.impl.FastDFAState

Packages that use FastDFAState

Package	Description
net.automatalib.automata.fsa.impl

Uses of FastDFAState in net.automatalib.automata.fsa.impl

Methods in net.automatalib.automata.fsa.impl that return FastDFAState

Modifier and Type	Method and Description
FastDFAState	FastDFA.addInitialState(boolean accepting)
FastDFAState	FastDFA.addState(boolean accepting)
FastDFAState	FastDFA.copyTransition(FastDFAState trans, FastDFAState succ)
protected FastDFAState	FastDFA.createState(boolean accepting)
protected FastDFAState	FastDFA.createState(Boolean property)
FastDFAState	FastDFA.createTransition(FastDFAState successor, Void properties)
FastDFAState	FastDFA.getSuccessor(FastDFAState transition)

Methods in net.automatalib.automata.fsa.impl that return types with arguments of type FastDFAState

Modifier and Type	Method and Description
<V> MutableMapping<FastDFAState,V>	FastDFA.createDynamicNodeMapping()
<V> MutableMapping<FastDFAState,V>	FastDFA.createStaticNodeMapping()

Methods in net.automatalib.automata.fsa.impl with parameters of type FastDFAState

Modifier and Type	Method and Description
FastDFAState	FastDFA.copyTransition(FastDFAState trans, FastDFAState succ)
FastDFAState	FastDFA.createTransition(FastDFAState successor, Void properties)
Boolean	FastDFA.getStateProperty(FastDFAState state)
FastDFAState	FastDFA.getSuccessor(FastDFAState transition)
Void	FastDFA.getTransitionProperty(FastDFAState transition)
boolean	FastDFA.isAccepting(FastDFAState state)
void	FastDFA.setAccepting(FastDFAState state, boolean accepting)
void	FastDFA.setStateProperty(FastDFAState state, Boolean property)
void	FastDFA.setTransitionProperty(FastDFAState transition, Void property)