FollowerSemanticsData (StochasticLabelledDataPetriNet)

All Known Implementing Classes:

FollowerSemanticsDataImpl
```
public interface FollowerSemanticsData<B,BD>
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`BD`	`getDataStateAfter(B state)`
`org.processmining.plugins.InductiveMiner.Pair<B,BD>`	`getInitialState()`
`boolean`	`isFinalState(B state)`
`B`	`takeStep(B state, java.lang.String label)`

Method Detail

getInitialState

org.processmining.plugins.InductiveMiner.Pair<B,BD> getInitialState()

Returns:: The initial state.

takeStep
```
B takeStep(B state,
           java.lang.String label)
```
Parameters:

label -

Returns:

The new state, or null if the step cannot be taken.

isFinalState
```
boolean isFinalState(B state)
```

getDataStateAfter
```
BD getDataStateAfter(B state)
```