FollowerSemanticsDataImpl (StochasticLabelledDataPetriNet)

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
`DataState`	`getDataStateAfter(java.lang.Integer state)`
`org.processmining.plugins.InductiveMiner.Pair<java.lang.Integer,DataState>`	`getInitialState()`
`boolean`	`isFinalState(java.lang.Integer state)`
`java.lang.Integer`	`takeStep(java.lang.Integer state, java.lang.String label)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- 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:
    
    getInitialState in interface FollowerSemanticsData<java.lang.Integer,DataState>
    
    Returns:
    
    The initial state.
  - takeStep
```
public java.lang.Integer takeStep(java.lang.Integer state,
                                  java.lang.String label)
```
    Specified by:
    
    takeStep in interface FollowerSemanticsData<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:
    
    isFinalState in interface FollowerSemanticsData<java.lang.Integer,DataState>
  - getDataStateAfter
```
public DataState getDataStateAfter(java.lang.Integer state)
```
    Specified by:
    
    getDataStateAfter in interface FollowerSemanticsData<java.lang.Integer,DataState>