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

- h -

• hard : MaxWalksatParams
• hasAndOp() : ListObj
• hasBeenExpanded : AuxClauseData
• hasExist : FormulaAndClauses
• hasFullStop : ZZFormulaInfo
• hash() : Hash
• HashArray() : HashArray< Type, HashFn, EqualFn >
• hashCode() : GroundPredicate , Clause , Function , Predicate , GroundClause
• HashList() : HashList< Type, HashFn, EqualFn >
• hasNext() : Permutation< Type >
• hasNextCombination() : ArraysAccessor< Type >
• hasNextGrounding() : ParentIter , ParentIter2
• hasOrOp() : ListObj
• hasRedundantPredicates() : Clause
• hasSameEqClass() : Variable
• heuristic : MaxWalksatParams
• high : DoubleRange
• HMaxWalkSat() : HMaxWalkSat
• HMCSAT() : HMCSAT
• hmwsContOptimal_ : HVariableState
• hmwsDisOptimal_ : HVariableState
• hstate_ : Inference
• HVariableState() : HVariableState
• HybridClauseContPartValue() : MCMC , HVariableState
• hybridClauseContPartValueMCMC_ : MCMC
• hybridClauseCost_ : HVariableState
• HybridClauseDisPartValue() : MCMC , HVariableState
• hybridClauseDisPartValueMCMC_ : MCMC
• hybridClauseDisValue_ : HVariableState
• hybridClauseNum_ : HVariableState
• HybridClauseValue() : HVariableState
• hybridClauseValue_ : HVariableState
• HybridClauseValueNonWt() : HVariableState
• hybridConjunctionDisjunction_ : HVariableState
• HybridConstraint() : HVariableState::HybridConstraint
• 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

---