- h -

• handler : Clasp::ClaspFacade::SolveStrategy
• hardWeight_ : Clasp::SatBuilder
• hash : Clasp::Asp::BodyInfo
• hasPre_ : Clasp::UncoreMinimize
• hccOut : Clasp::Cli::ClaspAppOptions
• head : Clasp::ClauseWatch::EqHead , Clasp::Test::RuleTest , Clasp::DomainHeuristic::Frame , Clasp::ClauseWatch
• head_ : Clasp::ClauseHead , Clasp::mt::MultiQueue< T, Deleter >
• head_flag : Clasp::Asp::RuleState
• heads : Clasp::Asp::Rule
• heads_ : Clasp::Asp::PrgBody
• heap_ : bk_lib::indexed_priority_queue< Cmp >
• heuId : Clasp::SolverParams
• heuMoms : Clasp::SolverParams
• heuOther : Clasp::SolverParams
• heuParam : Clasp::SolverParams
• heuReinit : Clasp::SolverParams
• heuReserved : Clasp::SolverStrategies
• heuristic_ : Clasp::Solver
• hi : Clasp::Range< T >
• hideAux : Clasp::Cli::ClaspAppOptions
• hidePref_ : Clasp::Cli::Output
• high : Clasp::DefaultUnfoundedCheck::MinimalityCheck
• highPct : Clasp::SolveParams::FwdCheck
• huang : Clasp::ClaspBerkmin::Order