what4-1.6.3: 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 - B

backendPred | What4.Interface
BaseArrayRepr | What4.BaseTypes, What4.Interface
BaseArrayType | What4.BaseTypes, What4.Interface
BaseBoolRepr | What4.BaseTypes, What4.Interface
BaseBoolType | What4.BaseTypes, What4.Interface
BaseBVRepr | What4.BaseTypes, What4.Interface
BaseBVType | What4.BaseTypes, What4.Interface
BaseComplexRepr | What4.BaseTypes, What4.Interface
BaseComplexType | What4.BaseTypes, What4.Interface
baseDefaultValue | What4.Interface
BaseEq | What4.Expr.App, What4.Expr.Builder, What4.Expr
BaseFloatRepr | What4.BaseTypes, What4.Interface
BaseFloatType | What4.BaseTypes, What4.Interface
BaseIntegerRepr | What4.BaseTypes, What4.Interface
BaseIntegerType | What4.BaseTypes, What4.Interface
baseIsConcrete | What4.Interface
BaseIte | What4.Expr.App, What4.Expr.Builder, What4.Expr
BaseRealRepr | What4.BaseTypes, What4.Interface
BaseRealType | What4.BaseTypes, What4.Interface
BaseStringRepr | What4.BaseTypes, What4.Interface
BaseStringType | What4.BaseTypes, What4.Interface
BaseStructRepr | What4.BaseTypes, What4.Interface
BaseStructType | What4.BaseTypes, What4.Interface
BaseType | What4.BaseTypes, What4.Interface
baseTypeIte | What4.Interface
BaseTypeRepr | What4.BaseTypes, What4.Interface
bfStatus | What4.Utils.FloatHelpers
BigEndian | What4.Utils.Endian
BinaryPos | What4.ProgramLoc
BinarySearch | What4.Utils.ResolveBounds.BV
bindVarAsFree | What4.Protocol.SMTWriter
Binop |
1 (Data Constructor) | What4.Protocol.VerilogWriter.AST
2 (Type/Class) | What4.Protocol.VerilogWriter.AST
binop | What4.Protocol.VerilogWriter.AST
binopDoc | What4.Protocol.VerilogWriter.ABCVerilog
binopType | What4.Protocol.VerilogWriter.AST
bin_app | What4.Protocol.SMTLib2.Syntax
Bit | What4.Protocol.VerilogWriter.AST
bit | What4.Protocol.VerilogWriter.AST
bit0 | What4.Protocol.SMTLib2.Syntax
bit1 | What4.Protocol.SMTLib2.Syntax
bitbounds |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain.Bitwise, What4.Utils.BVDomain
3 (Function) | What4.Utils.BVDomain.XOR
bitle | What4.Utils.BVDomain.Bitwise
BitSelect | What4.Protocol.VerilogWriter.AST
bitSelect | What4.Protocol.VerilogWriter.AST
BitVec | What4.Protocol.SMTLib2.Parse
bitvec | What4.Serialize.SETokens, What4.Serialize.Printer
BitvectorTheory | What4.Expr.AppTheory, What4.Expr
bitwiseRoundAbove | What4.Utils.BVDomain
bitwiseRoundBetween | What4.Utils.BVDomain
bitwiseToXorDomain | What4.Utils.BVDomain
Bitwuzla |
1 (Type/Class) | What4.Solver.Bitwuzla, What4.Solver
2 (Data Constructor) | What4.Solver.Bitwuzla, What4.Solver
bitwuzlaAdapter | What4.Solver.Bitwuzla, What4.Solver
bitwuzlaFeatures | What4.Solver.Bitwuzla, What4.Solver
bitwuzlaOptions | What4.Solver.Bitwuzla, What4.Solver
bitwuzlaPath | What4.Solver.Bitwuzla, What4.Solver
bitwuzlaTimeout | What4.Solver.Bitwuzla, What4.Solver
Bool | What4.Protocol.SMTLib2.Parse
bool | What4.Serialize.SETokens, What4.Serialize.Printer
Boolector |
1 (Type/Class) | What4.Solver.Boolector, What4.Solver
2 (Data Constructor) | What4.Solver.Boolector, What4.Solver
boolectorAdapter | What4.Solver.Boolector, What4.Solver
boolectorFeatures | What4.Solver.Boolector, What4.Solver
boolectorOptions | What4.Solver.Boolector, What4.Solver
boolectorPath | What4.Solver.Boolector, What4.Solver
boolectorTimeout | What4.Solver.Boolector, What4.Solver
BoolExpr |
1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr
2 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr
boolExpr | What4.Protocol.SMTWriter
BoolLit | What4.Protocol.VerilogWriter.AST
BoolMap | What4.Expr.BoolMap
BoolMapDualUnit | What4.Expr.BoolMap
BoolMapTerms | What4.Expr.BoolMap
BoolMapUnit | What4.Expr.BoolMap
BoolMapView | What4.Expr.BoolMap
boolOptSty | What4.Config
BoolOrFn | What4.Expr.MATLAB
BoolProperty | Test.Verification
boolSort | What4.Protocol.SMTLib2.Syntax
BoolTheory | What4.Expr.AppTheory, What4.Expr
BoolTypeMap | What4.Protocol.SMTWriter
Bound | What4.Config
boundInnerTerm | What4.Expr.VarIdentification
BoundQuant | What4.Expr.VarIdentification
boundQuant | What4.Expr.VarIdentification
boundTopTerm | What4.Expr.VarIdentification
BoundVar | What4.Interface
boundVar | What4.Expr.VarIdentification
BoundVarExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr
BoundVarMap | What4.Expr.App
boundVars | What4.Expr.App, What4.Expr.Builder, What4.Expr
boundVars' | What4.Expr.App
builder_list |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Protocol.SMTWriter
BVAdd | What4.Protocol.VerilogWriter.AST
bvAdd |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvadd | What4.Protocol.SMTLib2.Syntax
BVAnd | What4.Protocol.VerilogWriter.AST
bvAnd |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvand | What4.Protocol.SMTLib2.Syntax
bvAndBits | What4.Interface
BVar | What4.Expr.App
bvarAbstractValue | What4.Expr.App, What4.Expr.Builder
bvarId | What4.Expr.App, What4.Expr.Builder, What4.Expr
BVArith | What4.SemiRing
BVArithRepr | What4.SemiRing, What4.Expr
bvarKind | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvarLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvarName | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvarType | What4.Expr.App, What4.Expr.Builder
BVAshr | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvAshr |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvashr | What4.Protocol.SMTLib2.Syntax
bvAsSignedInteger | What4.SWord
bvAsUnsignedInteger | What4.SWord
bvAtBE | What4.SWord
bvAtLE | What4.SWord
bvbinary | What4.Protocol.SMTLib2.Syntax
BVBitInterval | What4.Utils.BVDomain.Bitwise
bvBitreverse | What4.Interface
BVBits | What4.SemiRing
BVBitsRepr | What4.SemiRing, What4.Expr
BVConcat | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvConcat |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
BVConcrete | What4.Utils.ResolveBounds.BV
BVConst |
1 (Type/Class) | What4.Protocol.VerilogWriter.AST
2 (Data Constructor) | What4.Protocol.VerilogWriter.AST
BVCountLeadingZeros | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvCountLeadingZeros |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVCountTrailingZeros | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvCountTrailingZeros |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVDAny | What4.Utils.BVDomain.Arith
BVDArith | What4.Utils.BVDomain
BVDBitwise | What4.Utils.BVDomain
bvdecimal | What4.Protocol.SMTLib2.Syntax
BVDInterval | What4.Utils.BVDomain.Arith
BVDiv | What4.Protocol.VerilogWriter.AST
bvdMask |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain.Bitwise
3 (Function) | What4.Utils.BVDomain.XOR
BVDomain | What4.Utils.BVDomain
BVDXor | What4.Utils.BVDomain.XOR
bvEq |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvExtract | What4.Protocol.SMTWriter
BVFill | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvFill |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVFlavor | What4.SemiRing, What4.Expr
BVFlavorRepr | What4.SemiRing, What4.Expr
bvForall | What4.SWord
bvhexadecimal | What4.Protocol.SMTLib2.Syntax
BVI | What4.Expr.VarIdentification
BVIndexLit | What4.IndexLit, What4.Interface, What4.Expr.Builder
bvIsNeg | What4.Interface
bvIsNonzero |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVIsNonZeroFn | What4.Expr.MATLAB
bvIte |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
bvJoin | What4.SWord
bvJoinVector | What4.Interface
bvLg2 | What4.SWord
BVLit | What4.Protocol.VerilogWriter.AST
bvLit |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVLshr | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvLshr |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvlshr | What4.Protocol.SMTLib2.Syntax
BVMul | What4.Protocol.VerilogWriter.AST
bvMul |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvmul | What4.Protocol.SMTLib2.Syntax
bvNe | What4.Interface
bvNeg |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvneg | What4.Protocol.SMTLib2.Syntax
BVNot | What4.Protocol.VerilogWriter.AST
bvNot |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvnot | What4.Protocol.SMTLib2.Syntax
bvNotBits | What4.Interface
bvOne | What4.Interface
BVOr | What4.Protocol.VerilogWriter.AST
bvOr |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvor | What4.Protocol.SMTLib2.Syntax
bvOrAbs | What4.Expr.App, What4.Expr.Builder
BVOrBits | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvOrBits | What4.Interface
bvOrContains | What4.Expr.App
bvOrInsert | What4.Expr.App, What4.Expr.Builder
BVOrNote |
1 (Type/Class) | What4.Expr.App
2 (Data Constructor) | What4.Expr.App
BVOrSet |
1 (Type/Class) | What4.Expr.App, What4.Expr.Builder
2 (Data Constructor) | What4.Expr.App
bvOrSingleton | What4.Expr.App, What4.Expr.Builder
bvOrToList | What4.Expr.App, What4.Expr.Builder
bvOrUnion | What4.Expr.App, What4.Expr.Builder
bvPackBE | What4.SWord
bvPackLE | What4.SWord
BVPopcount | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvPopcount |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVPow | What4.Protocol.VerilogWriter.AST
BVRem | What4.Protocol.VerilogWriter.AST
BVRol | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvRol |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVRor | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvRor |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVRotateL | What4.Protocol.VerilogWriter.AST
BVRotateR | What4.Protocol.VerilogWriter.AST
BVSdiv | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvSDiv |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvSdiv | What4.Interface
bvsdiv | What4.Protocol.SMTLib2.Syntax
BVSelect | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvSelect | What4.Interface
bvSet | What4.Interface
bvSetBE | What4.SWord
bvSetLE | What4.SWord
BVSext | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvSext |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
bvSge | What4.Interface
bvsge |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvSgt | What4.Interface
bvsgt |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
BVShiftL | What4.Protocol.VerilogWriter.AST
BVShiftR | What4.Protocol.VerilogWriter.AST
BVShiftRA | What4.Protocol.VerilogWriter.AST
BVShl | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvShl |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvshl | What4.Protocol.SMTLib2.Syntax
bvsignExtend | What4.Protocol.SMTLib2.Syntax
bvSLe | What4.Protocol.SMTWriter
bvSle | What4.Interface
bvsle |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvSliceBE | What4.SWord
bvSliceLE | What4.SWord
BVSlt | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvSLt | What4.Protocol.SMTWriter
bvSlt | What4.Interface
bvslt |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvSort | What4.Protocol.SMTLib2.Syntax
bvSplitVector | What4.Interface
BVSrem | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvSRem |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvSrem | What4.Interface
bvsrem | What4.Protocol.SMTLib2.Syntax
BVSub | What4.Protocol.VerilogWriter.AST
bvSub |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
3 (Function) | What4.Protocol.SMTWriter
bvsub | What4.Protocol.SMTLib2.Syntax
bvSum | What4.Expr.Builder
bvSumExpr | What4.Protocol.SMTWriter
bvSwap | What4.Interface
BVSymbolic | What4.Utils.ResolveBounds.BV
BVTerm | What4.Protocol.SMTLib2.Parse
bvTerm | What4.Protocol.SMTWriter
BVTestBit | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvTestBit | What4.Protocol.SMTWriter
BVToFloat | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvToFloat |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
BVToInteger | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvToInteger |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
BVToIntegerFn | What4.Expr.MATLAB
bvToNat | What4.Interface
bvTrunc | What4.Interface
BVTypeMap | What4.Protocol.SMTWriter
BVUdiv | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvUDiv |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvUdiv | What4.Interface
bvudiv | What4.Protocol.SMTLib2.Syntax
bvUge | What4.Interface
bvuge |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvUgt | What4.Interface
bvugt |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvULe | What4.Protocol.SMTWriter
bvUle | What4.Interface
bvule |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
BVUlt | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvULt | What4.Protocol.SMTWriter
bvUlt | What4.Interface
bvult |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SWord
bvUnary | What4.Expr.Builder
BVUnaryTerm | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvUnpackBE | What4.SWord
bvUnpackLE | What4.SWord
BVUrem | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvURem |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvUrem | What4.Interface
bvurem | What4.Protocol.SMTLib2.Syntax
bvWidth |
1 (Function) | What4.Interface, What4.Expr.Builder
2 (Function) | What4.SWord
BVXor | What4.Protocol.VerilogWriter.AST
bvXor |
1 (Function) | What4.SWord
2 (Function) | What4.Protocol.SMTWriter
bvxor | What4.Protocol.SMTLib2.Syntax
bvXorBits | What4.Interface
bvZero | What4.Interface
bvzeroExtend | What4.Protocol.SMTLib2.Syntax
BVZext | What4.Expr.App, What4.Expr.Builder, What4.Expr
bvZext |
1 (Function) | What4.Interface
2 (Function) | What4.SWord