public class ExecutableAutomaton
extends java.lang.Object
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
ExecutableAutomaton(Automaton graph) |
Modifier and Type | Method and Description |
---|---|
PossibleNodes |
currentState() |
Automaton |
getAutomaton() |
void |
ini() |
boolean |
isEmpty()
isEmpty
|
PossibleNodes |
next(java.lang.String label) |
boolean |
order(java.lang.String first,
java.lang.String second) |
boolean |
parses(java.lang.String label) |
boolean |
reachableTransition(java.lang.String label) |
int |
stateCount() |
java.lang.Iterable<State> |
states() |
public ExecutableAutomaton(Automaton graph)
public Automaton getAutomaton()
public void ini()
public PossibleNodes next(java.lang.String label)
public int stateCount()
public java.lang.Iterable<State> states()
public PossibleNodes currentState()
public boolean parses(java.lang.String label)
public boolean reachableTransition(java.lang.String label)
label
- Stringpublic boolean isEmpty()
public boolean order(java.lang.String first, java.lang.String second)