ca.mcgill.lmp.finite
Class Label

java.lang.Object
  extended byca.mcgill.lmp.finite.Label

public class Label
extends java.lang.Object

A representation of a label in a LMP system.

Author:
Alexandre Bouchard

Constructor Summary
Label(int index)
           
 
Method Summary
 boolean equals(java.lang.Object label2)
          this is equal to label2 iff label2 is an instance of Label and they have the same index.
 int getIndex()
           
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Label

public Label(int index)
Parameters:
index -
Method Detail

getIndex

public int getIndex()
Returns:

equals

public boolean equals(java.lang.Object label2)
this is equal to label2 iff label2 is an instance of Label and they have the same index.

Parameters:
label2 -
Returns:

hashCode

public int hashCode()
Returns:
The index of this label.

toString

public java.lang.String toString()
Returns: