Here is a list of all documented class members with links to the class documentation for each member:

- r -

• Random() : Random
• random() : Random
• randomInitGndPredsTruthValues() : MCMC
• randomOneOf() : Random
• rbegin() : HashList< Type, HashFn, EqualFn >
• rbubbleSort() : Array< Type >
• readHardClauseWts : ZZFormulaInfo
• reconstructLowState() : MaxWalkSat
• regardUnknownFlag() : ARGS
• rehashClauses() : MLN
• reInit() : LBFGSB
• releaseAllStorePtr() : FreeStoreManager
• releaseStorePtr() : FreeStoreManager
• remIac : UndoInfo
• remIacIdx : UndoInfo
• removeAllClauses() : MLN
• removeAllNull() : Array< Type >
• removeClause() : MLN
• removeClauseIdxToClauseFormulaIdxs() : IndexTranslator
• removeCountsForClause() : PseudoLogLikelihood
• removedClauseIdx : AuxClauseData
• removedPredIdx : AuxClauseData
• removeFalseClause() : VariableState
• removeGndClauses() : GroundPredicate
• removeItem() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• removeItemFastDisorder() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• removeLast() : StrFifoList
• removeLastItem() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• removePredicate() : Clause
• removePredicateFromClause() : ClauseFactory
• removeRedundantClauses() : ListObj
• removeRedundantPredicates() : ListObj , Clause
• removeRedundantPredicatesAndCanonicalize() : Clause
• removeSoftClauses() : LWInfo , LazyInfo
• removeVars() : LWInfo , LazyInfo
• rend() : HashList< Type, HashFn, EqualFn >
• replace() : ListObj
• replaceAsterisk() : ListObj
• replaceConstantsByType() : Domain
• replaceConstDualMap() : Domain
• replaceEmptyFuncBinaryTemplate() : Domain
• replaceEmptyFuncUnaryTemplate() : Domain
• replaceEmptyPredTemplate() : Domain
• replaceEqualPredTemplate() : Domain
• replaceFuncSet() : Domain
• replaceStrToFuncTemplateMapAndFuncDualMap() : Domain
• replaceStrToPredTemplateMapAndPredDualMap() : Domain
• replaceTypeDualMap() : Domain
• replaceTypeOfConstant() : Domain
• reset() : ArraysAccessor< Type > , Timer , Permutation< Type > , AuxClauseData , MeanVariance , LWInfo , LazyInfo
• resetActiveStatus() : Database
• resetDeactivatedStatus() : Database
• resetDeadClauses() : VariableState
• resetFixedAtoms() : VariableState
• reverse() : HashList< Type, HashFn, EqualFn >
• revertToBeFunction() : Term
• rhs_ : ZZUnknownIntPredInfo , ZZUnknownEqPredInfo
• rquicksort() : Array< Type >
• run() : StructLearn
• runStructLearning() : StructLearn

---