| iBVToFloat | What4.InterpretedFloatingPoint |
| Ident | What4.Protocol.VerilogWriter.AST |
| ident | What4.Serialize.SETokens, What4.Serialize.Printer |
| ident' | What4.Serialize.SETokens |
| identDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| Identifier | What4.Protocol.VerilogWriter.AST |
| IdxCache | What4.Expr.Builder |
| idxCacheEval | What4.Expr.Builder |
| idxCacheEval' | What4.Expr.Builder |
| IExp | |
| 1 (Data Constructor) | What4.Protocol.VerilogWriter.AST |
| 2 (Type/Class) | What4.Protocol.VerilogWriter.AST |
| iexpDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| iexpType | What4.Protocol.VerilogWriter.AST |
| IfEqTerm | What4.Protocol.SMTLib2.Parse |
| iFloatAbs | What4.InterpretedFloatingPoint |
| iFloatAdd | What4.InterpretedFloatingPoint |
| iFloatBaseTypeRepr | What4.InterpretedFloatingPoint |
| iFloatCast | What4.InterpretedFloatingPoint |
| iFloatDiv | What4.InterpretedFloatingPoint |
| iFloatEq | What4.InterpretedFloatingPoint |
| iFloatFMA | What4.InterpretedFloatingPoint |
| iFloatFpApart | What4.InterpretedFloatingPoint |
| iFloatFpEq | What4.InterpretedFloatingPoint |
| iFloatFromBinary | What4.InterpretedFloatingPoint |
| iFloatGe | What4.InterpretedFloatingPoint |
| iFloatGt | What4.InterpretedFloatingPoint |
| iFloatIsInf | What4.InterpretedFloatingPoint |
| iFloatIsNaN | What4.InterpretedFloatingPoint |
| iFloatIsNeg | What4.InterpretedFloatingPoint |
| iFloatIsNorm | What4.InterpretedFloatingPoint |
| iFloatIsPos | What4.InterpretedFloatingPoint |
| iFloatIsSubnorm | What4.InterpretedFloatingPoint |
| iFloatIsZero | What4.InterpretedFloatingPoint |
| iFloatIte | What4.InterpretedFloatingPoint |
| iFloatLe | What4.InterpretedFloatingPoint |
| iFloatLitDouble | What4.InterpretedFloatingPoint |
| iFloatLitLongDouble | What4.InterpretedFloatingPoint |
| iFloatLitRational | What4.InterpretedFloatingPoint |
| iFloatLitSingle | What4.InterpretedFloatingPoint |
| iFloatLt | What4.InterpretedFloatingPoint |
| iFloatMax | What4.InterpretedFloatingPoint |
| iFloatMin | What4.InterpretedFloatingPoint |
| iFloatMul | What4.InterpretedFloatingPoint |
| iFloatNaN | What4.InterpretedFloatingPoint |
| iFloatNe | What4.InterpretedFloatingPoint |
| iFloatNeg | What4.InterpretedFloatingPoint |
| iFloatNInf | What4.InterpretedFloatingPoint |
| iFloatNZero | What4.InterpretedFloatingPoint |
| iFloatPInf | What4.InterpretedFloatingPoint |
| iFloatPZero | What4.InterpretedFloatingPoint |
| iFloatRem | What4.InterpretedFloatingPoint |
| iFloatRound | What4.InterpretedFloatingPoint |
| iFloatSpecialFunction | What4.InterpretedFloatingPoint |
| iFloatSpecialFunction0 | What4.InterpretedFloatingPoint |
| iFloatSpecialFunction1 | What4.InterpretedFloatingPoint |
| iFloatSpecialFunction2 | What4.InterpretedFloatingPoint |
| iFloatSqrt | What4.InterpretedFloatingPoint |
| iFloatSub | What4.InterpretedFloatingPoint |
| iFloatToBinary | What4.InterpretedFloatingPoint |
| iFloatToBV | What4.InterpretedFloatingPoint |
| iFloatToReal | What4.InterpretedFloatingPoint |
| iFloatToSBV | What4.InterpretedFloatingPoint |
| ImagPart | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| imagPart | What4.Utils.Complex |
| ImagPartOfCplxFn | What4.Expr.MATLAB |
| ImmediateExit | What4.Protocol.Online |
| implies | What4.Protocol.SMTLib2.Syntax |
| impliesExpr | What4.Protocol.SMTWriter |
| impliesPred | What4.Interface |
| Incl | What4.SpecialFunctions |
| Inclusive | |
| 1 (Data Constructor) | What4.Utils.AbstractDomains |
| 2 (Data Constructor) | What4.Config |
| incNat | What4.BaseTypes, What4.Interface |
| incOccurrence | What4.Expr.App |
| IncrHash | What4.Utils.IncrHash |
| index | What4.Utils.Word16String |
| IndexLit | What4.IndexLit, What4.Interface, What4.Expr.Builder |
| indexLit | What4.Interface |
| IndicesInRange | What4.Expr.MATLAB |
| Info | What4.Serialize.Log |
| InfoKeyword | What4.Protocol.SMTLib2.Syntax |
| initialConfig | What4.Config |
| initializationLoc | What4.ProgramLoc |
| initModuleState | What4.Protocol.VerilogWriter.AST |
| inlineDefineFun | What4.Interface |
| inNewFrame | What4.Protocol.Online, What4.Solver.Yices |
| inNewFrame2Close | What4.Protocol.Online |
| inNewFrame2Open | What4.Protocol.Online |
| inNewFrameWithVars | What4.Protocol.Online |
| Input | What4.Protocol.VerilogWriter.AST |
| inputDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| insert | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Utils.LeqMap |
| 3 (Function) | What4.Expr.ArrayUpdateMap |
| insertIdxValue | What4.Expr.Builder |
| insertWordMap | What4.WordMap |
| instantiate | What4.Expr.UnaryBV |
| Int | What4.Protocol.SMTLib2.Parse |
| int | What4.Serialize.SETokens, What4.Serialize.Printer |
| IntAbs | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| intAbs | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| intAbsRange | What4.Utils.AbstractDomains |
| intAdd | What4.Interface |
| IntDiv | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| intDiv | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| IntDivisible | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| intDivisible | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| intDivRange | What4.Utils.AbstractDomains |
| integerBounds | What4.Interface |
| IntegerExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| integerOptSty | What4.Config |
| integerTerm | What4.Protocol.SMTWriter |
| IntegerToBV | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| integerToBV | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| integerToNat | What4.Interface |
| IntegerToReal | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| integerToReal | What4.Interface |
| IntegerToRealFn | What4.Expr.MATLAB |
| IntegerTypeMap | What4.Protocol.SMTWriter |
| integerWithMaxOptSty | What4.Config |
| integerWithMinOptSty | What4.Config |
| integerWithRangeOptSty | What4.Config |
| intEq | What4.Interface |
| InternalPos | What4.ProgramLoc |
| intersection | What4.Utils.BVDomain.Bitwise |
| interval | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise |
| 3 (Function) | What4.Utils.BVDomain.XOR |
| IntervalRange | What4.Utils.AbstractDomains, What4.Interface |
| IntIndexLit | What4.IndexLit, What4.Interface, What4.Expr.Builder |
| intIte | What4.Interface |
| intLe | What4.Interface |
| IntLeFn | What4.Expr.MATLAB |
| intLit | What4.Interface |
| intLt | What4.Interface |
| intMax | What4.Interface |
| intMin | What4.Interface |
| IntMod | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| intMod | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| intModRange | What4.Utils.AbstractDomains |
| intMul | What4.Interface |
| intNeg | What4.Interface |
| IntSeqFn | What4.Expr.MATLAB |
| intSetWidth | What4.Interface |
| IntSetWidthFn | What4.Expr.MATLAB |
| intSort | What4.Protocol.SMTLib2.Syntax |
| intSub | What4.Interface |
| intSum | What4.Expr.Builder |
| IntTerm | What4.Protocol.SMTLib2.Parse |
| intToUInt | What4.Interface |
| IntToUIntFn | What4.Expr.MATLAB |
| intValue | What4.BaseTypes, What4.Interface |
| InvalidRange | |
| 1 (Type/Class) | What4.Interface |
| 2 (Data Constructor) | What4.Interface |
| iRealToFloat | What4.InterpretedFloatingPoint |
| iSBVToFloat | What4.InterpretedFloatingPoint |
| isEq | What4.Interface |
| IsEqFn | What4.Expr.MATLAB |
| IsExpr | What4.Interface |
| IsExprBuilder | What4.Interface |
| isInconsistent | What4.Expr.BoolMap |
| isInfixOf | What4.Utils.Word16String |
| isInt | What4.Protocol.SMTLib2.Syntax |
| isInteger | What4.Interface |
| IsIntegerFn | What4.Expr.MATLAB |
| IsInterpretedFloatExprBuilder | What4.InterpretedFloatingPoint |
| IsInterpretedFloatSymExprBuilder | What4.InterpretedFloatingPoint |
| isNonLinearApp | What4.Expr.App |
| isNonZero | What4.Interface |
| isNull | What4.Expr.BoolMap |
| isPosNat | What4.BaseTypes, What4.Interface |
| isPow2 | What4.Utils.Arithmetic |
| isPrefixOf | What4.Utils.Word16String |
| isReal | What4.Interface |
| isSat | What4.SatResult, What4.Solver |
| isSuffixOf | What4.Utils.Word16String |
| IsSymExprBuilder | What4.Interface |
| IsSymFn | What4.Interface |
| isUltSumCommonEquiv | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain |
| isUnknown | What4.SatResult, What4.Solver |
| isUnsat | What4.SatResult, What4.Solver |
| isZero | What4.Expr.WeightedSum |
| IsZeroNat | What4.BaseTypes, What4.Interface |
| isZeroNat | What4.BaseTypes, What4.Interface |
| isZeroOrGT1 | What4.BaseTypes, What4.Interface |
| ite | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.Protocol.SMTWriter |
| iteList | What4.Interface |
| Item | What4.Protocol.VerilogWriter.AST |
| iteM | What4.Interface |
| itePred | What4.Interface |
| itePredM | What4.Interface |
| iteSize | What4.Expr.App, What4.Expr.Builder |