- c -

• c : Clasp::Test::ClauseCreatorTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::WeightConstraintTest
• cache_ : Clasp::ClaspBerkmin
• cacheFront_ : Clasp::ClaspBerkmin
• cacheSize_ : Clasp::ClaspBerkmin
• callStack_ : Clasp::Asp::SccChecker
• cap_ : bk_lib::detail::left_right_rep< L, R >
• caption_ : ProgramOptions::OptionGroup , ProgramOptions::OptionContext
• cc_ : Clasp::Solver
• ccInfo_ : Clasp::Solver
• ccMin_ : Clasp::Solver
• ccMinAntes : Clasp::SolverStrategies
• ccMinRec : Clasp::SolverParams
• ccRepMode : Clasp::SolverStrategies
• cflSched : Clasp::ReduceParams
• cflStamp_ : Clasp::Solver
• choice_flag : Clasp::Asp::RuleState
• choiceDelta : Clasp::SolveTestEvent
• chunk : Clasp::SmallClauseAlloc::Block
• clAdded : Clasp::SatPreprocessor::Stats
• clasp_ : Clasp::Cli::ClaspAppBase
• claspAppOpts_ : Clasp::Cli::ClaspAppBase
• claspConfig_ : Clasp::Cli::ClaspAppBase
• clause : Clasp::Detail::Sink
• clause_ : Clasp::DomainHeuristic::DomMinimize
• clauses_ : Clasp::SatPreprocessor , Clasp::Test::ClauseObserver
• cliConfig : Clasp::ContextParams
• cliId : Clasp::ContextParams
• cLimit : Clasp::BasicSolveEvent
• cliMode : Clasp::ContextParams
• clLits : Clasp::Test::ClauseTest , Clasp::Test::SharedClauseTest
• closed_ : Clasp::UncoreMinimize
• clRemoved : Clasp::SatPreprocessor::Stats
• cntLocal : Clasp::RestartParams
• comp : Clasp::DomainHeuristic::DomAction
• comp_ : Clasp::SharedDependencyGraph::NonHcfComponent
• compare_ : bk_lib::indexed_priority_queue< Cmp >
• complexity : Clasp::ProblemStats
• components_ : Clasp::SharedDependencyGraph
• compress : Clasp::SolverStrategies
• con : Clasp::UncoreMinimize::Core , Clasp::GenericWatch , Clasp::GenericWatch::EqConstraint , Clasp::WeightConstraint::CPair
• confDelta : Clasp::SolveTestEvent
• config : Clasp::Cli::ClaspCliConfig::ParseContext::Frame
• config_ : Clasp::ClaspFacade , Clasp::SharedDependencyGraph , Clasp::SharedContext , Clasp::Cli::ClaspCliConfig::ProgOption
• configs_g : Clasp::Cli::ClaspCliConfig
• conflict : Clasp::Test::TestingPostProp
• conflict_ : Clasp::UncoreMinimize , Clasp::Solver
• conflicts : Clasp::SolveLimits , Clasp::SearchLimits
• cons_ : Clasp::CBConsequences
• constraints : Clasp::ProblemStats
• constraints_ : Clasp::Solver
• constraints_binary : Clasp::ProblemStats
• constraints_ternary : Clasp::ProblemStats
• coreId : Clasp::UncoreMinimize::LitData
• costs : Clasp::Model
• count : Clasp::SharedContext::Share
• count_ : Clasp::Asp::SccChecker , Clasp::SharedMinimizeData
• counterBump : Clasp::RestartParams
• counterRestart : Clasp::RestartParams
• cpuTime : Clasp::ClaspFacade::Summary
• create : ProgramOptions::NotifiedValue< T >
• creator : Clasp::Test::ClauseCreatorTest
• ctx : Clasp::Test::RuleTransformTest , Clasp::Test::PBBuilderTest , Clasp::Test::DlpBuilderTest , Clasp::Test::ClauseCreatorTest , Clasp::Test::UncoreMinimizeTest , Clasp::Test::SatEliteTest , Clasp::Test::SolverTest , ProgramOptions::ParsedValues , Clasp::Test::DependencyGraphTest , Clasp::Test::RuleTest , Clasp::Test::UnfoundedCheckTest , Clasp::Test::OPBParserTest , Clasp::Test::DimacsParserTest , Clasp::Test::ClauseTest , Clasp::Test::LogicProgramTest , Clasp::Test::SharedClauseTest , Clasp::Test::WeightConstraintTest , Clasp::ClaspFacade , Clasp::Test::DefaultMinimizeTest , Clasp::Test::LparseParserTest , Clasp::Test::SatBuilderTest
• ctx_ : ProgramOptions::ValueError , Clasp::Cli::WriteLemmas , Clasp::ProgramBuilder , Clasp::SatPreprocessor , ProgramOptions::ContextError , ProgramOptions::OptionParser
• cur : Clasp::SatElite::SatElite::Progress
• current : Clasp::CBConsequences::SharedConstraint , Clasp::CBConsequences::CBFinder