Class Compartment.master

class master : t list -> object  end

method activate : unit

method deactivate : unit

method get_combined_runcond : unit -> bool

method orderly_run : unit -> bool

Returns true if the method should be called again at the next round, false in case all the compartments indicated they have no more work to do and that they should block until the signaller has been set.