Here is a list of all documented class members with links to the class documentation for each member:

- i -

• IbexConverter() : IbexConverter
• Icp() : Icp
• IcpParallel() : IcpParallel
• IcpSeq() : IcpSeq
• if_then_else : Expression
• include() : Variables
• include_forall() : Contractor , ContractorCell
• include_ite() : Expression , ExpressionCell , Formula , FormulaCell
• index() : Box
• InplaceJoin() : ContractorStatus
• InplaceUnion() : Box
• input() : Contractor , ContractorCell
• insert() : Environment , Variables
• intersect : Variables
• interval_vector() : Box
• is_abs : Expression
• is_acos : Expression
• is_addition : Expression
• is_asin : Expression
• is_atan : Expression
• is_atan2 : Expression
• is_conjunction : Formula
• is_constant : Expression
• is_cos : Expression
• is_cosh : Expression
• is_disjunction : Formula
• is_division : Expression
• is_dummy() : ContractorIbexFwdbwd , ContractorIbexFwdbwdMt , ContractorIbexPolytope , ContractorIbexPolytopeMt , Variable
• is_equal_to : Formula
• is_exp : Expression
• is_false : Formula
• is_forall : Formula
• is_greater_than : Formula
• is_greater_than_or_equal_to : Formula
• is_if_then_else : Expression
• is_less_than : Formula
• is_less_than_or_equal_to : Formula
• is_log : Expression
• is_max : Expression
• is_min : Expression
• is_multiplication : Expression
• is_negation : Formula
• is_neq() : FormulaEvaluator , FormulaEvaluatorCell
• is_not_equal_to : Formula
• is_polynomial() : Expression , ExpressionCell
• is_pow : Expression
• is_real_constant : Expression
• is_relational : Formula
• is_running() : Timer
• is_simple_relational() : FormulaEvaluator , FormulaEvaluatorCell
• is_sin : Expression
• is_sinh : Expression
• is_sqrt : Expression
• is_tan : Expression
• is_tanh : Expression
• is_true : Formula
• is_uninterpreted_function : Expression
• is_variable : Expression , Formula
• IsStrictSubsetOf() : Variables
• IsStrictSupersetOf() : Variables
• IsSubsetOf() : Variables
• IsSupersetOf() : Variables