<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy"> <area shape="rect" id="node1" href="$a06817.html" title="std::_Vector_base\<\l std::pair\< _StateIdT,\l std::vector \>, std::allocator\l\< std::pair\< _StateIdT, std\l::vector \> \> \>" alt="" coords="5,5,171,84"/> <area shape="rect" id="node2" href="$a06825.html" title="std::vector\< std::pair\l\< _StateIdT, std::vector \> \>" alt="" coords="219,25,384,64"/> </map>