| Package | Description |
|---|---|
| net.automatalib.automata.fsa.impl |
| Modifier and Type | Method and Description |
|---|---|
FastNFAState |
FastNFA.addInitialState(boolean accepting) |
FastNFAState |
FastNFA.addState(boolean accepting) |
FastNFAState |
FastNFA.copyTransition(FastNFAState trans,
FastNFAState succ) |
protected FastNFAState |
FastNFA.createState(Boolean property) |
FastNFAState |
FastNFA.createTransition(FastNFAState successor,
Void properties) |
FastNFAState |
FastNFA.getSuccessor(FastNFAState transition) |
| Modifier and Type | Method and Description |
|---|---|
GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>> |
FastNFA.getDOTHelper() |
GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>> |
FastNFA.getDOTHelper() |
| Modifier and Type | Method and Description |
|---|---|
FastNFAState |
FastNFA.copyTransition(FastNFAState trans,
FastNFAState succ) |
FastNFAState |
FastNFA.createTransition(FastNFAState successor,
Void properties) |
Boolean |
FastNFA.getStateProperty(FastNFAState state) |
FastNFAState |
FastNFA.getSuccessor(FastNFAState transition) |
Void |
FastNFA.getTransitionProperty(FastNFAState transition) |
boolean |
FastNFA.isAccepting(FastNFAState state) |
void |
FastNFA.setAccepting(FastNFAState state,
boolean accepting) |
void |
FastNFA.setStateProperty(FastNFAState state,
Boolean property) |
void |
FastNFA.setTransitionProperty(FastNFAState transition,
Void property) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
FastNFA.isAccepting(Collection<? extends FastNFAState> states) |
Copyright © 2013. All Rights Reserved.