|
|||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||
java.lang.Objectdk.brics.automaton.StatePair
public class StatePair
Pair of states.
| Constructor Summary | |
|---|---|
StatePair(State s1,
State s2)
Constructs a new state pair. |
|
| Method Summary | |
|---|---|
boolean |
equals(Object obj)
Checks for equality. |
State |
getFirstState()
Returns first component of this pair. |
State |
getSecondState()
Returns second component of this pair. |
int |
hashCode()
Returns hash code. |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public StatePair(State s1,
State s2)
s1 - first states2 - second state| Method Detail |
|---|
public boolean equals(Object obj)
equals in class Objectobj - object to compare with
public State getFirstState()
public State getSecondState()
public int hashCode()
hashCode in class Object
|
|||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||