what4-1.5.1: Solver-agnostic symbolic values support for issuing queries

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- :
- *
- +
- .
- <
- =
- -
- _
- All

Index - I

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