public class SubgraphAutomaton extends Automaton
SubgraphEncoding
,
Serialized FormAutomaton.Type
AUTOMATON_MAIN_FILE, FINAL_STATES_FILE, INITIAL_STATES_FILE, NON_FINAL_STATES_FILE, STATES_FILE
Modifier and Type | Method and Description |
---|---|
Automaton |
clone() |
List<Edge> |
getEdgeOrder()
Returns the edge-order which is used for this automaton.
|
List<Node> |
getNodeOrder()
Returns the node-order which is used for this automaton.
|
Graph |
getSubgraph()
Returns the graph which is used as a subgraph for this automaton.
|
boolean |
hasRecognizedEdge(RavenBDD state,
String edgeName)
Returns
true if and only if in the state state the edge
with name edgeName has been recognized. |
void |
initializeEncoding() |
boolean |
isNodeInInterface(RavenBDD state,
String nodeName,
int size)
Returns
true if and only if in the state state the node with name
nodeName is in the interface at position size . |
addComputationListener, containsInitialState, getAlphabet, getCurrentInterfaceSize, getEncoding, getFinalStates, getInitialStates, getInnerInterface, getInterfacePairing, getListener, getLogger, getMaximumInterface, getNonFinalStates, getNonFinalStates, getNumberOfFinalStates, getNumberOfInitialStates, getNumberOfNonFinalStates, getNumberOfNonFinalStates, getNumberOfStates, getNumberOfStates, getOuterInterface, getPredecessorStates, getReachableStates, getSize, getStateName, getStates, getStates, getStatesWithoutSuccessorFor, getStateTransBDDs, getSuccessorStates, getTransitionRelation, getType, isAcceptingStateSet, isApplicable, isInitialStateSet, printStates, readAutomatonFromZip, removeComputationListener, toString, writeAutomatonToZip
public Automaton clone() throws CloneNotSupportedException
clone
in class Automaton
CloneNotSupportedException
public Graph getSubgraph()
public List<Node> getNodeOrder()
public List<Edge> getEdgeOrder()
public boolean isNodeInInterface(RavenBDD state, String nodeName, int size)
true
if and only if in the state state
the node with name
nodeName
is in the interface at position size
.state
- the encoding of the statenodeName
- the name of the nodesize
- the current interface sizetrue
, if the node is at the given position of the interface, false
otherwisepublic boolean hasRecognizedEdge(RavenBDD state, String edgeName)
true
if and only if in the state state
the edge
with name edgeName
has been recognized.state
- the encoding of the stateedgeName
- the name of the edgetrue
, if the edge has already been recognized in the
state, false
otherwisepublic void initializeEncoding()
initializeEncoding
in class Automaton