#include <cstddef>
#include <cuddObj.hh>
#include <iostream>
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Classes | |
class | polybori::COrderEnums |
This struct contains type definitions and enumerations to be used for order codes. More... | |
class | polybori::CErrorEnums |
This struct contains type definitions and enumerations to be used for error codes. More... | |
class | polybori::CCompareEnums |
This struct contains type definitions and enumerations to be used for comparisons. More... | |
class | polybori::CAuxTypes |
This struct contains auxiliary type definitions. More... | |
class | polybori::CTypes |
This struct contains type definitions to be used in library classes. More... | |
Namespaces | |
namespace | polybori |
Defines | |
#define | LIKELY(expression) (expression) |
For optimizing if-branches. | |
#define | UNLIKELY(expression) (expression) |
#define | PBORINAME polybori |
Name the project. | |
#define | PBORI_DEVELOPER |
Define deverloper's mode. | |
#define | BEGIN_NAMESPACE_PBORI namespace PBORINAME { |
Start project's namespace. | |
#define | END_NAMESPACE_PBORI } |
Finish project's namespace. | |
#define | USING_NAMESPACE_PBORI using namespace PBORINAME; |
Use project's namespace. | |
#define | PBORI PBORINAME |
Access something in project's namespace using PBORI::. | |
#define | USING_PBORI using PBORI |
Using something from project's namespace. | |
#define | PBORI_BEGIN_NAMESPACE(sub_space) namespace sub_space { |
Start some namespace. | |
#define | PBORI_END_NAMESPACE } |
Finish some namespace. | |
#define | PBORI_TRACE_FUNC(text) |
Generate trace function if debugging. | |
#define | PBORI_OSTREAM std::ostream |
Get output stream type. | |
#define | PBORI_SHARED_PTR(Type) boost::shared_ptr<Type> |
Get shared pointer type. | |
#define | PBORI_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented); |
#define | PBORI_ADD_BY_XOR |
#define | PBORI_LOWLEVEL_XOR |
#define | PBORI_USEDVARS_BY_IDX |
Functions | |
template<class ValueType > | |
void | polybori::pbori_shared_ptr_postclean (const boost::shared_ptr< ValueType > &, const boost::shared_ptr< ValueType > &) |
This file defines some types, macros and other settings to be used with the polybori library.
PBORI_NO_NAMESPACES
is undefined.#define BEGIN_NAMESPACE_PBORI namespace PBORINAME { |
Start project's namespace.
#define END_NAMESPACE_PBORI } |
Finish project's namespace.
#define LIKELY | ( | expression | ) | (expression) |
For optimizing if-branches.
Referenced by polybori::handle_error< 0 >::operator()(), CCuddZDD::operator=(), and CIndexCacheHandle< NaviType >::toNode().
#define PBORI PBORINAME |
Access something in project's namespace using PBORI::.
#define PBORI_ADD_BY_XOR |
#define PBORI_BEGIN_NAMESPACE | ( | sub_space | ) | namespace sub_space { |
Start some namespace.
#define PBORI_DEVELOPER |
Define deverloper's mode.
#define PBORI_END_NAMESPACE } |
Finish some namespace.
#define PBORI_LOWLEVEL_XOR |
#define PBORI_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented); |
#define PBORI_OSTREAM std::ostream |
Get output stream type.
#define PBORI_SHARED_PTR | ( | Type | ) | boost::shared_ptr<Type> |
Get shared pointer type.
Referenced by polybori::get_ordering().
#define PBORI_TRACE_FUNC | ( | text | ) |
Generate trace function if debugging.
Referenced by BoolePolyRing::activate(), BooleSet::add(), BooleSet::addAssign(), BooleSet::begin(), BoolePolynomial::begin(), BooleExponent::BooleExponent(), BooleMonomial::BooleMonomial(), BoolePolynomial::BoolePolynomial(), BoolePolyRing::BoolePolyRing(), BooleSet::BooleSet(), BoolePolynomial::boundedLead(), BoolePolynomial::boundedLeadExp(), CCuddGetNode::CCuddGetNode(), CCuddLastIter::CCuddLastIter(), CErrorInfo::CErrorInfo(), BooleMonomial::change(), BooleExponent::change(), BooleMonomial::changeAssign(), BooleExponent::changeAssign(), BoolePolyRing::changeOrdering(), polybori::PBoRiError::code(), LexOrder::compare(), DegRevLexAscOrder::compare(), DegLexOrder::compare(), BooleMonomial::compare(), BooleExponent::compare(), BlockDegRevLexAscOrder::compare(), BlockDegLexOrder::compare(), BoolePolynomial::deg(), BoolePolynomial::degBegin(), BoolePolynomial::degEnd(), BooleExponent::divide(), BooleExponent::divisors(), BooleSet::divisorsOf(), BooleSet::end(), BoolePolynomial::end(), BooleSet::existAbstract(), BooleMonomial::exp(), BooleSet::expBegin(), BoolePolynomial::expBegin(), BooleSet::expEnd(), BoolePolynomial::expEnd(), BoolePolynomial::fetchTerms(), BoolePolynomial::firstBegin(), BoolePolynomial::firstDivisors(), BooleSet::firstDivisorsOf(), BoolePolynomial::firstEnd(), BoolePolynomial::firstTerm(), BooleMonomial::firstVariable(), BooleMonomial::GCD(), BooleExponent::GCD(), BooleMonomial::GCDAssign(), BoolePolynomial::genericBegin(), BoolePolynomial::genericEnd(), BoolePolynomial::genericExpBegin(), BoolePolynomial::genericExpEnd(), BooleExponent::get(), BoolePolynomial::gradedPart(), polybori::greater_variable(), BooleSet::hasTermOfVariables(), CCuddNavigator::incrementElse(), CCuddNavigator::incrementThen(), BooleExponent::insert(), BooleExponent::insertConst(), CCuddNavigator::isConstant(), BooleSet::lastLexicographicalTerm(), BooleMonomial::LCM(), BooleExponent::LCM(), BooleMonomial::LCMAssign(), BooleMonomial::LCMDeg(), BooleExponent::LCMDeg(), LexOrder::lead(), DegRevLexAscOrder::lead(), DegLexOrder::lead(), BoolePolynomial::lead(), BlockDegRevLexAscOrder::lead(), BlockDegLexOrder::lead(), LexOrder::leadExp(), DegRevLexAscOrder::leadExp(), DegLexOrder::leadExp(), BoolePolynomial::leadExp(), BlockDegRevLexAscOrder::leadExp(), BlockDegLexOrder::leadExp(), LexOrder::leadExpIteratorBegin(), DegRevLexAscOrder::leadExpIteratorBegin(), DegLexOrder::leadExpIteratorBegin(), BlockDegRevLexAscOrder::leadExpIteratorBegin(), BlockDegLexOrder::leadExpIteratorBegin(), LexOrder::leadExpIteratorEnd(), DegRevLexAscOrder::leadExpIteratorEnd(), DegLexOrder::leadExpIteratorEnd(), BlockDegRevLexAscOrder::leadExpIteratorEnd(), BlockDegLexOrder::leadExpIteratorEnd(), BoolePolynomial::leadFirst(), LexOrder::leadIteratorBegin(), DegRevLexAscOrder::leadIteratorBegin(), DegLexOrder::leadIteratorBegin(), BlockDegRevLexAscOrder::leadIteratorBegin(), BlockDegLexOrder::leadIteratorBegin(), LexOrder::leadIteratorEnd(), DegRevLexAscOrder::leadIteratorEnd(), DegLexOrder::leadIteratorEnd(), BlockDegLexOrder::leadIteratorEnd(), BoolePolynomial::length(), BoolePolynomial::lexLead(), BoolePolynomial::lexLmDeg(), BoolePolynomial::lmDeg(), BoolePolynomial::lmStableHash(), BoolePolynomial::lmTotalDeg(), BooleMonomial::multiples(), BooleExponent::multiples(), BooleExponent::multiply(), BooleExponent::multiplyFirst(), BoolePolynomial::nNodes(), BoolePolynomial::nUsedVariables(), BoolePolynomial::operator%=(), CCuddGetNode::operator()(), CCuddNavigator::operator*(), BoolePolynomial::operator*=(), BooleMonomial::operator*=(), CCuddLastIter::operator++(), BoolePolynomial::operator+=(), BoolePolynomial::operator/=(), BooleMonomial::operator/=(), BooleSet::operator=(), BoolePolynomial::orderedBegin(), BoolePolynomial::orderedEnd(), BoolePolynomial::orderedExpBegin(), BoolePolynomial::orderedExpEnd(), BooleSet::owns(), polybori::PBoRiError::PBoRiError(), BoolePolynomial::prettyPrint(), BooleSet::print(), BoolePolynomial::print(), BooleExponent::print(), BooleExponent::push_back(), BoolePolynomial::reducibleBy(), BooleMonomial::reducibleBy(), BooleExponent::reducibleBy(), BooleExponent::remove(), BooleExponent::removeConst(), CCuddNavigator::terminalValue(), CCuddLastIter::terminateConstant(), BoolePolynomial::terms(), polybori::PBoRiError::text(), CErrorInfo::text(), BoolePolynomial::totalDeg(), BooleSet::usedVariables(), BoolePolynomial::usedVariables(), BooleSet::usedVariablesExp(), BoolePolynomial::usedVariablesExp(), BooleExponent::~BooleExponent(), CCuddGetNode::~CCuddGetNode(), CCuddLastIter::~CCuddLastIter(), and polybori::PBoRiError::~PBoRiError().
#define PBORI_USEDVARS_BY_IDX |
#define PBORINAME polybori |
Name the project.
#define UNLIKELY | ( | expression | ) | (expression) |
Referenced by BoolePolynomial::boundedLead(), BoolePolynomial::boundedLeadExp(), CCuddDDBase< CCuddZDD >::checkReturnValue(), CCuddInterface::checkReturnValue(), polybori::handle_error< ErrorNumber >::found(), CIndexHandle< NaviType >::fromNode(), BoolePolynomial::lead(), BoolePolynomial::leadExp(), BoolePolynomial::lexLead(), BoolePolynomial::lexLmDeg(), polybori::groebner::LiteralFactorization::LiteralFactorization(), BoolePolynomial::lmDeg(), PairManager::nextSpoly(), polybori::handle_error< ErrorNumber >::operator()(), BoolePolynomial::operator/=(), BooleMonomial::operator/=(), CCuddZDD::operator=(), CVariableNames::operator[](), CCuddZDD::print(), and CVariableNames::set().
#define USING_NAMESPACE_PBORI using namespace PBORINAME; |
Use project's namespace.
#define USING_PBORI using PBORI |
Using something from project's namespace.