public class StateProSet
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
StateProSet.Iterator |
protected static class |
StateProSet.Wrapper_State |
Modifier and Type | Field and Description |
---|---|
protected StateProSet.Wrapper_State |
elements |
protected StateProSet.Wrapper_State |
lastElement |
Constructor and Description |
---|
StateProSet() |
StateProSet(IStatePro state) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(IStatePro state) |
void |
clear() |
boolean |
contains(IStatePro state) |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
isEmpty() |
StateProSet.Iterator |
iterator() |
StateProSet.Iterator |
iterator(int offset) |
boolean |
remove(IStatePro state) |
int |
size() |
protected StateProSet.Wrapper_State elements
protected StateProSet.Wrapper_State lastElement
public StateProSet()
public StateProSet(IStatePro state)
public boolean add(IStatePro state)
public boolean remove(IStatePro state)
public boolean contains(IStatePro state)
public void clear()
public int size()
public boolean isEmpty()
public StateProSet.Iterator iterator()
public StateProSet.Iterator iterator(int offset)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object