- a -

• a : Clasp::Test::ClauseCreatorTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::WeightConstraintTest
• a1 : Clasp::Test::ClauseTest , Clasp::Test::SharedClauseTest
• a2 : Clasp::Test::ClauseTest , Clasp::Test::SharedClauseTest
• a3 : Clasp::Test::ClauseTest , Clasp::Test::SharedClauseTest
• abstr : Clasp::SatPreprocessor::Clause
• accu : Clasp::Cli::StatsVisitor , Clasp::Asp::LogicProgram
• accu_ : Clasp::ClaspFacade , Clasp::SharedContext
• act : Clasp::Solver::PPList , Clasp::ClauseHead::Info , ProgramOptions::FlagAction , Clasp::ClaspBerkmin::HScore
• act_ : Clasp::LoopFormula , Clasp::ClauseInfo
• actions_ : Clasp::DomainHeuristic
• active : Clasp::ClaspFacade::SolveImpl
• active_ : Clasp::LparseParser , Clasp::OPBParser , Clasp::WeightConstraint
• activeBody_ : Clasp::Asp::LogicProgram
• activeClause_ : Clasp::DefaultUnfoundedCheck
• activeHead_ : Clasp::Asp::LogicProgram
• activity_ : Clasp::ClaspVmtf::VarInfo
• actLev_ : Clasp::DefaultMinimize
• addDeps : Clasp::ScoreLook
• address : ProgramOptions::NotifiedValue< T >
• address_ : ProgramOptions::StoredValue< T >
• addTodo : Clasp::DefaultUnfoundedCheck::RemoveSource
• adj_ : Clasp::SharedDependencyGraph::Node
• adjust_ : Clasp::SharedMinimizeData , Clasp::MinimizeBuilder
• algo : Clasp::ReduceStrategy , Clasp::ClaspFacade::SolveImpl , Clasp::ClaspFacade::SolveStrategy
• align : bk_lib::detail::with_inline_buffer< L, R, cap >::X
• ante : Clasp::ImpliedLiteral , Clasp::Test::TestingConstraint
• ante_ : Clasp::ReasonStore32::value_type
• any_flag : Clasp::Asp::RuleState
• api : Clasp::Test::DimacsParserTest , Clasp::Test::LparseParserTest , Clasp::Test::OPBParserTest
• asp : Clasp::ClaspConfig
• assign_ : Clasp::Assignment , Clasp::Solver
• assume : Clasp::UncoreMinimize::LitData
• assume_ : Clasp::UncoreMinimize , Clasp::ClaspFacade
• atomId_ : Clasp::Asp::RedefinitionError
• atoms : Clasp::Asp::LpStats
• atoms_ : Clasp::Asp::LogicProgram , Clasp::DefaultUnfoundedCheck , Clasp::SharedDependencyGraph , Clasp::Asp::PrgDisj
• aTop_ : Clasp::UncoreMinimize
• aux_ : Clasp::Asp::RuleTransform::Impl , Clasp::ClauseInfo
• auxAdd_ : Clasp::UncoreMinimize
• auxAtoms : Clasp::Asp::LpStats
• auxInit_ : Clasp::UncoreMinimize