- c -

• CacheCount() : CacheCount
• calculateImprovement() : MaxWalkSat
• canBeGroundedAs() : Predicate
• canonicalize() : Clause , Predicate
• canonicalizeWithoutVariables() : Clause
• changeGndPredTruthValue() : GroundPreds
• checkAllTermsAreDiffVars() : Predicate
• checkCIdxWtsGradsSize() : IndexTranslator
• checkConvergenceOfAll() : GelmanConvergenceTest
• checkConvergenceOfAtLeast() : ConvergenceTest
• checkNoRepeatedIndex() : PseudoLogLikelihood
• checkPredsAreConnected() : Clause
• chooseOtherToFlip() : LWInfo , LazyInfo
• Clause() : Clause
• ClauseFactory() : ClauseFactory
• clauseGoodInPrevious() : VariableState
• clauseInNonExistAndNonExistUniqueFormulaCNF() : MLN
• ClauseSampler() : ClauseSampler
• cleanUpVars() : ListObj
• clear() : ListObj , Array< Type > , ArraysAccessor< Type > , HashArray< Type, HashFn, EqualFn > , HashList< Type, HashFn, EqualFn >
• clearAndCompress() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• clearList() : ListObj
• compress() : GroundPredicate , AuxClauseData , ConstDualMap , DualMap , HashArray< Type, HashFn, EqualFn > , MLNClauseInfo , MLN , Clause , GroundPreds , Array< Type > , Database , Predicate , PseudoLogLikelihood , Term
• computeCountsForNewAppendedClause() : PseudoLogLikelihood
• computeFixedSizeB() : AuxClauseData , Clause , Predicate , Term
• computeNumSamples() : ClauseSampler
• concat() : Internals
• ConstDualMap() : ConstDualMap
• contains() : GroundPreds , HashList< Type, HashFn, EqualFn > , Array< Type > , HashArray< Type, HashFn, EqualFn >
• containsClause() : MLN
• containsConstant() : Predicate
• containsConstants() : Clause
• containsPredicate() : Clause
• ConvergenceTest() : ConvergenceTest
• copyFrom() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• copyMLN() : LazyInfo , LWInfo
• 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

---