<map id="Catch::generateRandomSeed" name="Catch::generateRandomSeed">
<area shape="rect" id="Node000001" title=" " alt="" coords="513,5,723,33"/>
<area shape="rect" id="Node000002" href="$namespaceCatch.html#a96d773398ae9697da7845bbf5027e35e" title=" " alt="" coords="228,5,465,33"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="497,22,465,22,465,16,497,16"/>
<area shape="rect" id="Node000003" href="$classCatch_1_1Session.html#a4564992e2b028770e38a1dcc6fff8b34" title=" " alt="" coords="5,5,180,33"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="212,22,180,22,180,16,212,16"/>
</map>
