public class ClosedHashOfLabels extends ClosedHashOfObjects
hash, objects, objectsStored
Constructor and Description |
---|
ClosedHashOfLabels() |
Modifier and Type | Method and Description |
---|---|
void |
addEpsilon()
Marks that a transition with labeled with epsilon was put in the closed
hash.
|
protected boolean |
equal(Object o1,
Object o2) |
TransitionPDA[] |
getCopyOfTransitions()
Gets an array of all transitions that are stored in the closed hash.
|
protected int |
getHashCode(Object o) |
int |
getTransitionsStored()
Gets the number of transitions that are stored in the closed hash.
|
int |
put(TransitionPDA t)
Puts a transition in the closed hash.
|
contains, put
public int put(TransitionPDA t)
t
- public TransitionPDA[] getCopyOfTransitions()
public int getTransitionsStored()
public void addEpsilon()
protected int getHashCode(Object o)
getHashCode
in class ClosedHashOfObjects
protected boolean equal(Object o1, Object o2)
equal
in class ClosedHashOfObjects