org.yawlfoundation.yawl.elements.e2wfoj
Class RMarking

java.lang.Object
  extended by org.yawlfoundation.yawl.elements.e2wfoj.RMarking

public class RMarking
extends Object

Data structure for Marking Storage;


Constructor Summary
RMarking(List locations)
           
RMarking(Map markedPlaces)
           
 
Method Summary
 boolean equals(Object omarking)
           
 List getLocations()
           
 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(List locations)

RMarking

public RMarking(Map markedPlaces)
Method Detail

getLocations

public List getLocations()

equals

public boolean equals(Object omarking)
Overrides:
equals in class Object

isBiggerThanOrEqual

public boolean isBiggerThanOrEqual(RMarking marking)

isBiggerThan

public boolean isBiggerThan(RMarking marking)

getMarkedPlaces

public Map getMarkedPlaces()

isLessThanOrEqual

public boolean isLessThanOrEqual(RMarking marking)
This is used for coverable check: x' <= x



Copyright © 2004-2012 The YAWL Foundation.