Package | Description |
---|---|
nl.tue.alignment.algorithms.syncproduct.petrinet |
Modifier and Type | Class and Description |
---|---|
static class |
TransitionEventClassList.Wrap |
Modifier and Type | Field and Description |
---|---|
static TransitionEventClassList |
TransitionEventClassList.EMPTY |
Modifier and Type | Method and Description |
---|---|
TransitionEventClassList |
TransitionEventClassList.subList(int eventClass,
int from,
int to) |
Modifier and Type | Method and Description |
---|---|
static ReducedTransition[] |
ReducedTransition.createList(TransitionEventClassList list,
int syncMoveCost,
int modelMoveCost)
Split a list of transitionEventClasses into a list of reduced transitions,
each corresponding to exactly one event.
|
Modifier and Type | Method and Description |
---|---|
void |
ReducedTransition.forEachSynchronousSequence(gnu.trove.procedure.TObjectIntProcedure<TransitionEventClassList> procedure) |
Constructor and Description |
---|
TransitionEventClassList(TransitionEventClassList first,
TransitionEventClassList second) |