org.yawlfoundation.yawl.elements.state
Class YMarking

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

public class YMarking
extends Object

Author:
Lachlan Aldred Date: 19/06/2003 Time: 15:14:40

Constructor Summary
YMarking(List<YNetElement> locations)
           
YMarking(YIdentifier identifier)
           
 
Method Summary
 boolean deadLock(YTask orJoin)
           
protected  Set doPowerSetRecursion(Set aSet)
           
 boolean equals(Object marking)
           
 boolean equivalentTo(YMarking marking)
           
 List getLocations()
           
 int hashCode()
           
 boolean isBiggerEnablingMarkingThan(YMarking marking, YTask orJoin)
           
 boolean isBiggerThan(YMarking marking)
           
 boolean isBiggerThanOrEqual(YMarking marking)
           
 boolean nonOrJoinEnabled(YTask task)
          Checks to see if this marking enables the passed as parameter.
 YSetOfMarkings reachableInOneStep(YTask task, YTask orJoin)
           
 boolean strictlyGreaterThanOrEqualWithSupports(YMarking marking)
           
 boolean strictlyLessThanWithSupports(YMarking marking)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

YMarking

public YMarking(YIdentifier identifier)

YMarking

public YMarking(List<YNetElement> locations)
Method Detail

reachableInOneStep

public YSetOfMarkings reachableInOneStep(YTask task,
                                         YTask orJoin)

doPowerSetRecursion

protected Set doPowerSetRecursion(Set aSet)

nonOrJoinEnabled

public boolean nonOrJoinEnabled(YTask task)
Checks to see if this marking enables the passed as parameter. This method should never be used for an or-join.

Parameters:
task -
Returns:
true iff this marking enables the task.

getLocations

public List getLocations()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

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

strictlyGreaterThanOrEqualWithSupports

public boolean strictlyGreaterThanOrEqualWithSupports(YMarking marking)

isBiggerThanOrEqual

public boolean isBiggerThanOrEqual(YMarking marking)

isBiggerThan

public boolean isBiggerThan(YMarking marking)

strictlyLessThanWithSupports

public boolean strictlyLessThanWithSupports(YMarking marking)

isBiggerEnablingMarkingThan

public boolean isBiggerEnablingMarkingThan(YMarking marking,
                                           YTask orJoin)

deadLock

public boolean deadLock(YTask orJoin)

toString

public String toString()
Overrides:
toString in class Object

equivalentTo

public boolean equivalentTo(YMarking marking)


Copyright © 2004-2012 The YAWL Foundation.