dk.brics.automaton

Class StatePair

java.lang.Object

dk.brics.automaton.StatePair

public class StatePair
extends Object

Pair of states.

Author:

Anders Møller <amoeller@cs.au.dk>

Constructor Summary

Constructors

Constructor and Description
StatePair(State s1, State s2) Constructs a new state pair.

Method Summary

Modifier and Type	Method and Description
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

StatePair

public StatePair(State s1,
                 State s2)

Constructs a new state pair.

Parameters:

s1 - first state

s2 - second state

Method Detail

equals

public boolean equals(Object obj)

Checks for equality.

Overrides:

equals in class Object

Parameters:

obj - object to compare with

Returns:

true if obj represents the same pair of states as this pair

getFirstState

public State getFirstState()

Returns first component of this pair.

Returns:

first state

getSecondState

public State getSecondState()

Returns second component of this pair.

Returns:

second state

hashCode

public int hashCode()

Returns hash code.

Overrides:

hashCode in class Object

Returns:

hash code