org.processmining.projectedrecallandprecision.helperclasses.automata

Class DFAOperations

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.DFAOperations

public class DFAOperations
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DFAOperations()

Method Summary

Modifier and Type	Method and Description
static boolean	accepts(DFA automaton, short[] trace)
static int	addTrace(DFA automaton, short[] trace, org.processmining.framework.plugin.ProMCanceller canceller) Adds the trace to the automaton in a branching manner, such that the automaton accepts the trace.
static java.util.BitSet	getLiveStates(DFA automaton)
static java.util.BitSet	getReachableStates(DFA automaton)
static int	walk(DFA automaton, short[] trace) Performs a walk through the automaton.

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAOperations

public DFAOperations()

Method Detail

addTrace

public static int addTrace(DFA automaton,
                           short[] trace,
                           org.processmining.framework.plugin.ProMCanceller canceller)

Adds the trace to the automaton in a branching manner, such that the automaton accepts the trace.

Parameters:

automaton -

trace -

canceller -

Returns:

The last state

getReachableStates

public static java.util.BitSet getReachableStates(DFA automaton)

Parameters:

automaton -

Returns:

a bitset with the states that are reachable in the automaton.

getLiveStates

public static java.util.BitSet getLiveStates(DFA automaton)

Parameters:

automaton -

Returns:

The states from which an accepting state is reachable.

accepts

public static boolean accepts(DFA automaton,
                              short[] trace)

Parameters:

s -

Returns:

whether the automaton accepts the trace. Might not be very efficient; use RunAutomaton2 instead.

walk

public static int walk(DFA automaton,
                       short[] trace)

Performs a walk through the automaton. Might not be very efficient.

Parameters:

automaton -

trace -

Returns:

the state after the walk, or -1 if the walk is not possible in the automaton.