Package org.processmining.stochasticawareconformancechecking.automata

Class StochasticDeterministicFiniteAutomatonImpl

java.lang.Object

org.processmining.stochasticawareconformancechecking.automata.StochasticDeterministicFiniteAutomatonImpl

All Implemented Interfaces:

java.lang.Cloneable, StochasticDeterministicFiniteAutomaton

Direct Known Subclasses:

StochasticDeterministicFiniteAutomatonMappedImpl

public class StochasticDeterministicFiniteAutomatonImpl
extends java.lang.Object
implements StochasticDeterministicFiniteAutomaton

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	StochasticDeterministicFiniteAutomatonImpl.EdgeIterableImpl
class	StochasticDeterministicFiniteAutomatonImpl.EdgeIterableIncomingImpl
class	StochasticDeterministicFiniteAutomatonImpl.EdgeIterableOutgoingImpl	Iterator to iterate over the outgoing edges of a state.

Nested classes/interfaces inherited from interface org.processmining.stochasticawareconformancechecking.automata.StochasticDeterministicFiniteAutomaton

StochasticDeterministicFiniteAutomaton.EdgeIterable, StochasticDeterministicFiniteAutomaton.EdgeIterableIncoming, StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing

Constructor Summary

Constructors

Constructor	Description
StochasticDeterministicFiniteAutomatonImpl()

Method Summary

Modifier and Type	Method	Description
int	addEdge(int source, short activity, double probability)	Add an edge to the graph.
void	addEdge(int source, short activity, int target, double probability)	Adds an edge to the graph.
int	addState()
StochasticDeterministicFiniteAutomatonImpl	clone()
boolean	containsEdge(int source, short activity)
StochasticDeterministicFiniteAutomatonImpl.EdgeIterableImpl	getEdgesIterator()
StochasticDeterministicFiniteAutomatonImpl.EdgeIterableIncomingImpl	getIncomingEdgesIterator(int state)
int	getInitialState()
int	getNumberOfStates()
StochasticDeterministicFiniteAutomatonImpl.EdgeIterableOutgoingImpl	getOutgoingEdgesIterator(int state)
gnu.trove.list.TIntList	getSources()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

StochasticDeterministicFiniteAutomatonImpl

public StochasticDeterministicFiniteAutomatonImpl()

Method Detail

getInitialState

public int getInitialState()

Specified by:

getInitialState in interface StochasticDeterministicFiniteAutomaton

addState

public int addState()

Specified by:

addState in interface StochasticDeterministicFiniteAutomaton

Returns:

The number of the newly created state.

addEdge

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

Description copied from interface: StochasticDeterministicFiniteAutomaton

Adds an edge to the graph. Returns the (possibly new) target state. If the edge was already present, the probability is added to the existing edge.

Specified by:

addEdge in interface StochasticDeterministicFiniteAutomaton

addEdge

public int addEdge(int source,
                   short activity,
                   double probability)

Description copied from interface: StochasticDeterministicFiniteAutomaton

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

Specified by:

addEdge in interface StochasticDeterministicFiniteAutomaton

Returns:

The index of the target state (which may be newly created).

getSources

public gnu.trove.list.TIntList getSources()

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface StochasticDeterministicFiniteAutomaton

Returns:

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

getEdgesIterator

public StochasticDeterministicFiniteAutomatonImpl.EdgeIterableImpl getEdgesIterator()

Specified by:

getEdgesIterator in interface StochasticDeterministicFiniteAutomaton

getOutgoingEdgesIterator

public StochasticDeterministicFiniteAutomatonImpl.EdgeIterableOutgoingImpl getOutgoingEdgesIterator(int state)

Specified by:

getOutgoingEdgesIterator in interface StochasticDeterministicFiniteAutomaton

getIncomingEdgesIterator

public StochasticDeterministicFiniteAutomatonImpl.EdgeIterableIncomingImpl getIncomingEdgesIterator(int state)

Specified by:

getIncomingEdgesIterator in interface StochasticDeterministicFiniteAutomaton

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone

public StochasticDeterministicFiniteAutomatonImpl clone()
                                                 throws java.lang.CloneNotSupportedException

Specified by:

clone in interface StochasticDeterministicFiniteAutomaton

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

containsEdge

public boolean containsEdge(int source,
                            short activity)

Specified by:

containsEdge in interface StochasticDeterministicFiniteAutomaton