#include <numeric>
#include "pbori_defs.h"
#include "pbori_algo.h"
#include "BoolePolynomial.h"
#include "BooleMonomial.h"
#include "CGenericIter.h"
Go to the source code of this file.
Functions | |
BEGIN_NAMESPACE_PBORI BoolePolynomial | spoly (const BoolePolynomial &first, const BoolePolynomial &second) |
Compute spoly of two polynomials. | |
template<class NaviType , class LowerIterator , class ValueType > | |
ValueType | lower_term_accumulate (NaviType navi, LowerIterator lstart, LowerIterator lfinish, ValueType init) |
template<class UpperIterator , class NaviType , class ValueType > | |
ValueType | upper_term_accumulate (UpperIterator ustart, UpperIterator ufinish, NaviType navi, ValueType init) |
template<class UpperIterator , class NaviType , class LowerIterator , class ValueType > | |
ValueType | term_accumulate (UpperIterator ustart, UpperIterator ufinish, NaviType navi, LowerIterator lstart, LowerIterator lfinish, ValueType init) |
template<class InputIterator , class ValueType > | |
ValueType | term_accumulate (InputIterator first, InputIterator last, ValueType init) |
Routine for adding all terms given by iterators. | |
template<class CacheType , class NaviType , class SetType > | |
SetType | dd_mapping (const CacheType &cache, NaviType navi, NaviType map, SetType init) |
template<class PolyType , class MapType > | |
PolyType | apply_mapping (const PolyType &poly, const MapType &map) |
template<class MonomType , class PolyType > | |
PolyType | generate_mapping (MonomType &fromVars, MonomType &toVars, PolyType init) |
template<class PolyType , class MonomType > | |
PolyType | mapping (PolyType poly, MonomType fromVars, MonomType toVars) |
This file contains algorithmic procedures, which can be used together with PolyBoRi classes.
PolyType apply_mapping | ( | const PolyType & | poly, | |
const MapType & | map | |||
) | [inline] |
References dd_mapping().
Referenced by mapping().
SetType dd_mapping | ( | const CacheType & | cache, | |
NaviType | navi, | |||
NaviType | map, | |||
SetType | init | |||
) | [inline] |
Referenced by apply_mapping().
PolyType generate_mapping | ( | MonomType & | fromVars, | |
MonomType & | toVars, | |||
PolyType | init | |||
) | [inline] |
Referenced by mapping().
ValueType lower_term_accumulate | ( | NaviType | navi, | |
LowerIterator | lstart, | |||
LowerIterator | lfinish, | |||
ValueType | init | |||
) | [inline] |
References CDDInterface< CuddLikeZDD >::change().
Referenced by term_accumulate().
PolyType mapping | ( | PolyType | poly, | |
MonomType | fromVars, | |||
MonomType | toVars | |||
) | [inline] |
References apply_mapping(), and generate_mapping().
BEGIN_NAMESPACE_PBORI BoolePolynomial spoly | ( | const BoolePolynomial & | first, | |
const BoolePolynomial & | second | |||
) | [inline] |
Compute spoly of two polynomials.
References BoolePolynomial::lead().
Referenced by IJPairData::extract(), and nf3_short().
ValueType term_accumulate | ( | InputIterator | first, | |
InputIterator | last, | |||
ValueType | init | |||
) | [inline] |
Routine for adding all terms given by iterators.
References term_accumulate(), and upper_term_accumulate().
ValueType term_accumulate | ( | UpperIterator | ustart, | |
UpperIterator | ufinish, | |||
NaviType | navi, | |||
LowerIterator | lstart, | |||
LowerIterator | lfinish, | |||
ValueType | init | |||
) | [inline] |
References CDDInterface< CuddLikeZDD >::change(), lower_term_accumulate(), and upper_term_accumulate().
Referenced by LexHelper::sum_range(), and term_accumulate().
ValueType upper_term_accumulate | ( | UpperIterator | ustart, | |
UpperIterator | ufinish, | |||
NaviType | navi, | |||
ValueType | init | |||
) | [inline] |
Referenced by term_accumulate().