<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy"> <area shape="rect" id="node1" href="$classzypp_1_1sat_1_1Solvable_1_1SplitIdent.html" title="Helper that splits an identifier into kind and name or vice versa." alt="" coords="5,5,141,47"/> </map>