/** * Calls Functor::operator(APMonom& m) for each monom of the formula. * Formula has to be in DNF! */ //template <class Functor> public void forEachMonom(EdgeCreator f) { if (getType() == type_t.T_OR) { getLeft().forEachMonom(f); getRight().forEachMonom(f); } else { APMonom m = this.toMonom(); f.apply(m); } }
/** * Calls Functor::operator(APMonom& m) for each monom of the formula. * Formula has to be in DNF! */ //template <class Functor> public void forEachMonom(EdgeCreator f) { getRootNode().forEachMonom(f); }
/** * Calls Functor::operator(APMonom& m) for each monom of the formula. * Formula has to be in DNF! */ //template <class Functor> public void forEachMonom(EdgeCreator f) { if (getType() == type_t.T_OR) { getLeft().forEachMonom(f); getRight().forEachMonom(f); } else { APMonom m = this.toMonom(); f.apply(m); } }
/** * Calls Functor::operator(APMonom& m) for each monom of the formula. * Formula has to be in DNF! */ //template <class Functor> public void forEachMonom(EdgeCreator f) { getRootNode().forEachMonom(f); }