<map id="spot::twa_product_init" name="spot::twa_product_init">
<area shape="rect" id="node2" href="$classspot_1_1twa__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="29,593,156,817"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="5,145,180,545"/>
</map>
