java.lang.Object
- org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking.utils.SimpleBpmnMarkingUtils

public class SimpleBpmnMarkingUtils
extends java.lang.Object
implements BpmnMarkingUtils

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`BpmnMarking`	`copy(BpmnMarking marking)`
`BpmnMarking`	`difference(BpmnMarking m1, BpmnMarking m2)`
`BpmnMarking`	`emptyMarking(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram model)`
`BpmnMarking`	`intersection(BpmnMarking m1, BpmnMarking m2)`
`int`	`isContainedTimes(BpmnMarking superSet, BpmnMarking subSet)`
`boolean`	`isSubset(BpmnMarking superSet, BpmnMarking subSet)`
`BpmnMarking`	`multiply(BpmnMarking m1, int times)`
`BpmnMarking`	`sum(BpmnMarking m1, BpmnMarking m2)`
`BpmnMarking`	`union(BpmnMarking m1, BpmnMarking m2)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public SimpleBpmnMarkingUtils(MultisetUtils multisetUtils,
                              BpmnMarkingFactory markingFactory)

public BpmnMarking union(BpmnMarking m1,
                         BpmnMarking m2)

public BpmnMarking sum(BpmnMarking m1,
                       BpmnMarking m2)

public BpmnMarking difference(BpmnMarking m1,
                              BpmnMarking m2)

public BpmnMarking intersection(BpmnMarking m1,
                                BpmnMarking m2)

public BpmnMarking multiply(BpmnMarking m1,
                            int times)

public BpmnMarking emptyMarking(org.processmining.models.graphbased.directed.bpmn.BPMNDiagram model)

public boolean isSubset(BpmnMarking superSet,
                        BpmnMarking subSet)

public int isContainedTimes(BpmnMarking superSet,
                            BpmnMarking subSet)

public BpmnMarking copy(BpmnMarking marking)

Class SimpleBpmnMarkingUtils