<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy"> <area shape="rect" id="node1" href="$a00422.html" title="std::_Vector_base\<\l _State, std::allocator\l\< _State \> \>" alt="" coords="6,5,141,57"/> <area shape="rect" id="node3" href="$a00957.html" title="std::vector\< _State \>" alt="" coords="190,18,322,43"/> </map>