Up  Next

Module Dataflow.Worklist

module Worklist: SCHEDULER  with type st = Dex.link
simple queue-based scheduler
type st
statement type
val hasNext : unit -> bool
true if it has a next Dataflow.SCHEDULER.st
val next : unit -> st
return the next available Dataflow.SCHEDULER.st
val add : st -> unit
add the given Dataflow.SCHEDULER.st into the scheduler

Web Accessibility