- r -

• Random() : Random
• random() : Random
• randomInitGndPredsTruthValues() : MCMC
• randomOneOf() : Random
• rbegin() : HashList< Type, HashFn, EqualFn >
• rbubbleSort() : Array< Type >
• reconstructLowState() : MaxWalkSat
• regardUnknownFlag() : ARGS
• rehashClauses() : MLN
• reInit() : LBFGSB
• releaseAllStorePtr() : FreeStoreManager
• releaseStorePtr() : FreeStoreManager
• removeAllClauses() : MLN
• removeAllNull() : Array< Type >
• removeClause() : MLN
• removeClauseIdxToClauseFormulaIdxs() : IndexTranslator
• removeCountsForClause() : PseudoLogLikelihood
• removeFalseClause() : VariableState
• removeGndClauses() : GroundPredicate
• removeItem() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• removeItemFastDisorder() : HashArray< Type, HashFn, EqualFn > , Array< Type > , HashArray< Type, HashFn, EqualFn >
• removeLast() : StrFifoList
• removeLastItem() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• removePredicate() : Clause
• removePredicateFromClause() : ClauseFactory
• removeRedundantClauses() : ListObj
• removeRedundantPredicates() : Clause , ListObj
• removeRedundantPredicatesAndCanonicalize() : Clause
• removeSoftClauses() : LazyInfo , LWInfo
• 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() : AuxClauseData , ArraysAccessor< Type > , MeanVariance , LazyInfo , Timer , LWInfo , Permutation< Type >
• resetActiveStatus() : Database
• resetDeactivatedStatus() : Database
• resetDeadClauses() : VariableState
• resetFixedAtoms() : VariableState
• reverse() : HashList< Type, HashFn, EqualFn >
• revertToBeFunction() : Term
• rquicksort() : Array< Type >
• run() : StructLearn
• runStructLearning() : StructLearn

---