org.yawlfoundation.yawl.elements.e2wfoj

Class RSetOfMarkings

java.lang.Object

org.yawlfoundation.yawl.elements.e2wfoj.RSetOfMarkings

public class RSetOfMarkings
extends java.lang.Object

Data structure for Storage of RMarkings.

Constructor Summary

Constructors

Constructor and Description
RSetOfMarkings()

Method Summary

Modifier and Type	Method and Description
void	addAll(RSetOfMarkings newmarkings)
void	addMarking(RMarking marking)
boolean	equals(RSetOfMarkings markings)
java.util.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 java.util.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)