- i -

• id : smtrat::cad::debug::TikzTreePrinter::UnifiedNode , smtrat::cadcells::datastructures::PolyPool::Element , smtrat::cadcells::datastructures::PolyRef , smtrat::execution::SoftAssertion , smtrat::expression::ExpressionContent
• identifier : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings41 , smtrat::GBSettings43 , smtrat::GBSettings4 , smtrat::GBSettings51 , smtrat::GBSettings51A , smtrat::GBSettings5 , smtrat::GBSettings61 , smtrat::GBSettings61A , smtrat::GBSettings63 , smtrat::GBSettings6 , smtrat::parser::QualifiedIdentifierParser , smtrat::parser::SortParser
• ignored : smtrat::fmplex::Node , smtrat::qe::fmplex::Node
• implyDefinitenessFunction : smtrat::PFEModule< Settings >
• increment : smtrat::IncWidthSettings1
• incremental : smtrat::NewCoveringSettings1 , smtrat::NewCoveringSettings3 , smtrat::NewCoveringSettings4
• incremental_flattening : smtrat::BVSettings1
• incremental_solving : smtrat::VSSettings1
• incrementality : smtrat::cad::BaseSettings , smtrat::cad::IncrementalityMixin< I, B > , smtrat::mcsat::nlsat::ExplanationGenerator::ProjectionSettings , smtrat::qe::cad::CADSettings
• index : smtrat::cadcells::datastructures::IndexedRoot
• indexed : smtrat::parser::IdentifierParser
• indices : Minisat::Heap< Comp > , smtrat::parser::Identifier
• infeasible_subset_generation : smtrat::VSSettings1
• INFINITLY_MANY_SOLUTIONS_WEIGHT : smtrat::vs::Condition
• infos : smtrat::parser::InstructionHandler
• initial_variable_activities : smtrat::SATSettings1
• initialized : smtrat::TheoryVarSchedulerStatic< vot > , smtrat::VarSchedulerMcsatActivityPreferTheory< vot >
• initialRadius : smtrat::CSplitSettings1
• initiate_activities : smtrat::SATSettings1
• input_directories : benchmax::settings::BenchmarkSettings
• input_directories_common_prefix : benchmax::settings::BenchmarkSettings
• input_file : smtrat::parser::ParserSettings
• instructionQueue : smtrat::parser::InstructionHandler
• int_max_range : smtrat::VSSettings1
• interruptions : smtrat::NewCADSettingsEQ_B , smtrat::NewCADSettingsEQ_BD , smtrat::NewCADSettingsEQ_BR , smtrat::NewCADSettingsEQ_BRD , smtrat::NewCADSettingsEQ_BRI , smtrat::NewCADSettingsEQ_BRID , smtrat::NewCADSettingsEQ_BS , smtrat::NewCADSettingsEQ_BSD , smtrat::NewCADSettingsEQ_BSI , smtrat::NewCADSettingsEQ_BSID , smtrat::NewCADSettingsEQ_R , smtrat::NewCADSettingsEQ_RD , smtrat::NewCADSettingsEQ_RI , smtrat::NewCADSettingsEQ_RID , smtrat::NewCADSettingsEQ_S , smtrat::NewCADSettingsEQ_SD , smtrat::NewCADSettingsEQ_SI , smtrat::NewCADSettingsEQ_SID
• interval : smtrat::covering_ng::ParameterTree
• introduce_new_constraint_in_refinement : smtrat::lra::TableauSettings1
• is_flag : smtrat::cadcells::operators::properties::cell_connected , smtrat::cadcells::operators::properties::poly_del , smtrat::cadcells::operators::properties::poly_irreducible_semi_sgn_inv , smtrat::cadcells::operators::properties::poly_irreducible_sgn_inv , smtrat::cadcells::operators::properties::poly_ord_inv , smtrat::cadcells::operators::properties::poly_ord_inv_base , smtrat::cadcells::operators::properties::poly_proj_del , smtrat::cadcells::operators::properties::poly_semi_sgn_inv , smtrat::cadcells::operators::properties::poly_sgn_inv , smtrat::cadcells::operators::properties::root_ordering_holds
• is_inclusive : smtrat::cadcells::datastructures::TaggedIndexedRoot
• is_optional : smtrat::cadcells::datastructures::TaggedIndexedRoot
• is_sample_outside_algorithm : smtrat::LevelWiseInformation< Settings > , smtrat::NewCoveringSettings1
• is_strict : smtrat::cadcells::datastructures::IndexedRootRelation
• is_zero : smtrat::cadcells::datastructures::detail::AssignmentProperties
• isAbstractedFormula : smtrat::mcsat::InformationGetter , smtrat::VarSchedulerBase
• isBoolValueUndef : smtrat::VarSchedulerBase
• isBound : smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings >::QueueEntry
• isDecisionVar : smtrat::VarSchedulerBase
• isDeduction : smtrat::SATModule< Settings >::Abstraction
• isolatedRoot : smtrat::mcsat::onecellcad::Section
• isTheoryAbstraction : smtrat::mcsat::InformationGetter , smtrat::VarSchedulerBase
• isTheoryVar : smtrat::VarSchedulerMcsatBase
• iterativeVariableRewriting : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings41 , smtrat::GBSettings4 , smtrat::GBSettings51 , smtrat::GBSettings51A , smtrat::GBSettings5 , smtrat::GBSettings61 , smtrat::GBSettings61A , smtrat::GBSettings6