org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Class ExecutableAutomaton

java.lang.Object

org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.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

Constructors

Constructor and Description
ExecutableAutomaton(Automaton graph)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExecutableAutomaton

public ExecutableAutomaton(Automaton graph)

Method Detail

getAutomaton

public Automaton getAutomaton()

ini

public void ini()

next

public PossibleNodes next(java.lang.String label)

stateCount

public int stateCount()

states

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