<map id="src/util/lemma_output_channel.h" name="src/util/lemma_output_channel.h">
<area shape="rect" id="Node000001" title="Mechanism for communication about new lemmas." alt="" coords="5,5,152,46"/>
<area shape="rect" id="Node000002" href="$smt_2options_8h.html" title=" " alt="" coords="18,94,139,120"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="81,62,81,93,76,93,76,62"/>
</map>
