Actual Propagation Code for AddProp

for (int i = x->getMinElem(); i != -1;

i = x->getNextLargerElem(i))

for (int j = y->getMinElem(); j != -1;

j = y->getNextLargerElem(j))

if (z->isIn(i + j)) {

x_aux += i;

y_aux += j;

z_aux += (i + j);

}

Previous slide

Next slide

Back to first slide

View graphic version