org.processmining.indulpetminer.mining.bottomcut.checkfitness

Class AutomatonConcurrent

java.lang.Object

org.processmining.indulpetminer.mining.bottomcut.checkfitness.AutomatonConcurrent

All Implemented Interfaces:

Automaton

public class AutomatonConcurrent
extends java.lang.Object
implements Automaton

Constructor Summary

Constructors

Constructor and Description
AutomatonConcurrent()

Method Summary

Modifier and Type	Method and Description
boolean	accepts(short currentState)
short	finishTrace(short currentState) Finish a trace from the current state.
boolean	isValid(short currentState)
short	nextState(gnu.trove.set.TIntSet activitiesA, gnu.trove.set.TIntSet activitiesB, short currentState, int activity, org.processmining.plugins.InductiveMiner.mining.logs.XLifeCycleClassifier.Transition lifeCycle) Returns the next state of the automaton when taking an activity step.
short	resetState(short currentState) Resets the automaton to its initial state, unless the currentState denotes that the automaton was in an invalid state.

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonConcurrent

public AutomatonConcurrent()

Method Detail

nextState

public short nextState(gnu.trove.set.TIntSet activitiesA,
                       gnu.trove.set.TIntSet activitiesB,
                       short currentState,
                       int activity,
                       org.processmining.plugins.InductiveMiner.mining.logs.XLifeCycleClassifier.Transition lifeCycle)

Description copied from interface: Automaton

Returns the next state of the automaton when taking an activity step. Returns -1 if the state of the automaton is invalid.

Specified by:

nextState in interface Automaton

Returns:

resetState

public short resetState(short currentState)

Description copied from interface: Automaton

Resets the automaton to its initial state, unless the currentState denotes that the automaton was in an invalid state.

Specified by:

resetState in interface Automaton

Returns:

accepts

public boolean accepts(short currentState)

Specified by:

accepts in interface Automaton

Returns:

whether the current state is accepted by the automaton.

finishTrace

public short finishTrace(short currentState)

Description copied from interface: Automaton

Finish a trace from the current state.

Specified by:

finishTrace in interface Automaton

Returns:

isValid

public boolean isValid(short currentState)

Specified by:

isValid in interface Automaton

Returns:

Whether the current state is a valid state.