Package | Description |
---|---|
nl.tue.alignment.algorithms.syncproduct.petrinet |
Modifier and Type | Method and Description |
---|---|
static ReducedTransition.Type |
ReducedTransition.canMerge(int maxLength,
ReducedTransition... sources)
Checks if the sources can be merged and if so returns the merge type.
|
ReducedTransition.Type |
ReducedTransition.getType() |
static ReducedTransition.Type |
ReducedTransition.Type.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ReducedTransition.Type[] |
ReducedTransition.Type.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static ReducedTransition |
ReducedTransition.merge(ReducedTransition.Type type,
ReducedTransition... sources)
Merges transitions based on the merge type given.
|