- c -

• c : smtrat::DynamicPriorityQueue< T, Compare >
• ca : smtrat::SATModule< Settings > , smtrat::SATModule< Settings >::WatcherDeleted
• cachedPoint : smtrat::onecellcad::recursive::Section
• callee : smtrat::parser::ScriptParser< Callee >
• callSDPAfterNMonomials : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings6
• cap : Minisat::Map< K, D, H, E > , Minisat::RegionAllocator< T > , Minisat::vec< T >
• carlToMinisat : smtrat::mcsat::MCSATMixin< Settings >::VarMapping
• carlVar : smtrat::VarSchedulerMcsatBase
• category : Minisat::Option
• ccmin_mode : smtrat::SATModule< Settings >
• cell_heuristic : smtrat::CoveringNGSettingsDefault , smtrat::internal::CoveringNGSettings , smtrat::internal::OCSettings , smtrat::mcsat::onecell::DefaultSettings , smtrat::qe::coverings::DefaultSettings
• cells : smtrat::cadcells::datastructures::CoveringRepresentation< P >
• channels : smtrat::validation::ValidationSettings
• check_active_literal_occurrences : smtrat::SATSettings1
• check_conflict_for_side_conditions : smtrat::VSSettings1 , smtrat::VSSettings234
• check_for_duplicate_clauses : smtrat::SATSettings1
• check_if_all_clauses_are_satisfied : smtrat::SATSettings1
• checkEqualitiesForTrivialSumOfSquares : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings6
• checkInequalities : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings5 , smtrat::GBSettings6
• checkInequalitiesForTrivialSumOfSquares : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings6
• checkPurged : smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >
• children : smtrat::covering_ng::ParameterTree
• chosen_col : smtrat::fmplex::Node , smtrat::qe::fmplex::Node
• cid : smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings >::QueueEntry
• cla_inc : smtrat::SATModule< Settings >
• clause_chain_with_equivalences : smtrat::mcsat::onecell::BaseSettings , smtrat::mcsat::vs::DefaultSettings
• clause_decay : smtrat::SATModule< Settings >
• clauses : smtrat::SATModule< Settings > , smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel
• clauses_literals : smtrat::SATModule< Settings >
• cmp : smtrat::VarSchedulerMinisat::VarOrderLt
• coeff : smtrat::ICEModule< Settings >::EdgeProperty
• coefficient : smtrat::subtropical::Vertex
• col_index : smtrat::fmplex::Matrix::RowEntry , smtrat::qe::util::Matrix::RowEntry
• collect_statistics : benchmax::settings::ToolSettings
• collectChoicesFunction : smtrat::MCBModule< Settings >
• cols_to_elim : smtrat::fmplex::Node , smtrat::qe::fmplex::Node
• command : smtrat::parser::ScriptParser< Callee >
• comp : smtrat::DynamicPriorityQueue< T, Compare >
• comparator : smtrat::mcsat::fm::ConflictGenerator< Comparator >
• complement : smtrat::lra::Bound< T1, T2 >::Info
• complete : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::cadcells::operators::MccallumSettings , smtrat::cadcells::operators::MccallumSettingsComplete , smtrat::internal::OpSettings
• condition : smtrat::expression::ITEExpression
• config_file : benchmax::settings::CoreSettings , smtrat::settings::CoreSettings
• confl : smtrat::covering_ng::formula::formula_ds::FormulaClassification
• conflict_budget : smtrat::SATModule< Settings >
• conflict_clause_evaluation_strategy : smtrat::SATSettings1
• conflicts : smtrat::covering_ng::formula::formula_ds::FormulaGraph , smtrat::SATModule< Settings >
• conn : benchmax::DBAL
• connections : benchmax::ssh::Node
• consistencyRelevant : smtrat::SATModule< Settings >::Abstraction
• constants : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope , smtrat::parser::Theories::ConstantAdder
• constants_store : smtrat::CurryModule< Settings >
• constr : smtrat::mcsat::fm::Bound
• constraint : smtrat::covering_ng::formula::formula_ds::CONSTRAINT , smtrat::ICEModule< Settings >::EdgeProperty , smtrat::ICPModule< Settings >::linearVariable
• constraints : smtrat::qe::util::Subquery
• content : smtrat::cadcells::datastructures::PropertiesT< T, Ts... > , smtrat::covering_ng::formula::formula_ds::Formula , smtrat::expression::ExpressionContent
• contraction_threshold_nia : smtrat::ICPSettings1
• contraction_threshold_nra : smtrat::ICPSettings1
• ContractionCandidateManager : smtrat::icp::ContractionCandidate
• contractor : smtrat::mcsat::icp::QueueEntry
• conversionSizeByConstraint : smtrat::PBPPModule< Settings >
• convert_inequalities : smtrat::CoCoAGBSettings1
• convert_ods_filename : benchmax::settings::OperationSettings
• convert_ods_filter : benchmax::settings::OperationSettings
• convert_to_cnf_dimacs : smtrat::settings::SolverSettings
• convert_to_cnf_smtlib : smtrat::settings::SolverSettings
• converter : smtrat::parser::AttributeValueParser , smtrat::parser::conversion::VariantConverter< Res > , smtrat::parser::TermParser
• coreHeuristic : smtrat::cad::BaseSettings , smtrat::NewCADBaseSettings , smtrat::NewCADSettingsEnumerateAll , smtrat::NewCADSettingsInterleave
• cores : benchmax::ssh::Node
• cover_nullification : smtrat::mcsat::onecellcad::recursive::CoverNullification , smtrat::mcsat::onecellcad::recursive::DontCoverNullification
• covering_heuristic : smtrat::CoveringNGSettingsDefault , smtrat::internal::CoveringNGSettings , smtrat::internal::NewCoveringSettings , smtrat::internal::OCSettings , smtrat::LevelWiseInformation< Settings > , smtrat::mcsat::onecell::DefaultSettings , smtrat::NewCoveringSettings1 , smtrat::qe::coverings::DefaultSettings
• cRational : smtrat::RationalCapsule
• cref : Minisat::Watcher
• crit_apx_count_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_considered_count_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_degree_threshold : smtrat::cadcells::representation::approximation::ApxSettings
• crit_involved_count_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_level_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_max_apx : smtrat::cadcells::representation::approximation::ApxSettings
• crit_max_apx_per_poly : smtrat::cadcells::representation::approximation::ApxSettings
• crit_max_considered : smtrat::cadcells::representation::approximation::ApxSettings
• crit_max_constraint_involved : smtrat::cadcells::representation::approximation::ApxSettings
• crit_pair_degree_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_poly_apx_count_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_side_degree_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• crit_single_degree_enabled : smtrat::cadcells::representation::approximation::ApxSettings
• critical_lower_root : smtrat::cadcells::representation::util::PolyDelineation
• critical_upper_root : smtrat::cadcells::representation::util::PolyDelineation
• curChannels : benchmax::ssh::SSHConnection
• curJobs : benchmax::ssh::SSHConnection
• currentlySatisfiedByBackend : smtrat::VarSchedulerBase
• currentModel : smtrat::VarSchedulerMcsatBase
• currentTheory : smtrat::parser::TheoryError
• curry_function : smtrat::CurryModule< Settings >
• curry_sort : smtrat::CurryModule< Settings >