- h -

• handleMessages() : Clasp::MessageHandler , Clasp::SequentialSolve::InterruptHandler
• handleModel() : Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::MinimizeConstraint , Clasp::DomainHeuristic::DomMinimize
• handleNatively() : Clasp::Asp::LogicProgram
• handlePostGroundOptions() : Clasp::Cli::ClaspAppBase
• handlePreSolveOptions() : Clasp::Cli::ClaspAppBase
• handleUnsat() : Clasp::MinimizeConstraint , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::DomainHeuristic::DomMinimize
• has() : Clasp::ValueSet , Clasp::VarInfo
• hasActivities() : Clasp::ClaspBerkmin
• hasConflict() : Clasp::Asp::LogicProgram , Clasp::Solver
• hasCore() : Clasp::UncoreMinimize
• hasDep() : Clasp::Asp::PrgAtom
• hasDynamicRestart() : Clasp::SearchLimits
• hasHeads() : Clasp::Asp::PrgBody
• hasItems() : Clasp::mt::MultiQueue< T, Deleter >
• hasLbd() : Clasp::ClauseHead
• hasLevel() : Clasp::Solver
• hasMinimize() : Clasp::Asp::LogicProgram
• hasModel() : Clasp::ModelEnumerator::BacktrackFinder
• hasProperty() : ProgramOptions::Value
• hasRootLiteral() : Clasp::Asp::Preprocessor
• hasRules() : Clasp::MinimizeBuilder
• hasSolver() : Clasp::SharedContext
• hasSource() : Clasp::DefaultUnfoundedCheck::AtomData
• hasStopConflict() : Clasp::Solver
• hasTopUnsat() : Clasp::ClaspBerkmin
• hasVar() : Clasp::Asp::PrgNode
• hasWatch() : Clasp::Solver
• hasWeights() : Clasp::Asp::PrgBody , Clasp::WeightLitsRep
• hasWitness() : Clasp::Cli::JsonOutput
• head() : Clasp::Lookahead , Clasp::Solver::PPList
• headFlag() : Clasp::Asp::RuleState
• heads_begin() : Clasp::SharedDependencyGraph::BodyNode , Clasp::Asp::PrgBody
• heads_end() : Clasp::SharedDependencyGraph::BodyNode , Clasp::Asp::PrgBody
• HeuParams() : Clasp::HeuParams
• heuristic() : Clasp::BasicSatConfig , Clasp::Configuration , Clasp::SharedMinimizeData , Clasp::Lookahead , Clasp::Solver
• highestUndoLevel() : Clasp::WeightConstraint
• HScore() : Clasp::ClaspBerkmin::HScore