public class TransitionEventClassList
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TransitionEventClassList.Wrap |
Modifier and Type | Field and Description |
---|---|
static TransitionEventClassList |
EMPTY |
Constructor and Description |
---|
TransitionEventClassList(int transition) |
TransitionEventClassList(int transition,
int eventClass) |
TransitionEventClassList(TransitionEventClassList first,
TransitionEventClassList second) |
Modifier and Type | Method and Description |
---|---|
boolean |
endsWith(int cid) |
boolean |
equals(java.lang.Object o) |
int[] |
getEventClassSequence() |
int[] |
getTransitionSequence() |
int |
getTransitionSequenceLength() |
int |
hashCode() |
TransitionEventClassList |
subList(int eventClass,
int from,
int to) |
java.lang.String |
toString() |
public static final TransitionEventClassList EMPTY
public TransitionEventClassList(int transition)
public TransitionEventClassList(int transition, int eventClass)
public TransitionEventClassList(TransitionEventClassList first, TransitionEventClassList second)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public boolean endsWith(int cid)
public int[] getEventClassSequence()
public int[] getTransitionSequence()
public TransitionEventClassList subList(int eventClass, int from, int to)
public int getTransitionSequenceLength()