dk.brics.automaton
public class StatePair extends Object
| Constructor Summary | |
|---|---|
| StatePair(State s1, State s2)
Constructs a new state pair. | |
| Method Summary | |
|---|---|
| State | getFirstState()
Returns first component of this pair. |
| State | getSecondState()
Returns second component of this pair. |
Parameters: s1 first state s2 second state
Returns: first state
Returns: second state