<map id="proofs::RandomEngine" name="proofs::RandomEngine">
<area shape="rect" id="Node000001" title=" " alt="" coords="118,5,272,31"/>
<area shape="rect" id="Node000002" href="$classproofs_1_1_secure_random_engine.html" title=" " alt="" coords="5,79,201,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="169,43,120,81,117,77,166,39"/>
<area shape="rect" id="Node000003" href="$classproofs_1_1_transcript.html" title=" " alt="" coords="225,79,349,105"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="224,39,273,77,270,81,221,43"/>
</map>
