|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectca.mcgill.lmp.finite.State
A state in a LMP.
Constructor Summary | |
State(int index)
Create a state with the provided index. |
|
State(int index,
java.lang.Object description)
Create a state with the provided index. |
Method Summary | |
boolean |
equals(java.lang.Object state2)
this is equal to state2 iff state2 is an instance of State and they have the same index. |
java.lang.Object |
getDescription()
|
int |
getIndex()
|
int |
hashCode()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public State(int index)
index
- public State(int index, java.lang.Object description)
index
- description
- Method Detail |
public java.lang.String toString()
public java.lang.Object getDescription()
public int getIndex()
public boolean equals(java.lang.Object state2)
state2
-
public int hashCode()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |