data
Class ActInitialPair

java.lang.Object
  data.ActInitialPair

All Implemented Interfaces:

java.io.Serializable

public class ActInitialPair
extends java.lang.Object
implements java.io.Serializable

ActInitialPair

This class will provide a key for the hash tables representing a transition. Two parameters are used to build the key : 1. The action applied to the transition 2. The initial state set of the transition

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Nicolas Richard

See Also:

Serialized Form

Field Summary

java.lang.String	action The action attached to the transition
Interval	initialStates The initial state set of the transition

Constructor Summary

ActInitialPair(java.lang.String action, Interval initialStates)
Constructor with the two parameters.

Method Summary

boolean	equals(java.lang.Object o) Determines wether of not the specified object is identical to this pair.
int	hashCode() Returns an integer representing the pair.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

initialStates

public Interval initialStates

The initial state set of the transition

action

public java.lang.String action

The action attached to the transition

Constructor Detail

ActInitialPair

public ActInitialPair(java.lang.String action,
                      Interval initialStates)

Constructor with the two parameters.

Parameters:

action - the action attached to the transition.

initialStates - the initial state of the transition.

Method Detail

equals

public boolean equals(java.lang.Object o)

Determines wether of not the specified object is identical to this pair.

Overrides:

equals in class java.lang.Object

Parameters:

o - the object to verify.

Returns:

'True' if the object is indeed identical. 'False' otherwise.

hashCode

public int hashCode()

Returns an integer representing the pair.

Overrides:

hashCode in class java.lang.Object

Returns:

an integer representing the pair.