<map id="boost::random::rngstream" name="boost::random::rngstream">
<area shape="rect" id="node1" title=" " alt="" coords="5,261,196,288"/>
<area shape="rect" id="node2" href="$a01072.html" title=" " alt="" coords="34,185,167,212"/>
<area shape="rect" id="node3" title="STL class." alt="" coords="57,96,144,123"/>
<area shape="rect" id="node4" title="STL class." alt="" coords="31,5,170,47"/>
</map>
