org.yawlfoundation.yawl.elements.state
Class YMarking

java.lang.Object
  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)