#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()(), polybori::CCuddZDD::operator=(), and polybori::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 polybori::BoolePolyRing::activate(), polybori::BooleSet::add(), polybori::BooleSet::addAssign(), polybori::BooleSet::begin(), polybori::BoolePolynomial::begin(), polybori::BooleExponent::BooleExponent(), polybori::BooleMonomial::BooleMonomial(), polybori::BoolePolynomial::BoolePolynomial(), polybori::BoolePolyRing::BoolePolyRing(), polybori::BooleSet::BooleSet(), polybori::BoolePolynomial::boundedLead(), polybori::BoolePolynomial::boundedLeadExp(), polybori::CCuddGetNode::CCuddGetNode(), polybori::CCuddLastIter::CCuddLastIter(), polybori::CErrorInfo::CErrorInfo(), polybori::BooleMonomial::change(), polybori::BooleExponent::change(), polybori::BooleMonomial::changeAssign(), polybori::BooleExponent::changeAssign(), polybori::BoolePolyRing::changeOrdering(), polybori::PBoRiError::code(), polybori::LexOrder::compare(), polybori::DegRevLexAscOrder::compare(), polybori::DegLexOrder::compare(), polybori::BooleMonomial::compare(), polybori::BooleExponent::compare(), polybori::BlockDegRevLexAscOrder::compare(), polybori::BlockDegLexOrder::compare(), polybori::BoolePolynomial::deg(), polybori::BoolePolynomial::degBegin(), polybori::BoolePolynomial::degEnd(), polybori::BooleExponent::divide(), polybori::BooleExponent::divisors(), polybori::BooleSet::divisorsOf(), polybori::BoolePolynomial::end(), polybori::BooleMonomial::exp(), polybori::BooleSet::expBegin(), polybori::BoolePolynomial::expBegin(), polybori::BooleSet::expEnd(), polybori::BoolePolynomial::expEnd(), polybori::BoolePolynomial::fetchTerms(), polybori::BoolePolynomial::firstBegin(), polybori::BoolePolynomial::firstDivisors(), polybori::BooleSet::firstDivisorsOf(), polybori::BoolePolynomial::firstEnd(), polybori::BoolePolynomial::firstTerm(), polybori::BooleMonomial::firstVariable(), polybori::BooleMonomial::GCD(), polybori::BooleExponent::GCD(), polybori::BooleMonomial::GCDAssign(), polybori::BoolePolynomial::genericBegin(), polybori::BoolePolynomial::genericEnd(), polybori::BoolePolynomial::genericExpBegin(), polybori::BoolePolynomial::genericExpEnd(), polybori::BooleExponent::get(), polybori::BoolePolynomial::gradedPart(), polybori::greater_variable(), polybori::CCuddNavigator::incrementElse(), polybori::CCuddNavigator::incrementThen(), polybori::BooleExponent::insert(), polybori::BooleExponent::insertConst(), polybori::CCuddNavigator::isConstant(), polybori::BooleSet::lastLexicographicalTerm(), polybori::BooleMonomial::LCM(), polybori::BooleExponent::LCM(), polybori::BooleMonomial::LCMAssign(), polybori::BooleMonomial::LCMDeg(), polybori::BooleExponent::LCMDeg(), polybori::LexOrder::lead(), polybori::DegRevLexAscOrder::lead(), polybori::DegLexOrder::lead(), polybori::BoolePolynomial::lead(), polybori::BlockDegRevLexAscOrder::lead(), polybori::LexOrder::leadExp(), polybori::DegRevLexAscOrder::leadExp(), polybori::DegLexOrder::leadExp(), polybori::BoolePolynomial::leadExp(), polybori::BlockDegRevLexAscOrder::leadExp(), polybori::LexOrder::leadExpIteratorBegin(), polybori::DegRevLexAscOrder::leadExpIteratorBegin(), polybori::DegLexOrder::leadExpIteratorBegin(), polybori::BlockDegRevLexAscOrder::leadExpIteratorBegin(), polybori::LexOrder::leadExpIteratorEnd(), polybori::DegRevLexAscOrder::leadExpIteratorEnd(), polybori::DegLexOrder::leadExpIteratorEnd(), polybori::BlockDegRevLexAscOrder::leadExpIteratorEnd(), polybori::BoolePolynomial::leadFirst(), polybori::LexOrder::leadIteratorBegin(), polybori::DegRevLexAscOrder::leadIteratorBegin(), polybori::DegLexOrder::leadIteratorBegin(), polybori::BlockDegRevLexAscOrder::leadIteratorBegin(), polybori::LexOrder::leadIteratorEnd(), polybori::DegRevLexAscOrder::leadIteratorEnd(), polybori::DegLexOrder::leadIteratorEnd(), polybori::BoolePolynomial::length(), polybori::BoolePolynomial::lexLead(), polybori::BoolePolynomial::lexLmDeg(), polybori::BoolePolynomial::lmDeg(), polybori::BoolePolynomial::lmStableHash(), polybori::BoolePolynomial::lmTotalDeg(), polybori::BooleMonomial::multiples(), polybori::BooleExponent::multiples(), polybori::BooleExponent::multiply(), polybori::BooleExponent::multiplyFirst(), polybori::BoolePolynomial::nNodes(), polybori::BoolePolynomial::nUsedVariables(), polybori::BoolePolynomial::operator%=(), polybori::CCuddGetNode::operator()(), polybori::CCuddNavigator::operator*(), polybori::BoolePolynomial::operator*=(), polybori::BooleMonomial::operator*=(), polybori::CCuddLastIter::operator++(), polybori::BoolePolynomial::operator+=(), polybori::BoolePolynomial::operator/=(), polybori::BooleMonomial::operator/=(), polybori::BoolePolynomial::orderedBegin(), polybori::BoolePolynomial::orderedEnd(), polybori::BoolePolynomial::orderedExpBegin(), polybori::BoolePolynomial::orderedExpEnd(), polybori::BooleSet::owns(), polybori::PBoRiError::PBoRiError(), polybori::BoolePolynomial::prettyPrint(), polybori::BoolePolynomial::print(), polybori::BooleExponent::print(), polybori::BooleExponent::push_back(), polybori::BoolePolynomial::reducibleBy(), polybori::BooleMonomial::reducibleBy(), polybori::BooleExponent::reducibleBy(), polybori::BooleExponent::remove(), polybori::BooleExponent::removeConst(), polybori::CCuddNavigator::terminalValue(), polybori::CCuddLastIter::terminateConstant(), polybori::BoolePolynomial::terms(), polybori::PBoRiError::text(), polybori::CErrorInfo::text(), polybori::BoolePolynomial::totalDeg(), polybori::BoolePolynomial::usedVariables(), polybori::BooleSet::usedVariablesExp(), polybori::BoolePolynomial::usedVariablesExp(), polybori::BooleExponent::~BooleExponent(), polybori::CCuddGetNode::~CCuddGetNode(), polybori::CCuddLastIter::~CCuddLastIter(), and polybori::PBoRiError::~PBoRiError().
#define PBORI_USEDVARS_BY_IDX |
#define PBORINAME polybori |
Name the project.
#define UNLIKELY | ( | expression | ) | (expression) |
Referenced by polybori::BoolePolynomial::boundedLead(), polybori::BoolePolynomial::boundedLeadExp(), polybori::CCuddDDBase< CCuddZDD >::checkReturnValue(), polybori::CCuddInterface::checkReturnValue(), polybori::handle_error< ErrorNumber >::found(), polybori::CIndexHandle< NaviType >::fromNode(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::leadExp(), polybori::BoolePolynomial::lexLead(), polybori::BoolePolynomial::lexLmDeg(), polybori::groebner::LiteralFactorization::LiteralFactorization(), polybori::BoolePolynomial::lmDeg(), polybori::handle_error< ErrorNumber >::operator()(), polybori::BoolePolynomial::operator/=(), polybori::BooleMonomial::operator/=(), polybori::CCuddZDD::operator=(), polybori::CVariableNames::operator[](), polybori::CCuddZDD::print(), and polybori::CVariableNames::set().
#define USING_NAMESPACE_PBORI using namespace PBORINAME; |
Use project's namespace.
#define USING_PBORI using PBORI |
Using something from project's namespace.