org.yawlfoundation.yawl.elements.e2wfoj
Class RSetOfMarkings

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

public class RSetOfMarkings
extends Object

Data structure for Storage of RMarkings.


Constructor Summary
RSetOfMarkings()
           
 
Method Summary
 void addAll(RSetOfMarkings newmarkings)
           
 void addMarking(RMarking marking)
           
 boolean equals(RSetOfMarkings markings)
           
 Set getMarkings()
           
 void removeAll()
           
 void removeMarking(RMarking marking)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RSetOfMarkings

public RSetOfMarkings()
Method Detail

addMarking

public void addMarking(RMarking marking)

getMarkings

public Set getMarkings()

size

public int size()

removeAll

public void removeAll()

removeMarking

public void removeMarking(RMarking marking)

addAll

public void addAll(RSetOfMarkings newmarkings)

equals

public boolean equals(RSetOfMarkings markings)


Copyright © 2004-2012 The YAWL Foundation.