Constructor StatePair

StatePair(State, State)

Constructs a new state pair.

Declaration
public StatePair(State s1, State s2)
Parameters
Type Name Description
State s1

First state.

State s2

Second state.