- r -
- refcount_type
: polybori::CCuddCore
, polybori::CCuddDDBase< DiagramType >
, polybori::mgrcore_traits< Cudd >
, polybori::manager_traits< CuddLike >
- reference
: polybori::CVariableNames
, polybori::PBoRiOutIter< DataType, RhsType, BinOp >
- res_type
: polybori::groebner::CacheManager
- result_type
: polybori::CExpGenerator< ExpType >
, polybori::CTermGeneratorBase< TermType, type_tag< BooleExponent > >
, polybori::CTermGeneratorBase< TermType, type_tag< CTypes::size_type > >
, polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >
, polybori::cudd_error_traits< ErrorNumber >
- reverse_iterator
: polybori::BooleExponent
- rhs_type
: polybori::PBoRiOutIter< DataType, RhsType, BinOp >
- ring_type
: polybori::CVariableIter< Iterator, VariableType >
, polybori::CCuddLikeMgrStorage< MgrType >
, polybori::BoolePolynomial
, polybori::BooleMonomial
, polybori::BooleEnv
, polybori::BooleSet
, polybori::BooleVariable