org.processmining.plugins.declareminer
Class ExecutableAutomaton

java.lang.Object
  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)