public class ExecutableAutomaton
extends java.lang.Object
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
ExecutableAutomaton(org.processmining.ltl2automaton.plugins.automaton.Automaton graph) |
Modifier and Type | Method and Description |
---|---|
PossibleNodes |
currentState() |
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<org.processmining.ltl2automaton.plugins.automaton.State> |
states() |
public ExecutableAutomaton(org.processmining.ltl2automaton.plugins.automaton.Automaton graph)
public void ini()
public PossibleNodes next(java.lang.String label)
public int stateCount()
public java.lang.Iterable<org.processmining.ltl2automaton.plugins.automaton.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)