- r -
- rbegin()
: polybori::BooleExponent
, polybori::CTermIter< StackType, TermGeneratorType >
- ReadInvPermZdd()
: polybori::CCuddInterface
- ReadLinear()
: polybori::CCuddInterface
- ReadPermZdd()
: polybori::CCuddInterface
- recomputeInformation()
: polybori::groebner::PolyEntry
- recursiveDecRef()
: polybori::CCuddNavigator
- redTail()
: polybori::groebner::GroebnerStrategy
- reduce()
: polybori::groebner::SlimgbReduction< variant >
- reducibleBy()
: polybori::BooleMonomial
, polybori::BoolePolynomial
, polybori::BooleExponent
, polybori::BooleMonomial
- refCount()
: polybori::CCuddDDBase< DiagramType >
- release()
: polybori::CCuddCore
- remove()
: polybori::BooleExponent
- removeConst()
: polybori::BooleExponent
- RemoveHook()
: polybori::CCuddInterface
- rend()
: polybori::BooleExponent
, polybori::CTermIter< StackType, TermGeneratorType >
- ReorderingStatusZdd()
: polybori::CCuddInterface
- replace()
: polybori::dd_operations< CTypes::dd_type::navigator >
- replacePair()
: polybori::groebner::PairManager
- replacingNode()
: polybori::dd_operations< CTypes::dd_type::navigator >
- replacingUnite()
: polybori::dd_operations< CTypes::dd_type::navigator >
- reserve()
: polybori::CExpGenerator< ExpType >
, polybori::BooleExponent
- reset()
: polybori::CVariableNames
- resize()
: polybori::BooleExponent
, polybori::CExpGenerator< ExpType >
- reversed_iteration_adaptor()
: polybori::reversed_iteration_adaptor< BiIterator >
- ring()
: polybori::BooleSet
, polybori::BooleVariable
, polybori::BooleMonomial
, polybori::BoolePolynomial
, polybori::BooleEnv
, polybori::CCuddLikeMgrStorage< MgrType >
- rInternalBegin()
: polybori::BooleExponent
- rInternalEnd()
: polybori::BooleExponent