org.processmining.indulpetminer.mining.bottomcut.checkfitness

Interface Automaton

All Known Implementing Classes:

AutomatonConcurrent, AutomatonLoop, AutomatonSequence

public interface Automaton

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.

Method Detail

nextState

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. Returns -1 if the state of the automaton is invalid.

Parameters:

activitiesA -

activitiesB -

currentState -

activity -

lifeCycle -

Returns:

resetState

short resetState(short currentState)

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

Parameters:

currentState -

Returns:

finishTrace

short finishTrace(short currentState)

Finish a trace from the current state.

Parameters:

currentState -

Returns:

accepts

boolean accepts(short currentState)

Parameters:

currentState -

Returns:

whether the current state is accepted by the automaton.

isValid

boolean isValid(short currentState)

Parameters:

currentState -

Returns:

Whether the current state is a valid state.