| Package | Description |
|---|---|
| org.processmining.maxsyncalignments.models |
| Modifier and Type | Field and Description |
|---|---|
java.util.ArrayList<Marking> |
MarkingGraph.markings |
java.util.ArrayList<Marking> |
TransClosureGraph.markings |
| Modifier and Type | Method and Description |
|---|---|
Marking |
Marking.fire(Marking inplaces,
Marking outplaces) |
Marking |
MarkingGraph.getMarking(int m) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Marking.equalsMarking(Marking other) |
int |
MarkingGraph.findOrPut(Marking m) |
Marking |
Marking.fire(Marking inplaces,
Marking outplaces) |
boolean |
Marking.isSubsetOf(Marking m) |