class virtual[['i, 'o]]
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 : (('i, 'o) #start, 'i, 'o, unit) Cf_state_gadget.guard
The first guard evaluationed by the machine after starting.
method start : 's. ('s, 'i, 'o, unit) Cf_state_gadget.t
Starts a new gadget process. Defined as Cf_state_gadget.start
Cf_state_gadget.guard self#guard self
.