<map id="CVC4::Divisible" name="CVC4::Divisible">
<area shape="rect" id="Node000001" title="The structure representing the divisibility&#45;by&#45;k predicate." alt="" coords="5,94,116,120"/>
<area shape="rect" id="Node000002" href="$classCVC4_1_1Integer.html" title=" " alt="" coords="10,5,111,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="63,47,63,94,58,94,58,47"/>
</map>
