data
Class ActInitialEndingTriplet

java.lang.Object
  data.ActInitialEndingTriplet

All Implemented Interfaces:

java.io.Serializable

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

ActInitialEndingTriplet

This class will provide a key for the hash tables representing a transition. Three parameters are used to build the key : 1. The action applied to the transition 2. The initial state set of the transition 3. The ending 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	endingStates The ending state setof the transition
Interval	initialStates The initial state set of the transition

Constructor Summary

ActInitialEndingTriplet(java.lang.String action, Interval initialStates, Interval endingStates)
Default constructor with the three parameters

Method Summary

boolean	equals(java.lang.Object o) Determines if the object is identical to this triplet.
int	hashCode() Build a has value based on the triplet's parameters.

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

endingStates

public Interval endingStates

The ending state setof the transition

action

public java.lang.String action

The action attached to the transition

Constructor Detail

ActInitialEndingTriplet

public ActInitialEndingTriplet(java.lang.String action,
                               Interval initialStates,
                               Interval endingStates)

Default constructor with the three parameters

Parameters:

action - the action attached to the transition

initialStates - initial state set of the transition

endingStates - ending state set of the transition

Method Detail

equals

public boolean equals(java.lang.Object o)

Determines if the object is identical to this triplet.

Overrides:

equals in class java.lang.Object

Parameters:

o - the object to compare

Returns:

wether or not the object is identical to this triplet

hashCode

public int hashCode()

Build a has value based on the triplet's parameters.

Overrides:

hashCode in class java.lang.Object

Returns:

an integer representing this transition.