Package | Description |
---|---|
net.automatalib.automata.fsa.impl |
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) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<FastDFAState,V> |
FastDFA.createDynamicNodeMapping() |
<V> MutableMapping<FastDFAState,V> |
FastDFA.createStaticNodeMapping() |
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) |
Copyright © 2015. All Rights Reserved.