#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) |
This file contains algorithmic procedures, which can be used together with PolyBoRi classes.