<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" title=" " alt="" coords="5,13,154,39"/>
<area shape="rect" id="Node000001" href="$classCVC4_1_1theory_1_1TestOutputChannel.html" title=" " alt="" coords="202,5,369,46"/>
<area shape="poly" id="edge84_Node000000_Node000001" title=" " alt="" coords="169,23,201,23,201,28,169,28"/>
</map>
