- i -

• Ideal : smtrat::GBModule< Settings > , smtrat::InequalitiesTable< Settings >
• Index : benchmax::Database , benchmax::DBAL
• IntegerInterval : smtrat::IntBlastModule< Settings >
• is_transparent : smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare , smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::SecondCompare
• Iterator : smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName > , smtrat::cad::LiftingTree< Settings >
• iterator : smtrat::CollectionWithOrigins< Element, Origin > , smtrat::ModuleInput
• ITRange : smtrat::parser::BinaryParser , smtrat::parser::HexadecimalParser