Here is a list of all struct and union fields with links to the structures/unions they belong to:

- i -

• Id : AST , FuncDecl , Sort
• IDecRefQueue() : IDecRefQueue< T extends Z3Object >
• implies : expr
• inconsistent() : Goal
• Inconsistent : Goal
• inconsistent() : goal , Goal
• Index : Expr
• Insert() : ASTMap
• insert() : Fixedpoint , Goal , Solver
• Int : BitVecNum , FiniteDomainNum , FuncDecl.Parameter , IntNum , IntSymbol
• Int64 : BitVecNum , FiniteDomainNum , IntNum
• int_const() : context
• int_sort() : context
• int_symbol() : context
• int_val() : context
• interp : InterpolationContext.ComputeInterpolantResult
• InterpolationContext() : InterpolationContext
• InterpolationProfile() : InterpolationContext
• interrupt() : Context
• Interrupt() : Context
• interrupt() : context , Context
• IntSort : 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
• IsAdd : Expr
• isAlgebraicNumber() : Expr
• IsAlgebraicNumber : Expr
• isAnd() : Expr
• IsAnd : Expr
• isApp() : AST
• IsApp : AST
• isArithmeticNumeral() : Expr
• IsArithmeticNumeral : Expr
• isArray() : Expr
• IsArray : Expr
• isArrayMap() : Expr
• IsArrayMap : Expr
• isAsArray() : Expr
• IsAsArray : Expr
• isBool() : Expr
• IsBool : Expr
• isBV() : Expr
• IsBV : Expr
• isBVAdd() : Expr
• IsBVAdd : Expr
• isBVAND() : Expr
• IsBVAND : Expr
• isBVBitOne() : Expr
• IsBVBitOne : Expr
• isBVBitZero() : Expr
• IsBVBitZero : Expr
• isBVCarry() : Expr
• IsBVCarry : Expr
• isBVComp() : Expr
• IsBVComp : Expr
• isBVConcat() : Expr
• IsBVConcat : Expr
• isBVExtract() : Expr
• IsBVExtract : Expr
• isBVMul() : Expr
• IsBVMul : Expr
• isBVNAND() : Expr
• IsBVNAND : Expr
• isBVNOR() : Expr
• IsBVNOR : Expr
• isBVNOT() : Expr
• IsBVNOT : Expr
• isBVNumeral() : Expr
• IsBVNumeral : Expr
• isBVOR() : Expr
• IsBVOR : Expr
• isBVReduceAND() : Expr
• IsBVReduceAND : Expr
• isBVReduceOR() : Expr
• IsBVReduceOR : Expr
• isBVRepeat() : Expr
• IsBVRepeat : Expr
• isBVRotateLeft() : Expr
• IsBVRotateLeft : Expr
• isBVRotateLeftExtended() : Expr
• IsBVRotateLeftExtended : Expr
• isBVRotateRight() : Expr
• IsBVRotateRight : Expr
• isBVRotateRightExtended() : Expr
• IsBVRotateRightExtended : Expr
• isBVSDiv() : Expr
• IsBVSDiv : Expr
• isBVSGE() : Expr
• IsBVSGE : Expr
• isBVSGT() : Expr
• IsBVSGT : Expr
• isBVShiftLeft() : Expr
• IsBVShiftLeft : Expr
• isBVShiftRightArithmetic() : Expr
• IsBVShiftRightArithmetic : Expr
• isBVShiftRightLogical() : Expr
• IsBVShiftRightLogical : Expr
• isBVSignExtension() : Expr
• IsBVSignExtension : Expr
• isBVSLE() : Expr
• IsBVSLE : Expr
• isBVSLT() : Expr
• IsBVSLT : Expr
• isBVSMod() : Expr
• IsBVSMod : Expr
• isBVSRem() : Expr
• IsBVSRem : Expr
• isBVSub() : Expr
• IsBVSub : Expr
• isBVToInt() : Expr
• IsBVToInt : Expr
• isBVUDiv() : Expr
• IsBVUDiv : Expr
• isBVUGE() : Expr
• IsBVUGE : Expr
• isBVUGT() : Expr
• IsBVUGT : Expr
• isBVULE() : Expr
• IsBVULE : Expr
• isBVULT() : Expr
• IsBVULT : Expr
• isBVUMinus() : Expr
• IsBVUMinus : Expr
• isBVURem() : Expr
• IsBVURem : Expr
• isBVXNOR() : Expr
• IsBVXNOR : Expr
• isBVXOR() : Expr
• IsBVXOR : Expr
• isBVXOR3() : Expr
• IsBVXOR3 : Expr
• isBVZeroExtension() : Expr
• IsBVZeroExtension : Expr
• IsConsDecl : ListSort
• isConst() : Expr
• IsConst : Expr
• isConstantArray() : Expr
• IsConstantArray : Expr
• isDecidedSat() : Goal
• IsDecidedSat : Goal
• isDecidedUnsat() : Goal
• IsDecidedUnsat : Goal
• isDefaultArray() : Expr
• IsDefaultArray : Expr
• isDistinct() : Expr
• IsDistinct : Expr
• isDiv() : Expr
• IsDiv : Expr
• isDouble() : Statistics.Entry
• IsDouble : Statistics.Entry
• isEmptyRelation() : Expr
• IsEmptyRelation : Expr
• isEq() : Expr
• IsEq : Expr
• isExistential() : Quantifier
• IsExistential : Quantifier
• isExpr() : AST
• IsExpr : AST
• isFalse() : Expr
• IsFalse : Expr
• isFiniteDomain() : Expr
• IsFiniteDomain : Expr
• isFiniteDomainLT() : Expr
• IsFiniteDomainLT : Expr
• IsFP : Expr
• IsFPAbs : Expr
• IsFPAdd : Expr
• IsFPDiv : Expr
• IsFPEq : Expr
• IsFPFMA : Expr
• IsFPFP : Expr
• IsFPGe : Expr
• IsFPGt : Expr
• IsFPisInf : Expr
• IsFPisNaN : Expr
• IsFPisNegative : Expr
• IsFPisNormal : Expr
• IsFPisPositive : Expr
• IsFPisSubnormal : Expr
• IsFPisZero : Expr
• IsFPLe : Expr
• IsFPLt : Expr
• IsFPMax : Expr
• IsFPMin : Expr
• IsFPMinusInfinity : Expr
• IsFPMinusZero : Expr
• IsFPMul : Expr
• IsFPNaN : Expr
• IsFPNeg : Expr
• IsFPNumeral : Expr
• IsFPPlusInfinity : Expr
• IsFPPlusZero : Expr
• IsFPRem : Expr
• IsFPRM : Expr
• IsFPRMExpr : Expr
• IsFPRMExprRNA : Expr
• IsFPRMExprRNE : Expr
• IsFPRMExprRTN : Expr
• IsFPRMExprRTP : Expr
• IsFPRMExprRTZ : Expr
• IsFPRMNumeral : Expr
• IsFPRMRoundNearestTiesToAway : Expr
• IsFPRMRoundNearestTiesToEven : Expr
• IsFPRMRoundTowardNegative : Expr
• IsFPRMRoundTowardPositive : Expr
• IsFPRMRoundTowardZero : Expr
• IsFPRoundToIntegral : Expr
• IsFPSqrt : Expr
• IsFPSub : Expr
• IsFPToFp : Expr
• IsFPToFpUnsigned : Expr
• IsFPToIEEEBV : Expr
• IsFPToReal : Expr
• IsFPToSBV : Expr
• IsFPToUBV : Expr
• isFuncDecl() : AST
• IsFuncDecl : AST
• isGarbage() : Goal
• IsGarbage : Goal
• isGE() : Expr
• IsGE : Expr
• isGT() : Expr
• IsGT : Expr
• isIDiv() : Expr
• IsIDiv : Expr
• isIff() : Expr
• IsIff : Expr
• isImplies() : Expr
• IsImplies : Expr
• isInf() : FPNumRef
• isInt() : Expr
• IsInt : Expr
• IsInterpolant : Expr
• isIntNum() : Expr
• IsIntNum : Expr
• isIntSymbol() : Symbol
• IsIntSymbol() : Symbol
• isIntToBV() : Expr
• IsIntToBV : Expr
• isIntToReal() : Expr
• IsIntToReal : Expr
• isIsEmptyRelation() : Expr
• IsIsEmptyRelation : Expr
• isITE() : Expr
• IsITE : Expr
• isLabel() : Expr
• IsLabel : Expr
• isLabelLit() : Expr
• IsLabelLit : Expr
• isLE() : Expr
• IsLE : Expr
• isLT() : Expr
• IsLT : Expr
• isModulus() : Expr
• IsModulus : Expr
• isMul() : Expr
• IsMul : Expr
• isNaN() : FPNumRef
• isNegative() : FPNumRef
• IsNilDecl : ListSort
• isNot() : Expr
• IsNot : Expr
• isNumeral() : Expr
• IsNumeral : Expr
• isOEQ() : Expr
• IsOEQ : Expr
• isOpen() : Log
• isOr() : Expr
• IsOr : Expr
• isOverApproximation() : Goal
• IsOverApproximation : Goal
• isPrecise() : Goal
• IsPrecise : Goal
• isProofAndElimination() : Expr
• IsProofAndElimination : Expr
• isProofApplyDef() : Expr
• IsProofApplyDef : Expr
• isProofAsserted() : Expr
• IsProofAsserted : Expr
• isProofCNFStar() : Expr
• IsProofCNFStar : Expr
• isProofCommutativity() : Expr
• IsProofCommutativity : Expr
• isProofDefAxiom() : Expr
• IsProofDefAxiom : Expr
• isProofDefIntro() : Expr
• IsProofDefIntro : Expr
• isProofDER() : Expr
• IsProofDER : Expr
• isProofDistributivity() : Expr
• IsProofDistributivity : Expr
• isProofElimUnusedVars() : Expr
• IsProofElimUnusedVars : Expr
• isProofGoal() : Expr
• IsProofGoal : Expr
• isProofHypothesis() : Expr
• IsProofHypothesis : Expr
• isProofIFFFalse() : Expr
• IsProofIFFFalse : Expr
• isProofIFFOEQ() : Expr
• IsProofIFFOEQ : Expr
• isProofIFFTrue() : Expr
• IsProofIFFTrue : Expr
• isProofLemma() : Expr
• IsProofLemma : Expr
• isProofModusPonens() : Expr
• IsProofModusPonens : Expr
• isProofModusPonensOEQ() : Expr
• IsProofModusPonensOEQ : Expr
• isProofMonotonicity() : Expr
• IsProofMonotonicity : Expr
• isProofNNFNeg() : Expr
• IsProofNNFNeg : Expr
• isProofNNFPos() : Expr
• IsProofNNFPos : Expr
• isProofNNFStar() : Expr
• IsProofNNFStar : Expr
• isProofOrElimination() : Expr
• IsProofOrElimination : Expr
• isProofPullQuant() : Expr
• IsProofPullQuant : Expr
• isProofPullQuantStar() : Expr
• IsProofPullQuantStar : Expr
• isProofPushQuant() : Expr
• IsProofPushQuant : Expr
• isProofQuantInst() : Expr
• IsProofQuantInst : Expr
• isProofQuantIntro() : Expr
• IsProofQuantIntro : Expr
• isProofReflexivity() : Expr
• IsProofReflexivity : Expr
• isProofRewrite() : Expr
• IsProofRewrite : Expr
• isProofRewriteStar() : Expr
• IsProofRewriteStar : Expr
• isProofSkolemize() : Expr
• IsProofSkolemize : Expr
• isProofSymmetry() : Expr
• IsProofSymmetry : Expr
• isProofTheoryLemma() : Expr
• IsProofTheoryLemma : Expr
• isProofTransitivity() : Expr
• IsProofTransitivity : Expr
• isProofTransitivityStar() : Expr
• IsProofTransitivityStar : Expr
• isProofTrue() : Expr
• IsProofTrue : Expr
• isProofUnitResolution() : Expr
• IsProofUnitResolution : Expr
• isQuantifier() : AST
• IsQuantifier : AST
• isRatNum() : Expr
• IsRatNum : Expr
• isReal() : Expr
• IsReal : Expr
• isRealIsInt() : Expr
• IsRealIsInt : Expr
• isRealToInt() : Expr
• IsRealToInt : Expr
• isRelation() : Expr
• IsRelation : Expr
• isRelationalJoin() : Expr
• IsRelationalJoin : Expr
• isRelationClone() : Expr
• IsRelationClone : Expr
• isRelationComplement() : Expr
• IsRelationComplement : Expr
• isRelationFilter() : Expr
• IsRelationFilter : Expr
• isRelationNegationFilter() : Expr
• IsRelationNegationFilter : Expr
• isRelationProject() : Expr
• IsRelationProject : Expr
• isRelationRename() : Expr
• IsRelationRename : Expr
• isRelationSelect() : Expr
• IsRelationSelect : Expr
• isRelationStore() : Expr
• IsRelationStore : Expr
• isRelationUnion() : Expr
• IsRelationUnion : Expr
• isRelationWiden() : Expr
• IsRelationWiden : Expr
• isRemainder() : 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
• IsSelect : Expr
• isSetComplement() : Expr
• IsSetComplement : Expr
• isSetDifference() : Expr
• IsSetDifference : Expr
• isSetIntersect() : Expr
• IsSetIntersect : Expr
• isSetSubset() : Expr
• IsSetSubset : Expr
• isSetUnion() : Expr
• IsSetUnion : Expr
• isSort() : AST
• IsSort : AST
• isStore() : Expr
• IsStore : Expr
• isStringSymbol() : Symbol
• IsStringSymbol() : Symbol
• isSub() : Expr
• IsSub : Expr
• isTrue() : Expr
• IsTrue : Expr
• isUInt() : Statistics.Entry
• IsUInt : Statistics.Entry
• isUMinus() : Expr
• IsUMinus : Expr
• isUnderApproximation() : Goal
• IsUnderApproximation : Goal
• isUniversal() : Quantifier
• IsUniversal : Quantifier
• isVar() : AST
• IsVar : AST
• isWellSorted() : Expr
• IsWellSorted : Expr
• isXor() : Expr
• IsXor : Expr
• isZero() : FPNumRef
• ite : expr