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

- c -

• c : CacheCount
• cache : AuxClauseData
• CacheCount() : CacheCount
• calculateImprovement() : MaxWalkSat
• canBeGroundedAs() : Predicate
• canonicalize() : Clause , Predicate
• canonicalizeWithoutVariables() : Clause
• changed_ : SAT
• changeGndPredTruthValue() : GroundPreds
• checkAllTermsAreDiffVars() : Predicate
• checkCIdxWtsGradsSize() : IndexTranslator
• checkConvergenceOfAll() : GelmanConvergenceTest
• checkConvergenceOfAtLeast() : ConvergenceTest
• checkNoRepeatedIndex() : PseudoLogLikelihood
• checkPredsAreConnected() : Clause
• chooseOtherToFlip() : LazyInfo , LWInfo
• Clause() : Clause
• clause : ClauseAndICDArray , IndexClause
• ClauseFactory() : ClauseFactory
• clauseGoodInPrevious() : VariableState
• clauseId : AddGroundClauseStruct
• clauseIndex : PredIdClauseIndex , FormulaClauseIndexes
• clauseInNonExistAndNonExistUniqueFormulaCNF() : MLN
• ClauseSampler : Clause , ClauseSampler
• clauseTrueCnts_ : Inference
• 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
• cnfClausesForDomains : ExistFormula
• cnt : CacheCount
• column_ : ZZFileState
• combIdx : PowerSetInstanceVars
• compress() : MLN , MLNClauseInfo , Predicate , Clause , Array< Type > , Term , GroundPredicate , ConstDualMap , DualMap , HashArray< Type, HashFn, EqualFn > , AuxClauseData , Database , GroundPreds , PseudoLogLikelihood
• computeCountsForNewAppendedClause() : PseudoLogLikelihood
• computeFixedSizeB() : Clause , Term , Predicate , AuxClauseData
• computeNumSamples() : ClauseSampler
• concat() : Internals
• CONCAT_NAME : PredicateTemplate
• ConstDualMap() : ConstDualMap
• constTermPtrs : AuxClauseData
• contains() : HashArray< Type, HashFn, EqualFn > , Array< Type > , GroundPreds , HashList< Type, HashFn, EqualFn >
• containsClause() : MLN
• containsConstant() : Predicate
• containsConstants() : Clause
• containsPredicate() : Clause
• ConvergenceTest() : ConvergenceTest
• copyFrom() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• copyMLN() : LWInfo , LazyInfo
• count : IndexAndCount
• 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

---