- i -

• IbexConverter() : IbexConverter
• Icp() : Icp
• IcpParallel() : IcpParallel
• IcpSeq() : IcpSeq
• include() : Variables
• include_forall() : Contractor , ContractorCell
• include_ite() : Expression , ExpressionCell , Formula , FormulaCell
• index() : Box
• InplaceJoin() : ContractorStatus
• InplaceUnion() : Box
• input() : Contractor , ContractorCell
• insert() : Environment , Variables
• interval_vector() : Box
• is_dummy() : ContractorIbexFwdbwd , ContractorIbexFwdbwdMt , ContractorIbexPolytope , ContractorIbexPolytopeMt , Variable
• is_neq() : FormulaEvaluator , FormulaEvaluatorCell
• is_polynomial() : Expression , ExpressionCell
• is_running() : Timer
• is_simple_relational() : FormulaEvaluator , FormulaEvaluatorCell
• IsStrictSubsetOf() : Variables
• IsStrictSupersetOf() : Variables
• IsSubsetOf() : Variables
• IsSupersetOf() : Variables