dk.brics.automaton

Class StatePair

java.lang.Object

dk.brics.automaton.StatePair

public class StatePair
extends java.lang.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

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.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

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

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

equals

public boolean equals(java.lang.Object obj)

Checks for equality.

Overrides:

equals in class java.lang.Object

Parameters:

obj - object to compare with

Returns:

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

hashCode

public int hashCode()

Returns hash code.

Overrides:

hashCode in class java.lang.Object

Returns:

hash code