 ovs lvs</code> builds an &quot;empty&quot; FSM structure from a list of input, output and local variables (each being described by a name and a domain). This empty structure can then be &quot;filled&quot; using the <a href="#val-add_state"><code>add_state</code></a>, <a href="#val-add_transition"><code>add_transition</code></a> and <a href="#val-add_itransition"><code>add_itransition</code></a> functions.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add_state"><a href="#va