<map id="proofs::CborPlucker&lt; Logic, NJ &gt;" name="proofs::CborPlucker&lt; Logic, NJ &gt;">
<area shape="rect" id="Node000001" title=" " alt="" coords="93,117,230,158"/>
<area shape="rect" id="Node000002" href="$classproofs_1_1_logic.html" title=" " alt="" coords="5,5,142,46"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="101,56,148,115,144,118,97,60"/>
<area shape="rect" id="Node000003" href="$classproofs_1_1_poly.html" title=" " alt="" coords="165,13,334,38"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="232,52,179,118,175,115,228,49"/>
</map>
