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 © 2015. All rights reserved.