<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$classproofs_1_1_random_engine.html" title=" " alt="" coords="5,31,160,56"/>
<area shape="rect" id="Node000001" href="$classproofs_1_1_secure_random_engine.html" title=" " alt="" coords="208,5,403,31"/>
<area shape="poly" id="edge8_Node000000_Node000001" title=" " alt="" coords="175,30,207,27,207,32,176,36"/>
<area shape="rect" id="Node000002" href="$classproofs_1_1_transcript.html" title=" " alt="" coords="244,55,367,80"/>
<area shape="poly" id="edge9_Node000000_Node000002" title=" " alt="" coords="175,51,243,58,243,64,175,56"/>
</map>
