Class Cf_machine.initial


class [['a, 'b]] initial : object .. end
Use inherit ['i, 'o] initial to derive a class to represent the complete initial state of a machine. While this class is not virtual, its guard method is only defined as a stub that references no gates. It is provided in the base class to make the class type more useful.
Inherits
method private guard : (< next : ('c, 'a, 'b, unit) Cf_gadget.t;
start : 'd. ('d, 'a, 'b, unit) Cf_gadget.t; .. >
as 'c, 'a, 'b, unit)
Cf_gadget.guard_t
A stub method that produces a guard on no gates at all. The intent is for subclasses to override this method as necessary.
method start : 'd. ('d, 'a, 'b, unit) Cf_gadget.t
Starts a new gadget process. Defined as Cf_gadget.start (Cf_gadget.guard self#guard) self.