org.yawlfoundation.yawl.elements.e2wfoj

Class RMarking

java.lang.Object

org.yawlfoundation.yawl.elements.e2wfoj.RMarking

public class RMarking
extends java.lang.Object

Data structure for Marking Storage;

Constructor Summary

Constructors

Constructor and Description
RMarking(java.util.List locations)
RMarking(java.util.Map markedPlaces)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object omarking)
java.util.List	getLocations()
java.util.Map	getMarkedPlaces()
boolean	isBiggerThan(RMarking marking)
boolean	isBiggerThanOrEqual(RMarking marking)
boolean	isLessThanOrEqual(RMarking marking) This is used for coverable check: x' <= x

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RMarking

public RMarking(java.util.List locations)

RMarking

public RMarking(java.util.Map markedPlaces)

Method Detail

getLocations

public java.util.List getLocations()

equals

public boolean equals(java.lang.Object omarking)

Overrides:

equals in class java.lang.Object

isBiggerThanOrEqual

public boolean isBiggerThanOrEqual(RMarking marking)

isBiggerThan

public boolean isBiggerThan(RMarking marking)

getMarkedPlaces

public java.util.Map getMarkedPlaces()

isLessThanOrEqual

public boolean isLessThanOrEqual(RMarking marking)

This is used for coverable check: x' <= x