<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="307,769,433,979"/>
<area shape="rect" id="node3" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="145,321,320,707"/>
<area shape="rect" id="node5" title="Helper structure used to store property flags. " alt="" coords="161,35,304,229"/>
<area shape="rect" id="node6" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="328,5,487,259"/>
<area shape="rect" id="node7" href="$classspot_1_1fixed__size__pool.html" title="A fixed&#45;size memory pool implementation. " alt="" coords="344,453,489,575"/>
<area shape="rect" id="node8" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="457,806,549,942"/>
</map>
