Class virtual Cf_gadget.start


class virtual [['a, 'b]] start : object .. end
Use inherit ['i, 'o] start to derive a class to represent the initial state of a machine. It's start method initiates the machine with the virtual private guard method.

method private virtual guard : ('a, 'b, unit) guard
The first guard evaluationed by the machine after starting.
method start : ('a, 'b, unit) t
Starts a new gadget, i.e. start (guard self#guard).