FollowerSemantics (StochasticLabelledPetriNets)

All Known Implementing Classes:

FollowerSemanticsLTL, FollowerSemanticsTrace
```
public interface FollowerSemantics<B>
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`B`	`getInitialState()`
`boolean`	`isFinalState(B state)`
`B`	`takeStep(B state, java.lang.String label)`

- Method Detail
  - getInitialState
```
B 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)
```