- c -

• call_extract : ProgramOptions::ValueStore
• cat_atom : Clasp::Cli::TextOutput
• cat_comment : Clasp::Cli::TextOutput
• cat_objective : Clasp::Cli::TextOutput
• cat_result : Clasp::Cli::TextOutput
• cat_value : Clasp::Cli::TextOutput
• cat_value_term : Clasp::Cli::TextOutput
• cautious_consequences : Clasp::CBConsequences
• cc_no_replace : Clasp::SolverStrategies
• cc_rep_decision : Clasp::SolverStrategies
• cc_rep_dynamic : Clasp::SolverStrategies
• cc_rep_uip : Clasp::SolverStrategies
• CHOICE_EDGE : Clasp::Asp::PrgEdge
• clause_explicit : Clasp::ClauseCreator
• clause_force_simplify : Clasp::ClauseCreator
• clause_int_lbd : Clasp::ClauseCreator
• clause_no_add : Clasp::ClauseCreator
• clause_no_heuristic : Clasp::ClauseCreator
• clause_no_prepare : Clasp::ClauseCreator
• clause_no_release : Clasp::ClauseCreator
• clause_not_conflict : Clasp::ClauseCreator
• clause_not_root_sat : Clasp::ClauseCreator
• clause_not_sat : Clasp::ClauseCreator
• clear_state_mask : Clasp::EnumerationConstraint
• common_reason : Clasp::DefaultUnfoundedCheck
• conflict : Clasp::Distributor::Policy
• COUNT_BODY : Clasp::Asp::BodyInfo
• create_eq_bound : Clasp::WeightConstraint
• create_explicit : Clasp::WeightConstraint
• create_no_add : Clasp::WeightConstraint
• create_no_freeze : Clasp::WeightConstraint
• create_no_share : Clasp::WeightConstraint
• create_sat : Clasp::WeightConstraint