- i -

• IDecRefQueue() : IDecRefQueue< T extends Z3Object >
• inconsistent() : Goal , goal , Goal
• Insert() : ASTMap
• insert() : Fixedpoint , Goal , Solver
• int_const() : context
• int_sort() : context
• int_symbol() : context
• int_val() : context
• InterpolationContext() : InterpolationContext
• InterpolationProfile() : InterpolationContext
• interrupt() : Context
• Interrupt() : Context
• interrupt() : context , Context
• is_algebraic() : expr
• is_app() : expr
• is_arith() : expr , sort
• is_array() : expr , sort
• is_bool() : expr , sort , BoolSortRef
• is_bv() : expr , sort
• is_const() : expr , func_decl
• is_datatype() : expr , sort
• is_decided_sat() : goal
• is_decided_unsat() : goal
• is_double() : stats
• is_finite_domain() : expr , sort
• is_forall() : QuantifierRef
• is_int() : expr , sort , ArithRef , ArithSortRef , BoolSortRef
• is_numeral() : expr
• is_numeral_i() : expr
• is_numeral_i64() : expr
• is_numeral_u() : expr
• is_numeral_u64() : expr
• is_quantifier() : expr
• is_re() : expr , sort
• is_real() : expr , sort , ArithRef , ArithSortRef
• is_relation() : expr , sort
• is_seq() : expr , sort
• is_string() : SeqRef , SeqSortRef
• is_string_value() : SeqRef
• is_uint() : stats
• is_var() : expr
• is_well_sorted() : expr
• isAdd() : Expr
• isAlgebraicNumber() : Expr
• isAnd() : Expr
• isApp() : AST
• isArithmeticNumeral() : Expr
• isArray() : Expr
• isArrayMap() : Expr
• isAsArray() : Expr
• isBool() : Expr
• isBV() : Expr
• isBVAdd() : Expr
• isBVAND() : Expr
• isBVBitOne() : Expr
• isBVBitZero() : Expr
• isBVCarry() : Expr
• isBVComp() : Expr
• isBVConcat() : Expr
• isBVExtract() : Expr
• isBVMul() : Expr
• isBVNAND() : Expr
• isBVNOR() : Expr
• isBVNOT() : Expr
• isBVNumeral() : Expr
• isBVOR() : Expr
• isBVReduceAND() : Expr
• isBVReduceOR() : Expr
• isBVRepeat() : Expr
• isBVRotateLeft() : Expr
• isBVRotateLeftExtended() : Expr
• isBVRotateRight() : Expr
• isBVRotateRightExtended() : Expr
• isBVSDiv() : Expr
• isBVSGE() : Expr
• isBVSGT() : Expr
• isBVShiftLeft() : Expr
• isBVShiftRightArithmetic() : Expr
• isBVShiftRightLogical() : Expr
• isBVSignExtension() : Expr
• isBVSLE() : Expr
• isBVSLT() : Expr
• isBVSMod() : Expr
• isBVSRem() : Expr
• isBVSub() : Expr
• isBVToInt() : Expr
• isBVUDiv() : Expr
• isBVUGE() : Expr
• isBVUGT() : Expr
• isBVULE() : Expr
• isBVULT() : Expr
• isBVUMinus() : Expr
• isBVURem() : Expr
• isBVXNOR() : Expr
• isBVXOR() : Expr
• isBVXOR3() : Expr
• isBVZeroExtension() : Expr
• isConst() : Expr
• isConstantArray() : Expr
• isDecidedSat() : Goal
• isDecidedUnsat() : Goal
• isDefaultArray() : Expr
• isDistinct() : Expr
• isDiv() : Expr
• isDouble() : Statistics.Entry
• isEmptyRelation() : Expr
• isEq() : Expr
• isExistential() : Quantifier
• isExpr() : AST
• isFalse() : Expr
• isFiniteDomain() : Expr
• isFiniteDomainLT() : Expr
• isFuncDecl() : AST
• isGarbage() : Goal
• isGE() : Expr
• isGT() : Expr
• isIDiv() : Expr
• isIff() : Expr
• isImplies() : Expr
• isInf() : FPNumRef
• isInt() : Expr
• isIntNum() : Expr
• isIntSymbol() : Symbol
• IsIntSymbol() : Symbol
• isIntToBV() : Expr
• isIntToReal() : Expr
• isIsEmptyRelation() : Expr
• isITE() : Expr
• isLabel() : Expr
• isLabelLit() : Expr
• isLE() : Expr
• isLT() : Expr
• isModulus() : Expr
• isMul() : Expr
• isNaN() : FPNumRef
• isNegative() : FPNumRef
• isNot() : Expr
• isNumeral() : Expr
• isOEQ() : Expr
• isOpen() : Log
• isOr() : Expr
• isOverApproximation() : Goal
• isPrecise() : Goal
• isProofAndElimination() : Expr
• isProofApplyDef() : Expr
• isProofAsserted() : Expr
• isProofCNFStar() : Expr
• isProofCommutativity() : Expr
• isProofDefAxiom() : Expr
• isProofDefIntro() : Expr
• isProofDER() : Expr
• isProofDistributivity() : Expr
• isProofElimUnusedVars() : Expr
• isProofGoal() : Expr
• isProofHypothesis() : Expr
• isProofIFFFalse() : Expr
• isProofIFFOEQ() : Expr
• isProofIFFTrue() : Expr
• isProofLemma() : Expr
• isProofModusPonens() : Expr
• isProofModusPonensOEQ() : Expr
• isProofMonotonicity() : Expr
• isProofNNFNeg() : Expr
• isProofNNFPos() : Expr
• isProofNNFStar() : Expr
• isProofOrElimination() : Expr
• isProofPullQuant() : Expr
• isProofPullQuantStar() : Expr
• isProofPushQuant() : Expr
• isProofQuantInst() : Expr
• isProofQuantIntro() : Expr
• isProofReflexivity() : Expr
• isProofRewrite() : Expr
• isProofRewriteStar() : Expr
• isProofSkolemize() : Expr
• isProofSymmetry() : Expr
• isProofTheoryLemma() : Expr
• isProofTransitivity() : Expr
• isProofTransitivityStar() : Expr
• isProofTrue() : Expr
• isProofUnitResolution() : Expr
• isQuantifier() : AST
• isRatNum() : Expr
• isReal() : Expr
• isRealIsInt() : Expr
• isRealToInt() : Expr
• isRelation() : Expr
• isRelationalJoin() : Expr
• isRelationClone() : Expr
• isRelationComplement() : Expr
• isRelationFilter() : Expr
• isRelationNegationFilter() : Expr
• isRelationProject() : Expr
• isRelationRename() : Expr
• isRelationSelect() : Expr
• isRelationStore() : Expr
• isRelationUnion() : Expr
• isRelationWiden() : Expr
• isRemainder() : Expr
• isRNA() : FPRMNum
• isRNE() : FPRMNum
• isRoundNearestTiesToAway() : FPRMNum
• isRoundNearestTiesToEven() : FPRMNum
• isRoundTowardNegative() : FPRMNum
• isRoundTowardPositive() : FPRMNum
• isRoundTowardZero() : FPRMNum
• isRTN() : FPRMNum
• isRTP() : FPRMNum
• isRTZ() : FPRMNum
• isSelect() : Expr
• isSetComplement() : Expr
• isSetDifference() : Expr
• isSetIntersect() : Expr
• isSetSubset() : Expr
• isSetUnion() : Expr
• isSort() : AST
• isStore() : Expr
• isStringSymbol() : Symbol
• IsStringSymbol() : Symbol
• isSub() : Expr
• isTrue() : Expr
• isUInt() : Statistics.Entry
• isUMinus() : Expr
• isUnderApproximation() : Goal
• isUniversal() : Quantifier
• isVar() : AST
• isWellSorted() : Expr
• isXor() : Expr
• isZero() : FPNumRef