PolyBoRi
|
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 | PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS |
#define | PBORI_CACHE_SLOTS CUDD_CACHE_SLOTS |
#define | PBORI_MAX_MEMORY 0 |
#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_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented); |
#define | PBORI_ADD_BY_XOR |
#define | PBORI_LOWLEVEL_XOR |
#define | PBORI_USEDVARS_BY_IDX |
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) |
#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_CACHE_SLOTS CUDD_CACHE_SLOTS |
#define PBORI_DEVELOPER |
Define deverloper's mode.
#define PBORI_END_NAMESPACE } |
Finish some namespace.
#define PBORI_LOWLEVEL_XOR |
#define PBORI_MAX_MEMORY 0 |
#define PBORI_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented); |
#define PBORI_OSTREAM std::ostream |
Get output stream type.
#define PBORI_TRACE_FUNC | ( | text | ) |
Generate trace function if debugging.
Referenced by polybori::BoolePolyRing::activate(), polybori::BooleSet::add(), 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::CCuddLastIter::CCuddLastIter(), polybori::CErrorInfo::CErrorInfo(), polybori::BooleMonomial::change(), polybori::BooleExponent::change(), polybori::BooleExponent::changeAssign(), polybori::BoolePolyRing::changeOrdering(), polybori::PBoRiError::code(), polybori::LexOrder::compare(), polybori::DegRevLexAscOrder::compare(), polybori::DegLexOrder::compare(), polybori::BoolePolynomial::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::BooleSet::end(), polybori::BoolePolynomial::end(), polybori::BooleSet::existAbstract(), 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::BooleSet::hasTermOfVariables(), 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::BoolePolynomial::leadDeg(), polybori::LexOrder::leadExp(), polybori::DegRevLexAscOrder::leadExp(), polybori::DegLexOrder::leadExp(), polybori::BoolePolynomial::leadExp(), polybori::BoolePolynomial::leadFirst(), polybori::BoolePolynomial::leadStableHash(), polybori::BoolePolynomial::leadTotalDeg(), polybori::BoolePolynomial::length(), polybori::BoolePolynomial::lexLead(), polybori::BoolePolynomial::lexLeadDeg(), polybori::BooleMonomial::multiples(), polybori::BooleExponent::multiples(), polybori::BooleExponent::multiply(), polybori::BooleExponent::multiplyFirst(), polybori::BoolePolynomial::nNodes(), polybori::BoolePolynomial::nUsedVariables(), polybori::BoolePolynomial::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::BooleSet::print(), polybori::BoolePolynomial::print(), polybori::BooleExponent::print(), polybori::BooleExponent::push_back(), polybori::BooleSet::rbegin(), polybori::BooleMonomial::reducibleBy(), polybori::BooleExponent::reducibleBy(), polybori::BooleExponent::remove(), polybori::BooleExponent::removeConst(), polybori::BooleSet::rend(), polybori::CCuddNavigator::terminalValue(), polybori::CCuddLastIter::terminateConstant(), polybori::BoolePolynomial::terms(), polybori::PBoRiError::text(), polybori::CErrorInfo::text(), polybori::BoolePolynomial::totalDeg(), polybori::BooleSet::usedVariables(), polybori::BoolePolynomial::usedVariables(), polybori::BooleSet::usedVariablesExp(), polybori::BoolePolynomial::usedVariablesExp(), polybori::BooleExponent::~BooleExponent(), polybori::CCuddLastIter::~CCuddLastIter(), and polybori::PBoRiError::~PBoRiError().
#define PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS |
#define PBORI_USEDVARS_BY_IDX |
#define PBORINAME polybori |
Name the project.
#define UNLIKELY | ( | expression | ) | (expression) |
Referenced by polybori::CBlockOrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag >::appendBlock(), polybori::block_deg_lex_idx_compare(), polybori::CCheckedIdx::CCheckedIdx(), polybori::BooleSet::change(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::checkAssumption(), polybori::CCuddInterface::checkedResult(), polybori::CApplyNodeFacade< BooleSet, DdNode * >::checkSameManager(), polybori::groebner::PairManager::cleanTopByChainCriterion(), polybori::dd_recursive_degree_lead(), polybori::dd_recursive_degree_leadexp(), polybori::CTermStack< NavigatorType, Category >::decrement(), polybori::groebner::do_plug_1(), polybori::CIndexHandle< NaviType >::fromNode(), polybori::CCuddInterface::getVar(), polybori::groebner::ReductionStrategy::headNormalForm(), polybori::CTermStack< NavigatorType, Category >::increment(), polybori::CCuddInterface::init(), polybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag >::inSameBlockInternal(), polybori::BooleSet::lastLexicographicalTerm(), polybori::BoolePolynomial::leadDeg(), polybori::BoolePolynomial::lexLeadDeg(), polybori::groebner::LiteralFactorization::LiteralFactorization(), polybori::CTermStackBase< NavigatorType, internal_tag >::markedOne(), polybori::COrderingBase::monom(), polybori::groebner::PairManager::nextSpoly(), polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::operator()(), polybori::BoolePolynomial::operator/=(), polybori::BooleMonomial::operator/=(), polybori::CVariableNames::operator[](), polybori::groebner::red_tail_general(), polybori::groebner::red_tail_generic(), polybori::groebner::ReductionStrategy::reducedNormalForm(), polybori::CVariableNames::set(), polybori::CTermStack< NavigatorType, Category >::terminate(), and polybori::CErrorInfo::text().
#define USING_NAMESPACE_PBORI using namespace PBORINAME; |
Use project's namespace.
#define USING_PBORI using PBORI |
Using something from project's namespace.