public class ReducedTransition
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ReducedTransition.Type |
Modifier and Type | Field and Description |
---|---|
static int |
INHIBITOR |
nl.tue.alignment.algorithms.syncproduct.petrinet.Sequence2SyncMoveCost |
sequence2cost |
Constructor and Description |
---|
ReducedTransition(int transitionId,
int modelMoveCost) |
ReducedTransition(int transitionId,
int eventClassId,
int modelMoveCost,
int syncMoveCost) |
Modifier and Type | Method and Description |
---|---|
void |
addToInput(ReducedPlace place,
int multiplicity) |
void |
addToOutput(ReducedPlace place,
int multiplicity) |
static ReducedTransition.Type |
canMerge(int maxLength,
ReducedTransition... sources)
Checks if the sources can be merged and if so returns the merge type.
|
static 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.
|
boolean |
equals(java.lang.Object o) |
void |
forEachInputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure) |
void |
forEachOutputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure) |
void |
forEachSynchronousSequence(gnu.trove.procedure.TObjectIntProcedure<TransitionEventClassList> procedure) |
int |
getCostFor(int[] seq) |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
getInput() |
int |
getModelMoveCost() |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
getOutput() |
ReducedTransition.Type |
getType() |
int |
hashCode() |
boolean |
mapsTo(int[] seq) |
static ReducedTransition |
merge(ReducedTransition.Type type,
ReducedTransition... sources)
Merges transitions based on the merge type given.
|
static ReducedTransition |
mergeChoice(ReducedTransition... sources)
Constructs a new reduced transition which is the exclusive choice merge of
the input
|
static ReducedTransition |
mergeSequence(ReducedTransition... sources)
Constructs a new reduced transition which is the sequential merge of the
input
|
java.lang.String |
toHTMLString() |
java.lang.String |
toIdString() |
java.lang.String |
toString() |
public static final int INHIBITOR
public nl.tue.alignment.algorithms.syncproduct.petrinet.Sequence2SyncMoveCost sequence2cost
public ReducedTransition(int transitionId, int eventClassId, int modelMoveCost, int syncMoveCost)
public ReducedTransition(int transitionId, int modelMoveCost)
public static ReducedTransition merge(ReducedTransition.Type type, ReducedTransition... sources)
type
- should not be null!sources
- source transitions to merge.public static ReducedTransition mergeChoice(ReducedTransition... sources)
sources
- public static ReducedTransition mergeSequence(ReducedTransition... sources)
sources
- public static ReducedTransition.Type canMerge(int maxLength, ReducedTransition... sources)
sources
- public static ReducedTransition[] createList(TransitionEventClassList list, int syncMoveCost, int modelMoveCost)
list
- syncMoveCost
- public ReducedTransition.Type getType()
public gnu.trove.map.TObjectIntMap<ReducedPlace> getInput()
public void addToInput(ReducedPlace place, int multiplicity)
public gnu.trove.map.TObjectIntMap<ReducedPlace> getOutput()
public void addToOutput(ReducedPlace place, int multiplicity)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toHTMLString()
public java.lang.String toIdString()
public void forEachOutputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure)
public void forEachInputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int getModelMoveCost()
public boolean mapsTo(int[] seq)
public int getCostFor(int[] seq)
public void forEachSynchronousSequence(gnu.trove.procedure.TObjectIntProcedure<TransitionEventClassList> procedure)