<map id="spot::twa_product" name="spot::twa_product">
<area shape="rect" id="node4" href="$classspot_1_1tgta__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="5,865,132,972"/>
<area shape="rect" id="node5" href="$classspot_1_1twa__product__init.html" title="A lazy product with different initial states. " alt="" coords="156,865,307,972"/>
<area shape="rect" id="node2" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="63,145,237,545"/>
</map>
