/**
* 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);
}
