org.yawlfoundation.yawl.elements.state

Class YMarking

java.lang.Object

org.yawlfoundation.yawl.elements.state.YMarking

public class YMarking
extends java.lang.Object

Author:

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

Constructor Summary

Constructors

Constructor and Description
YMarking(java.util.List<YNetElement> locations)
YMarking(YIdentifier identifier)

Method Summary

Modifier and Type	Method and Description
boolean	deadLock(YTask orJoin)
protected java.util.Set	doPowerSetRecursion(java.util.Set aSet)
boolean	equals(java.lang.Object marking)
boolean	equivalentTo(YMarking marking)
java.util.List<YNetElement>	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)
java.lang.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(java.util.List<YNetElement> locations)

Method Detail

reachableInOneStep

public YSetOfMarkings reachableInOneStep(YTask task,
                                         YTask orJoin)

doPowerSetRecursion

protected java.util.Set doPowerSetRecursion(java.util.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 java.util.List<YNetElement> getLocations()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object marking)

Overrides:

equals in class java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

equivalentTo

public boolean equivalentTo(YMarking marking)