|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.declareminer.ExecutableAutomaton
public class ExecutableAutomaton
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor Summary | |
---|---|
ExecutableAutomaton(ltl2aut.automaton.Automaton graph)
|
Method Summary | |
---|---|
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<ltl2aut.automaton.State> |
states()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ExecutableAutomaton(ltl2aut.automaton.Automaton graph)
Method Detail |
---|
public void ini()
public PossibleNodes next(java.lang.String label)
public int stateCount()
public java.lang.Iterable<ltl2aut.automaton.State> states()
public PossibleNodes currentState()
public boolean parses(java.lang.String label)
public boolean reachableTransition(java.lang.String label)
label
- String
public boolean isEmpty()
public boolean order(java.lang.String first, java.lang.String second)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |