org.yawlfoundation.yawl.elements.state
Class YSetOfMarkings

java.lang.Object
  extended by org.yawlfoundation.yawl.elements.state.YSetOfMarkings

public class YSetOfMarkings
extends Object

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

Constructor Summary
YSetOfMarkings()
           
 
Method Summary
 void addAll(YSetOfMarkings newMarkings)
           
 void addMarking(YMarking marking)
           
 boolean contains(YMarking marking)
           
 boolean containsAll(Set<YMarking> markingsToCompare)
           
 boolean containsBiggerEqual(YMarking m)
           
 boolean containsEquivalentMarkingTo(YSetOfMarkings possibleFutureMarkingSet)
           
 boolean equals(YSetOfMarkings markings)
           
 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(Set<YMarking> markingsToCompare)

removeAll

public void removeAll()

getMarkings

public Set<YMarking> getMarkings()

size

public int size()

removeAMarking

public YMarking removeAMarking()

containsEquivalentMarkingTo

public boolean containsEquivalentMarkingTo(YSetOfMarkings possibleFutureMarkingSet)

containsBiggerEqual

public boolean containsBiggerEqual(YMarking m)


Copyright © 2004-2012 The YAWL Foundation.