- i -

• id() : Clasp::SharedDependencyGraph , Clasp::Asp::PrgNode , Clasp::Solver
• idx() : Clasp::WeightConstraint::UndoInfo
• ignoreClause() : Clasp::ClauseCreator
• ignoreScc() : Clasp::Asp::PrgNode
• imp() : Clasp::SharedMinimizeData
• Impl() : Clasp::Asp::RuleTransform::Impl
• implicit() : ProgramOptions::Value
• ImpliedList() : Clasp::ImpliedList
• ImpliedLiteral() : Clasp::ImpliedLiteral
• inBody() : Clasp::Asp::RuleState
• inc() : Clasp::ClaspBerkmin::Order , Clasp::VsidsScore , Clasp::DomScore
• incAct() : Clasp::ClaspBerkmin::HScore
• incEqs() : Clasp::Asp::LpStats , Clasp::Asp::LogicProgram
• inChoice() : Clasp::SharedDependencyGraph::AtomNode
• incOcc() : Clasp::ClaspBerkmin::HScore , Clasp::ClaspBerkmin::Order , Clasp::ClaspVsids_t< ScoreType >
• increase() : bk_lib::indexed_priority_queue< Cmp >
• Incremental() : Clasp::Asp::LogicProgram::Incremental
• incTr() : Clasp::Asp::LogicProgram
• incTrAux() : Clasp::Asp::LogicProgram
• inDegree() : Clasp::Solver
• indent() : Clasp::Cli::JsonOutput
• index() : Clasp::Literal , Clasp::DefaultMinimize::UndoInfo
• indexed_priority_queue() : bk_lib::indexed_priority_queue< Cmp >
• inDisj() : Clasp::Asp::PrgAtom , Clasp::VarInfo
• inDisjunctive() : Clasp::SharedDependencyGraph::AtomNode
• inExtended() : Clasp::SharedDependencyGraph::AtomNode
• inFlux() : Clasp::Asp::PrgHead
• info() : Clasp::ClauseCreator , ProgramOptions::Application
• Info() : Clasp::ClauseHead::Info
• inHead() : Clasp::Asp::RuleState
• init() : Clasp::Test::TestingPostProp , Clasp::ClaspFacade::Summary , Clasp::ClaspFacade , Clasp::Cli::ClaspCliConfig , Clasp::PostPropagator , Clasp::Enumerator , Clasp::HeuParams , Clasp::Asp::BodyInfo , Clasp::Lookahead , Clasp::UncoreMinimize , Clasp::SharedContext , Clasp::ClauseHead::Data::LocalClause , Clasp::CCMinRecursive , Clasp::DefaultUnfoundedCheck , Clasp::ClaspFacade::SolveImpl , Clasp::Cli::ClaspCliConfig::ParseContext
• initAtom() : Clasp::SharedDependencyGraph
• initBody() : Clasp::SharedDependencyGraph , Clasp::DefaultUnfoundedCheck
• initBuilder() : Clasp::ClaspFacade
• initExtBody() : Clasp::DefaultUnfoundedCheck
• initHuang() : Clasp::ClaspBerkmin
• initLevel() : Clasp::UncoreMinimize
• initOptions() : Clasp::Cli::ClaspAppOptions , Clasp::Cli::ClaspAppBase , ProgramOptions::Application
• initPreprocess() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• initProjection() : Clasp::ModelEnumerator
• initRoot() : Clasp::UncoreMinimize
• initScores() : Clasp::ClaspVsids_t< ScoreType > , Clasp::DomainHeuristic
• initSet() : Clasp::Distributor
• initStats() : Clasp::SharedContext
• initSuccessors() : Clasp::DefaultUnfoundedCheck
• initTester() : Clasp::Cli::ClaspCliConfig
• inNonHcf() : Clasp::SharedDependencyGraph::AtomNode
• input() : Clasp::StreamParser
• input_from_string() : bk_lib::detail::input_from_string< T, Traits >
• input_stream() : bk_lib::detail::input_stream< T, Traits >
• inQ() : Clasp::SatPreprocessor::Clause
• insertOption() : ProgramOptions::OptionContext
• inSet() : Clasp::Distributor , Clasp::Constraint_t::Set
• instance() : ProgramOptions::ValueMapping< T >
• integrate() : Clasp::ClauseCreator , Clasp::MinimizeConstraint , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::DomainHeuristic::DomMinimize
• integrateBound() : Clasp::EnumerationConstraint , Clasp::DefaultMinimize
• integrateGp() : Clasp::Test::SolverTest
• integrateOpt() : Clasp::UncoreMinimize
• integrateRoot() : Clasp::WeightConstraint
• interrupt() : Clasp::SolveAlgorithm , Clasp::ClaspFacade::SolveStrategy , Clasp::ClaspFacade::SolveImpl
• interrupted() : Clasp::ClaspFacade::Result , Clasp::SolveAlgorithm , Clasp::SequentialSolve
• InterruptHandler() : Clasp::SequentialSolve::InterruptHandler
• intRatio() : Clasp::ExtendedStats
• IntrusiveSharedPtr() : ProgramOptions::detail::IntrusiveSharedPtr< T >
• inUpper() : Clasp::Asp::PrgHead
• inWs() : Clasp::DefaultUnfoundedCheck::ExtData
• irand() : Clasp::RNG
• is_in_queue() : bk_lib::indexed_priority_queue< Cmp >
• is_owner() : Clasp::SingleOwnerPtr< T, D >
• isAtom() : Clasp::Asp::PrgHead , Clasp::Var_t , Clasp::Asp::PrgEdge
• isBody() : Clasp::Asp::PrgEdge , Clasp::Var_t
• isBogusRule() : Clasp::Asp::RuleTransform::Impl
• isCandidate() : Clasp::Distributor
• isChoice() : Clasp::Asp::PrgEdge
• isComposing() : ProgramOptions::Value
• isDisj() : Clasp::Asp::PrgEdge
• isDom() : Clasp::DomScore
• isExtended() : Clasp::SharedContext
• isFact() : Clasp::Asp::RuleTransform::Impl , Clasp::Asp::LogicProgram
• isFalse() : Clasp::Solver
• isFlag() : ProgramOptions::Value
• isGamma() : Clasp::Asp::PrgEdge
• isGenerator() : Clasp::Cli::ClaspCliConfig
• isImp() : Clasp::ClauseRep
• isImplicit() : ProgramOptions::Value
• isLong() : bk_lib::detail::IterType< T >
• isLookback() : Clasp::Heuristic_t
• isModel() : Clasp::DefaultUnfoundedCheck , Clasp::Solver::PPList , Clasp::PostPropagator
• isNegatable() : ProgramOptions::Value
• isNode() : Clasp::Asp::SccChecker
• isNormal() : Clasp::Asp::PrgEdge
• isNull() : Clasp::Antecedent
• isOpen() : Clasp::Test::TestingConstraint , Clasp::LearntConstraint , Clasp::Clause , Clasp::LoopFormula , Clasp::mt::SharedLitsClause
• isPtr() : bk_lib::detail::IterType< T >
• isRestart() : Clasp::SumQueue
• isReverseReason() : Clasp::mt::SharedLitsClause , Clasp::ClauseHead , Clasp::Clause
• isSet() : Clasp::Asp::RuleState
• isShared() : Clasp::SharedContext
• isSmall() : Clasp::ClauseHead::Data::LocalClause , Clasp::Clause
• isSupported() : Clasp::Asp::PrgBody
• isTrue() : Clasp::Model , Clasp::Solver , Clasp::LoopFormula
• isType() : Clasp::Lookahead
• isValidSource() : Clasp::DefaultUnfoundedCheck
• isWarning() : Clasp::LogEvent
• isWeight() : Clasp::WeightConstraint
• iterations() : Clasp::Asp::LogicProgram::AspOptions
• iterator() : Clasp::Cli::ClaspCliConfig::RawConfig