org.processmining.projectedrecallandprecision.helperclasses.automata

Class DFAImplEdgeList

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList

All Implemented Interfaces:

DFA

public class DFAImplEdgeList
extends java.lang.Object
implements DFA

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	DFAImplEdgeList.EdgeIterableOutgoing Iterator to iterate over the outgoing edges of a state.

Constructor Summary

Constructors

Constructor and Description
DFAImplEdgeList()

Method Summary

Modifier and Type	Method and Description
int	addEdge(int source, short activity) Adds an edge to the graph.
void	addEdge(int source, short activity, int target) Add an edge to the graph.
java.util.BitSet	getAcceptingStates()
gnu.trove.list.TShortList	getActivities()
int	getInitialState()
int	getNumberOfStates()
DFAImplEdgeList.EdgeIterableOutgoing	getOutgoingEdgesIterator(int state) Get an iterator over the outgoing edges of a state.
gnu.trove.list.TIntList	getSources()
gnu.trove.list.TIntList	getTargets()
boolean	isAccepting(int state)
void	removeOutgoingEdgesOf(int state) Remove all the outgoing edges of a state.
void	removeStateAndRedirectEdgesTo(int oldTarget, int newTarget) Replace all incoming edges of oldTarget and redirect them to newTarget, and delete all outgoing edges of oldTarget.
void	removeStatesExcept(java.util.BitSet keepStates)
void	setAccepting(int state, boolean accepting)
int	step(int state, short activity)
java.lang.String	toDot() Returns a dot representation of the automaton.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAImplEdgeList

public DFAImplEdgeList()

Method Detail

getInitialState

public int getInitialState()

Specified by:

getInitialState in interface DFA

setAccepting

public void setAccepting(int state,
                         boolean accepting)

Specified by:

setAccepting in interface DFA

isAccepting

public boolean isAccepting(int state)

Specified by:

isAccepting in interface DFA

getAcceptingStates

public java.util.BitSet getAcceptingStates()

Specified by:

getAcceptingStates in interface DFA

Returns:

A copy of the accepting states in a bitset.

addEdge

public void addEdge(int source,
                    short activity,
                    int target)

Description copied from interface: DFA

Add an edge to the graph. If there is already an activity-edge outgoing of source, its target is replaced by the given target.

Specified by:

addEdge in interface DFA

addEdge

public int addEdge(int source,
                   short activity)

Description copied from interface: DFA

Adds an edge to the graph. Returns the (possibly new) target state.

Specified by:

addEdge in interface DFA

Returns:

removeStateAndRedirectEdgesTo

public void removeStateAndRedirectEdgesTo(int oldTarget,
                                          int newTarget)

Description copied from interface: DFA

Replace all incoming edges of oldTarget and redirect them to newTarget, and delete all outgoing edges of oldTarget. It is required that oldTarget > newTarget. Works in O(n).

Specified by:

removeStateAndRedirectEdgesTo in interface DFA

removeOutgoingEdgesOf

public void removeOutgoingEdgesOf(int state)

Description copied from interface: DFA

Remove all the outgoing edges of a state.

Specified by:

removeOutgoingEdgesOf in interface DFA

removeStatesExcept

public void removeStatesExcept(java.util.BitSet keepStates)

Specified by:

removeStatesExcept in interface DFA

toString

public java.lang.String toString()

Specified by:

toString in interface DFA

Overrides:

toString in class java.lang.Object

toDot

public java.lang.String toDot()

Description copied from interface: DFA

Returns a dot representation of the automaton.

Specified by:

toDot in interface DFA

getOutgoingEdgesIterator

public DFAImplEdgeList.EdgeIterableOutgoing getOutgoingEdgesIterator(int state)

Description copied from interface: DFA

Get an iterator over the outgoing edges of a state. This iterator returns the outgoing edges in order of the activities.

Specified by:

getOutgoingEdgesIterator in interface DFA

Returns:

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface DFA

Returns:

The highest index of any state in the automaton + 1. Does not necessarily count the number of states, but gives an upper bound.

getTargets

public gnu.trove.list.TIntList getTargets()

Specified by:

getTargets in interface DFA

getSources

public gnu.trove.list.TIntList getSources()

Specified by:

getSources in interface DFA

getActivities

public gnu.trove.list.TShortList getActivities()

Specified by:

getActivities in interface DFA

step

public int step(int state,
                short activity)

Specified by:

step in interface DFA

Returns:

the state reached after taking the activity step from state, or -1 if this is not possible, or if state was -1.