org.yawlfoundation.yawl.elements.state

Class YSetOfMarkings

java.lang.Object

org.yawlfoundation.yawl.elements.state.YSetOfMarkings

public class YSetOfMarkings
extends java.lang.Object

Author:

Lachlan Aldred Date: 19/06/2003 Time: 15:22:56

Constructor Summary

Constructors

Constructor and Description
YSetOfMarkings()

Method Summary

Modifier and Type	Method and Description
void	addAll(YSetOfMarkings newMarkings)
void	addMarking(YMarking marking)
boolean	contains(YMarking marking)
boolean	containsAll(java.util.Set<YMarking> markingsToCompare)
boolean	containsBiggerEqual(YMarking m)
boolean	containsEquivalentMarkingTo(YSetOfMarkings possibleFutureMarkingSet)
boolean	equals(YSetOfMarkings markings)
java.util.Set<YMarking>	getMarkings()
void	removeAll()
YMarking	removeAMarking()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

YSetOfMarkings

public YSetOfMarkings()

Method Detail

addMarking

public void addMarking(YMarking marking)

addAll

public void addAll(YSetOfMarkings newMarkings)

contains

public boolean contains(YMarking marking)

equals

public boolean equals(YSetOfMarkings markings)

containsAll

public boolean containsAll(java.util.Set<YMarking> markingsToCompare)

removeAll

public void removeAll()

getMarkings

public java.util.Set<YMarking> getMarkings()

size

public int size()

removeAMarking

public YMarking removeAMarking()

containsEquivalentMarkingTo

public boolean containsEquivalentMarkingTo(YSetOfMarkings possibleFutureMarkingSet)

containsBiggerEqual

public boolean containsBiggerEqual(YMarking m)