Here is a list of all class members with links to the classes they belong to:
- r
: polybori::groebner::GroebnerStrategy
- rbegin()
: BooleExponent
, CTermIter< StackType, TermGeneratorType >
, CTermStackBase< NavigatorType, BaseType >
, COrderedIter< NavigatorType, MonomType >
- ReadInvPermZdd()
: CCuddInterface
- ReadLinear()
: CCuddInterface
- ReadPermZdd()
: CCuddInterface
- recomputeInformation()
: PolyEntry
- recursiveDecRef()
: CCuddNavigator
- redTail()
: polybori::groebner::GroebnerStrategy
- reduce()
: polybori::groebner::SlimgbReduction< variant >
- reduceByTailReduced
: polybori::groebner::GroebnerStrategy
- reducibleBy()
: BooleExponent
, BooleMonomial
, BoolePolynomial
, BooleExponent
- reducibleUntil
: polybori::groebner::GroebnerStrategy
- reductionSteps
: polybori::groebner::GroebnerStrategy
- ref
: CCuddCore
- refCount()
: CCuddDDBase< DiagramType >
- refcount_type
: manager_traits< CuddLike >
, mgrcore_traits< Cudd >
- reference
: CCuddNavigator
, CTermStackBase< NavigatorType, BaseType >
, CVariableNames
, reversed_iteration_adaptor< BiIterator >
, PBoRiOutIter< DataType, RhsType, BinOp >
- release()
: CCuddCore
- remove()
: BooleExponent
- removeConst()
: BooleExponent
- RemoveHook()
: CCuddInterface
- rend()
: BooleExponent
, COrderedIter< NavigatorType, MonomType >
, CTermIter< StackType, TermGeneratorType >
, CTermStackBase< NavigatorType, BaseType >
- ReorderingStatusZdd()
: CCuddInterface
- replace()
: dd_operations< CTypes::dd_type::navigator >
- replacePair()
: polybori::groebner::PairManager
- replacingNode()
: dd_operations< CTypes::dd_type::navigator >
- replacingUnite()
: dd_operations< CTypes::dd_type::navigator >
- res_type
: polybori::groebner::CacheManager
- reserve()
: CExpGenerator< ExpType >
, BooleExponent
- reset()
: CVariableNames
- resize()
: BooleExponent
, CExpGenerator< ExpType >
- rest
: LiteralFactorization
- restart()
: CTermStackBase< NavigatorType, BaseType >
, CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType >
- restrictop_type
: CRestrictedIter< Iterator, RestrictOp, IsValidTest >
- result
: polybori::groebner::SlimgbReduction< variant >
- result_type
: CTermGeneratorBase< TermType, type_tag< BooleMonomial > >
, binary_composition< BinaryOp, FirstOp, SecondOp >
, CTermGeneratorBase< TermType, type_tag< CTypes::size_type > >
, cudd_error_traits< ErrorNumber >
, integral_constant< IntType, INTCONST, ResultType >
, CExpGenerator< ExpType >
, CTermGeneratorBase< TermType, type_tag< BooleExponent > >
- reverse_iterator
: BooleExponent
- reversed_iteration_adaptor()
: reversed_iteration_adaptor< BiIterator >
- rhs_type
: PBoRiOutIter< DataType, RhsType, BinOp >
- ring()
: BooleMonomial
, BoolePolynomial
, BooleVariable
, BooleEnv
, BooleSet
, CCuddLikeMgrStorage< MgrType >
- ring_type
: BooleSet
, BooleVariable
, CCuddLikeMgrStorage< MgrType >
, BooleEnv
, BooleMonomial
, CVariableIter< Iterator, VariableType >
, BoolePolynomial
- rInternalBegin()
: BooleExponent
- rInternalEnd()
: BooleExponent