Class FollowerSemanticsDataImpl
- java.lang.Object
-
- org.processmining.stochasticlabelleddatapetrinet.probability.FollowerSemanticsDataImpl
-
- All Implemented Interfaces:
FollowerSemanticsData<java.lang.Integer,DataState>
public class FollowerSemanticsDataImpl extends java.lang.Object implements FollowerSemanticsData<java.lang.Integer,DataState>
-
-
Constructor Summary
Constructors Constructor Description FollowerSemanticsDataImpl(java.lang.String[] activityTrace, DataState[] dataTrace)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description DataStategetDataStateAfter(java.lang.Integer state)org.processmining.plugins.InductiveMiner.Pair<java.lang.Integer,DataState>getInitialState()booleanisFinalState(java.lang.Integer state)java.lang.IntegertakeStep(java.lang.Integer state, java.lang.String label)
-
-
-
Constructor Detail
-
FollowerSemanticsDataImpl
public FollowerSemanticsDataImpl(java.lang.String[] activityTrace, DataState[] dataTrace)
-
-
Method Detail
-
getInitialState
public org.processmining.plugins.InductiveMiner.Pair<java.lang.Integer,DataState> getInitialState()
- Specified by:
getInitialStatein interfaceFollowerSemanticsData<java.lang.Integer,DataState>- Returns:
- The initial state.
-
takeStep
public java.lang.Integer takeStep(java.lang.Integer state, java.lang.String label)- Specified by:
takeStepin interfaceFollowerSemanticsData<java.lang.Integer,DataState>- Returns:
- The new state, or null if the step cannot be taken.
-
isFinalState
public boolean isFinalState(java.lang.Integer state)
- Specified by:
isFinalStatein interfaceFollowerSemanticsData<java.lang.Integer,DataState>
-
getDataStateAfter
public DataState getDataStateAfter(java.lang.Integer state)
- Specified by:
getDataStateAfterin interfaceFollowerSemanticsData<java.lang.Integer,DataState>
-
-