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