CrossProductResult (StochasticLabelledPetriNets)

All Known Implementing Classes:

CrossProductResultDot, CrossProductResultSolver
```
public interface CrossProductResult
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`reportDeadState(int stateIndex)`	A state will be reported as either final, non-final, or dead.
`void`	`reportFinalState(int stateIndex)`	A state will be reported as either final, non-final, or dead.
`void`	`reportInitialState(int stateIndex)`	The initial state will be reported twice: once as initial state, and again as a final or non-final state.
`void`	`reportNonFinalState(int stateIndex, gnu.trove.list.TIntList nextStateIndices, gnu.trove.list.TDoubleList nextStateProbabilities)`	A state will be reported as either final, non-final, or dead.

- Method Detail
  - reportInitialState
```
void reportInitialState(int stateIndex)
```
    The initial state will be reported twice: once as initial state, and again as a final or non-final state.
    
    Parameters:
    
    stateIndex -
  - reportNonFinalState
```
void reportNonFinalState(int stateIndex,
                         gnu.trove.list.TIntList nextStateIndices,
                         gnu.trove.list.TDoubleList nextStateProbabilities)
```
    A state will be reported as either final, non-final, or dead.
    
    Parameters:
    
    stateIndex -
    
    nextStateIndices - may contain duplicated values. List might be reused and changed after this call returns, and changes by the implementer will be overwritten.
    
    nextStateProbabilities - list might be reused and changed after this call returns, and changes by the implementer will be overwritten.
  - reportFinalState
```
void reportFinalState(int stateIndex)
```
    A state will be reported as either final, non-final, or dead. Multiple states might be reported as final.
    
    Parameters:
    
    stateIndex -
  - reportDeadState
```
void reportDeadState(int stateIndex)
```
    A state will be reported as either final, non-final, or dead. A dead state is a state in the cross product that indicates that A made a move that was not supported by B. At most one state will be reported as dead.
    
    Parameters:
    
    stateIndex -