<map id="operator-" name="operator-"> <area shape="rect" id="node2" href="$class_proxy_iterator.html#adade8beb723e37adc1495fd70473f9d8" title="ProxyIterator::diff" alt="" coords="128,5,251,32"/> </map>
<map id="operator-" name="operator-"> <area shape="rect" id="node2" href="$class_proxy_iterator.html#adade8beb723e37adc1495fd70473f9d8" title="ProxyIterator::diff" alt="" coords="128,5,251,32"/> </map>