Here is a list of all documented class members with links to the class documentation for each member:
- Random()
: Random
- random()
: Random
- randomInitGndPredsTruthValues()
: MCMC
- randomOneOf()
: Random
- rbegin()
: HashList< Type, HashFn, EqualFn >
- rbubbleSort()
: Array< Type >
- readHardClauseWts
: ZZFormulaInfo
- reconstructLowState()
: MaxWalkSat
- RecursiveFeature()
: RecursiveFeature
- RecursiveGroundFeature()
: RecursiveGroundFeature
- regardUnknownFlag()
: ARGS
- rehashClauses()
: MLN
- reInit()
: LBFGSR
, LBFGSB
- reinit()
: VariableState
- releaseAllStorePtr()
: FreeStoreManager
- releaseChildGroundingIter()
: RecursiveFeature
- releaseStorePtr()
: FreeStoreManager
- remIac
: UndoInfo
- remIacIdx
: UndoInfo
- removeAllClauses()
: MLN
- removeAllNull()
: Array< Type >
- removeClause()
: MLN
- removeClauseIdxToClauseFormulaIdxs()
: IndexTranslator
- removeCountsForClause()
: PseudoLogLikelihood
- removedClauseIdx
: AuxClauseData
- removedPredIdx
: AuxClauseData
- removeEvidence()
: OnlineEngine
- removeFalseClause()
: VariableState
- removeGndClauses()
: GroundPredicate
- removeGndPred()
: GroundClause
- removeItem()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
- removeItemFastDisorder()
: 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()
: LWInfo
, ParentIter
, ArraysAccessor< Type >
, Permutation< Type >
, AuxClauseData
, MeanVariance
, LazyInfo
, Timer
- resetActiveStatus()
: Database
- resetDeactivatedStatus()
: Database
- resetDeadClauses()
: VariableState
- resetFixedAtoms()
: VariableState
- reverse()
: HashList< Type, HashFn, EqualFn >
- revertToBeFunction()
: Term
- rhs_
: ZZUnknownEqPredInfo
, ZZUnknownIntPredInfo
- rquicksort()
: Array< Type >
- RRF()
: RRF
- run()
: StructLearn
- runStructLearning()
: StructLearn
Generated on Wed Feb 14 15:15:20 2007 for Alchemy by
1.5.1