org.processmining.plugins.declareminer
Class ExecutableAutomaton

java.lang.Object
  extended by org.processmining.plugins.declareminer.ExecutableAutomaton

public class ExecutableAutomaton
extends java.lang.Object

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:
1.0
Author:
Maja Pesic

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

ExecutableAutomaton

public ExecutableAutomaton(ltl2aut.automaton.Automaton graph)
Method Detail

ini

public void ini()

next

public PossibleNodes next(java.lang.String label)

stateCount

public int stateCount()

states

public java.lang.Iterable<ltl2aut.automaton.State> states()

currentState

public PossibleNodes currentState()

parses

public boolean parses(java.lang.String label)

reachableTransition

public boolean reachableTransition(java.lang.String label)
Parameters:
label - String
Returns:
boolean

isEmpty

public boolean isEmpty()
isEmpty


order

public boolean order(java.lang.String first,
                     java.lang.String second)