pbori_algorithms.h File Reference

#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.

Namespaces
namespace	polybori
Functions
BoolePolynomial	polybori::spoly (const BoolePolynomial &first, const BoolePolynomial &second)
template<class NaviType, class LowerIterator, class ValueType>
ValueType	polybori::lower_term_accumulate (NaviType navi, LowerIterator lstart, LowerIterator lfinish, ValueType init)
template<class UpperIterator, class NaviType, class ValueType>
ValueType	polybori::upper_term_accumulate (UpperIterator ustart, UpperIterator ufinish, NaviType navi, ValueType init)
template<class UpperIterator, class NaviType, class LowerIterator, class ValueType>
ValueType	polybori::term_accumulate (UpperIterator ustart, UpperIterator ufinish, NaviType navi, LowerIterator lstart, LowerIterator lfinish, ValueType init)
template<class InputIterator, class ValueType>
ValueType	polybori::term_accumulate (InputIterator first, InputIterator last, ValueType init)
template<class CacheType, class NaviType, class SetType>
SetType	polybori::dd_mapping (const CacheType &cache, NaviType navi, NaviType map, SetType init)
template<class PolyType, class MapType>
PolyType	polybori::apply_mapping (const PolyType &poly, const MapType &map)
template<class MonomType, class PolyType>
PolyType	polybori::generate_mapping (MonomType &fromVars, MonomType &toVars, PolyType init)
template<class PolyType, class MonomType>
PolyType	polybori::mapping (PolyType poly, MonomType fromVars, MonomType toVars)