- CacheCount()
: CacheCount
- cacheNumGroundings()
: RecursiveFeature
- calculateImprovement()
: MaxWalkSat
- canBeGroundedAs()
: Predicate
- canonicalize()
: Clause
, Predicate
- canonicalizeWithoutVariables()
: Clause
- changedPredicate()
: RRF
- changeGndPredIndex()
: GroundClause
- changeGndPredTruthValue()
: GroundPreds
- checkAllTermsAreDiffVars()
: Predicate
- checkCIdxWtsGradsSize()
: IndexTranslator
- checkConvergenceOfAll()
: GelmanConvergenceTest
- checkConvergenceOfAtLeast()
: ConvergenceTest
- checkNoRepeatedIndex()
: PseudoLogLikelihood
- checkPredsAreConnected()
: Clause
- childGroundSum()
: RecursiveFeature
- chooseOtherToFlip()
: LazyInfo
, LWInfo
- ClausalFeature()
: ClausalFeature
- ClausalGroundFeature()
: ClausalGroundFeature
- Clause()
: Clause
- ClauseFactory()
: ClauseFactory
- clauseGoodInPrevious()
: VariableState
- clauseInNonExistAndNonExistUniqueFormulaCNF()
: MLN
- ClauseSampler()
: ClauseSampler
- cleanUpVars()
: ListObj
- clear()
: ListObj
, HashList< Type, HashFn, EqualFn >
, Array< Type >
, ArraysAccessor< Type >
, HashArray< Type, HashFn, EqualFn >
- clearAndCompress()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
- clearList()
: ListObj
- compress()
: AuxClauseData
, Database
, Clause
, GroundPreds
, MLN
, MLNClauseInfo
, GroundPredicate
, Predicate
, Array< Type >
, ConstDualMap
, DualMap
, HashArray< Type, HashFn, EqualFn >
, PseudoLogLikelihood
, Term
- computeCountsForNewAppendedClause()
: PseudoLogLikelihood
- computeFixedSizeB()
: AuxClauseData
, Clause
, Predicate
, Term
- computeLogValue()
: PredicateFeature
, ConstantFeature
, RecursiveFeature
, ClausalFeature
, GroundFeature
, RecursiveGroundFeature
- computeLogValueRaw()
: ClausalFeature
- computeNumSamples()
: ClauseSampler
- computePartialDeriv()
: Feature
, ClausalFeature
, RecursiveFeature
, GroundFeature
, PredicateGroundFeature
, ConstantGroundFeature
, RecursiveGroundFeature
- computeValue()
: GroundFeature
, ClausalFeature
, RecursiveGroundFeature
, RecursiveFeature
, ConstantGroundFeature
, ConstantFeature
, PredicateGroundFeature
, PredicateFeature
- concat()
: Internals
- ConstantFeature()
: ConstantFeature
- ConstantGroundFeature()
: ConstantGroundFeature
- ConstDualMap()
: ConstDualMap
- constructGroundFeature()
: Feature
- contains()
: GroundPreds
, Array< Type >
, HashArray< Type, HashFn, EqualFn >
, HashList< Type, HashFn, EqualFn >
- containsClause()
: MLN
- containsConstant()
: Predicate
- containsConstants()
: Clause
- containsPredicate()
: Clause
- ConvergenceTest()
: ConvergenceTest
- copyFrom()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
- copyMLN()
: LWInfo
, LazyInfo
- countDiffNumTrueGroundings()
: Clause
- create()
: PowerSet
- createAllGroundings()
: Predicate
- createAllGroundingsIfAllVarDiff()
: Predicate
- createClauseIdxToClauseFormulaIdxsMap()
: IndexTranslator
- createEqualPredTypeName()
: PredicateTemplate
- createEquivalentPredicate()
: GroundPredicate
- createInternalFuncTypeName()
: FunctionTemplate
- createInternalPredTypeName()
: PredicateTemplate
- createInternalPredTypeNames()
: PredicateTemplate
- createUnitClause()
: ClauseFactory
- createUnitClauses()
: ClauseFactory
- createUnitClausesWithDiffCombOfVar()
: ClauseFactory
- createVarsTypeIdArr()
: Predicate
Generated on Wed Feb 14 15:15:20 2007 for Alchemy by
1.5.1