Class virtual Cf_machine.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 : (< start : 'c. ('c, 'a, 'b, unit) Cf_state_gadget.t; .. >, 'a, 'b, unit)
       Cf_state_gadget.guard

The first guard evaluationed by the machine after starting.

method start : 'c. ('c, 'a, 'b, unit) Cf_state_gadget.t

Starts a new gadget process. Defined as Cf_state_gadget.start Cf_state_gadget.guard self#guard self.