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
.