Package org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking.utils

Interface BpmnMarkingUtils

All Known Implementing Classes:

SimpleBpmnMarkingUtils

public interface BpmnMarkingUtils

Method Summary

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)
static BpmnMarkingUtils	getInstance()
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)

Method Detail

getInstance

static BpmnMarkingUtils getInstance()

union

BpmnMarking union(BpmnMarking m1,
                  BpmnMarking m2)

sum

BpmnMarking sum(BpmnMarking m1,
                BpmnMarking m2)

difference

BpmnMarking difference(BpmnMarking m1,
                       BpmnMarking m2)

intersection

BpmnMarking intersection(BpmnMarking m1,
                         BpmnMarking m2)

multiply

BpmnMarking multiply(BpmnMarking m1,
                     int times)

emptyMarking

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

isSubset

boolean isSubset(BpmnMarking superSet,
                 BpmnMarking subSet)

isContainedTimes

int isContainedTimes(BpmnMarking superSet,
                     BpmnMarking subSet)

copy

BpmnMarking copy(BpmnMarking marking)