Package org.processmining.stochasticlabelleddatapetrinet

Class StochasticLabelledDataPetriNetSemanticsImpl

java.lang.Object

org.processmining.stochasticlabelleddatapetrinet.StochasticLabelledDataPetriNetSemanticsImpl

All Implemented Interfaces:

java.lang.Cloneable, StochasticLabelledDataPetriNetSemantics

Direct Known Subclasses:

StochasticLabelledDataPetrinetSemanticsDataUnaware, StochasticLabelledDataPetriNetSemanticsWeightsImpl

public abstract class StochasticLabelledDataPetriNetSemanticsImpl
extends java.lang.Object
implements StochasticLabelledDataPetriNetSemantics

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.BitSet	enabledTransitions
protected int	numberOfEnabledTransitions

Constructor Summary

Constructors

Constructor	Description
StochasticLabelledDataPetriNetSemanticsImpl(StochasticLabelledDataPetriNet net, DataStateFactory dataStateFactory)

Method Summary

Modifier and Type	Method	Description
StochasticLabelledDataPetriNetSemanticsImpl	clone()	Utilities
void	executeTransition(int transition, DataState dataEffect)	Update the state to reflect execution of the transition.
DataState	getDataState()
java.util.BitSet	getEnabledTransitions()
int	getNumberOfVariables()
byte[]	getState()
java.lang.String	getTransitionLabel(int transition)
java.lang.String	getVariableLabel(int variable)
StochasticLabelledDataPetriNet.VariableType	getVariableType(int variable)
boolean	isFinalState()
boolean	isStrictWriteSemantics()
boolean	isTransitionSilent(int transition)
DataState	newDataState()
void	setDataState(DataState dataState)	Set the data state to a copy of the supplied state
void	setInitialState(DataState initialDataState)	(Re)set the semantics to the initial state
void	setState(byte[] newState)	Set a copy of the given state.
void	setStrictWriteSemantics(boolean isStrictWriteSemantics)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.stochasticlabelleddatapetrinet.StochasticLabelledDataPetriNetSemantics

getTotalWeightOfEnabledTransitions, getTransitionWeight

Field Detail

enabledTransitions

protected java.util.BitSet enabledTransitions

numberOfEnabledTransitions

protected int numberOfEnabledTransitions

Constructor Detail

StochasticLabelledDataPetriNetSemanticsImpl

public StochasticLabelledDataPetriNetSemanticsImpl(StochasticLabelledDataPetriNet net,
                                                   DataStateFactory dataStateFactory)

Method Detail

setInitialState

public void setInitialState(DataState initialDataState)

Description copied from interface: StochasticLabelledDataPetriNetSemantics

(Re)set the semantics to the initial state

Specified by:

setInitialState in interface StochasticLabelledDataPetriNetSemantics

executeTransition

public void executeTransition(int transition,
                              DataState dataEffect)

Description copied from interface: StochasticLabelledDataPetriNetSemantics

Update the state to reflect execution of the transition.

Specified by:

executeTransition in interface StochasticLabelledDataPetriNetSemantics

Parameters:

transition - index fired

dataEffect - containing values for all (and only those) written variables

getEnabledTransitions

public java.util.BitSet getEnabledTransitions()

Specified by:

getEnabledTransitions in interface StochasticLabelledDataPetriNetSemantics

Returns:

an array of indices of the transitions that are enabled. May be changed and stored by the caller.

isFinalState

public boolean isFinalState()

Specified by:

isFinalState in interface StochasticLabelledDataPetriNetSemantics

Returns:

whether the current state is a final state.

getState

public byte[] getState()

Specified by:

getState in interface StochasticLabelledDataPetriNetSemantics

Returns:

a copy of the current state.

setState

public void setState(byte[] newState)

Description copied from interface: StochasticLabelledDataPetriNetSemantics

Set a copy of the given state.

Specified by:

setState in interface StochasticLabelledDataPetriNetSemantics

getDataState

public DataState getDataState()

Specified by:

getDataState in interface StochasticLabelledDataPetriNetSemantics

Returns:

a copy of the current data state

setDataState

public void setDataState(DataState dataState)

Description copied from interface: StochasticLabelledDataPetriNetSemantics

Set the data state to a copy of the supplied state

Specified by:

setDataState in interface StochasticLabelledDataPetriNetSemantics

newDataState

public DataState newDataState()

Specified by:

newDataState in interface StochasticLabelledDataPetriNetSemantics

isTransitionSilent

public boolean isTransitionSilent(int transition)

Specified by:

isTransitionSilent in interface StochasticLabelledDataPetriNetSemantics

Parameters:

transition - index

Returns:

whether the transition is observable (false) or silent (true)

getTransitionLabel

public java.lang.String getTransitionLabel(int transition)

Specified by:

getTransitionLabel in interface StochasticLabelledDataPetriNetSemantics

getNumberOfVariables

public int getNumberOfVariables()

Specified by:

getNumberOfVariables in interface StochasticLabelledDataPetriNetSemantics

getVariableLabel

public java.lang.String getVariableLabel(int variable)

Specified by:

getVariableLabel in interface StochasticLabelledDataPetriNetSemantics

getVariableType

public StochasticLabelledDataPetriNet.VariableType getVariableType(int variable)

Specified by:

getVariableType in interface StochasticLabelledDataPetriNetSemantics

clone

public StochasticLabelledDataPetriNetSemanticsImpl clone()

Description copied from interface: StochasticLabelledDataPetriNetSemantics

Utilities

Specified by:

clone in interface StochasticLabelledDataPetriNetSemantics

Overrides:

clone in class java.lang.Object

isStrictWriteSemantics

public boolean isStrictWriteSemantics()

setStrictWriteSemantics

public void setStrictWriteSemantics(boolean isStrictWriteSemantics)