- i -

• id : Clasp::UncoreMinimize::LitPair , Clasp::SolverStrategies , Clasp::Event , Clasp::ModelEnumerator::RecordFinder , Clasp::DefaultUnfoundedCheck::BodyPtr
• id_ : Clasp::Asp::PrgNode
• id_s : Clasp::Event_t< T >
• idx : Clasp::ScheduleStrategy , Clasp::ClauseHead::Data::LocalClause , Clasp::Asp::RuleTransform::Impl::TodoItem , Clasp::DefaultMinimize::UndoInfo
• idxSeen : Clasp::DefaultMinimize::UndoInfo
• ifs : Clasp::Cli::ClaspAppOptions
• ifs_ : Clasp::Cli::TextOutput
• impliedLits_ : Clasp::Solver
• imps_ : Clasp::Lookahead
• in_ : Clasp::StreamSource
• inc_ : Clasp::ClaspVsids_t< ScoreType >
• incData_ : Clasp::Asp::LogicProgram
• incHigh : Clasp::SolveParams::FwdCheck
• index_ : ProgramOptions::OptionContext
• indices_ : bk_lib::indexed_priority_queue< Cmp >
• info : Clasp::ClauseRep
• info_ : Clasp::ClauseHead , Clasp::DefaultUnfoundedCheck
• init_ : Clasp::UncoreMinimize
• initHigh : Clasp::SolveParams::FwdCheck
• initialSupp_ : Clasp::Asp::LogicProgram
• initPost_ : Clasp::Solver
• initRange : Clasp::ReduceParams
• inits : Clasp::Test::TestingPostProp
• initScore : Clasp::HeuParams
• initWatches : Clasp::SolverStrategies
• inLbd : Clasp::Cli::ClaspAppOptions
• input : Clasp::Cli::ClaspAppOptions
• inQ_ : Clasp::SatPreprocessor::Clause
• instance_s : ProgramOptions::Application
• invalidQ_ : Clasp::DefaultUnfoundedCheck
• isAtom_ : Clasp::Asp::PrgHead
• isEq : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping
• iters : Clasp::Asp::LogicProgram::AspOptions