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

- h -

• hard : MaxWalksatParams
• HARD_WT : LWInfo , LazyInfo
• hasAndOp() : ListObj
• hasBeenExpanded : AuxClauseData
• hasExist : FormulaAndClauses
• hasFullStop : ZZFormulaInfo
• hash() : Hash
• HashArray() : HashArray< Type, HashFn, EqualFn >
• hashCode() : GroundClause , IntClause , Clause , GroundPredicate , Function , Predicate
• HashList() : HashList< Type, HashFn, EqualFn >
• hasNext() : Permutation< Type >
• hasNextCombination() : ArraysAccessor< Type >
• hasOrOp() : ListObj
• hasRedundantPredicates() : Clause
• heuristic : MaxWalksatParams

---