<map id="src/expr/variable_type_map.h" name="src/expr/variable_type_map.h">
<area shape="rect" id="Node000001" title="[[ Add one&#45;line brief description here ]]" alt="" coords="77,5,224,46"/>
<area shape="rect" id="Node000002" href="$command_8h.html" title="Implementation of the command pattern on SmtEngines." alt="" coords="5,94,144,120"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="123,59,88,95,84,92,119,56"/>
<area shape="rect" id="Node000003" href="$pickler_8h.html" title="This is a &quot;pickler&quot; for expressions." alt="" coords="168,94,288,120"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="182,55,218,92,214,95,178,59"/>
</map>
