- h -

• hard : MaxWalksatParams
• hasBeenExpanded : AuxClauseData
• hasExist : FormulaAndClauses
• hasFullStop : ZZFormulaInfo
• heuristic : MaxWalksatParams
• high : DoubleRange
• hmwsContOptimal_ : HVariableState
• hmwsDisOptimal_ : HVariableState
• hstate_ : Inference
• hybridClauseContPartValueMCMC_ : MCMC
• hybridClauseCost_ : HVariableState
• hybridClauseDisPartValueMCMC_ : MCMC
• hybridClauseDisValue_ : HVariableState
• hybridClauseNum_ : HVariableState
• hybridClauseValue_ : HVariableState
• hybridConjunctionDisjunction_ : HVariableState
• hybridConstraints_ : HVariableState
• hybridContClause_ : HVariableState
• hybridContOccurrence_ : HVariableState
• hybridDisClause_ : HVariableState
• hybridDisOccurrence_ : HVariableState
• hybridFalseClause_ : HVariableState
• hybridFalseClauseLow_ : HVariableState
• hybridFalseConstraintNum_ : HVariableState
• hybridFormulaGndClauseIdx_ : HVariableState
• hybridFormulaNum_ : HVariableState
• hybridGndClauseToFormulaMap_ : HVariableState
• hybridPls_ : HVariableState
• hybridWhereFalse_ : HVariableState
• hybridWts_ : HVariableState

---