org.yawlfoundation.yawl.elements.state
Class YOrJoinUtils

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

public class YOrJoinUtils
extends Object

Author:
Lachlan Aldred Date: 26/06/2003 Time: 14:08:30

Constructor Summary
YOrJoinUtils()
           
 
Method Summary
static Set getRelevantPostset(YTask aTask, YTask orJoin)
           
static YTask pickOptimalEnabledTask(Set enabledTasks, YTask orJoin)
           
static YTask pickOptimalEnabledTask(Set enabledTasks, YTask orJoin, YMarking currentlyConsideredMarking, YSetOfMarkings markingsAlreadyConsidered)
           
static Set reduceToEnabled(YMarking marking, YTask orJoin)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

YOrJoinUtils

public YOrJoinUtils()
Method Detail

reduceToEnabled

public static Set reduceToEnabled(YMarking marking,
                                  YTask orJoin)

pickOptimalEnabledTask

public static YTask pickOptimalEnabledTask(Set enabledTasks,
                                           YTask orJoin)

pickOptimalEnabledTask

public static YTask pickOptimalEnabledTask(Set enabledTasks,
                                           YTask orJoin,
                                           YMarking currentlyConsideredMarking,
                                           YSetOfMarkings markingsAlreadyConsidered)

getRelevantPostset

public static Set getRelevantPostset(YTask aTask,
                                     YTask orJoin)


Copyright © 2004-2012 The YAWL Foundation.