- i -

• includes() : smtrat::mcsat::smtaf
• insert_root_ordering_holds() : smtrat::cadcells::operators::properties
• installSignalHandler() : smtrat::resource
• intervalBoxContainsEmptyInterval() : smtrat::icp
• intervalToConstraint() : smtrat::icp
• is_constant() : smtrat::mcsat::constraint_type
• is_covering() : smtrat::cadcells::representation::util
• is_extension() : benchmax
• is_full_sample() : smtrat::covering_ng
• is_job_finished() : benchmax::slurm
• is_sat() : smtrat
• is_system_lib() : benchmax
• is_univariate() : smtrat::mcsat::constraint_type
• isAnyRationalIsZero() : smtrat
• isAssigned() : smtrat::mcsat::constraint_type
• isBooleanIdentity() : smtrat::parser::arithmetic
• isCondition() : smtrat
• isNonConstIrreducible() : smtrat::mcsat::onecellcad
• isSubset() : smtrat::mcsat::fm , smtrat::mcsat::onecellcad
• isUnassigned() : smtrat::mcsat::constraint_type