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

Index - B

backendPredWhat4.Interface
BaseArrayReprWhat4.BaseTypes, What4.Interface
BaseArrayTypeWhat4.BaseTypes, What4.Interface
BaseBoolReprWhat4.BaseTypes, What4.Interface
BaseBoolTypeWhat4.BaseTypes, What4.Interface
BaseBVReprWhat4.BaseTypes, What4.Interface
BaseBVTypeWhat4.BaseTypes, What4.Interface
BaseComplexReprWhat4.BaseTypes, What4.Interface
BaseComplexTypeWhat4.BaseTypes, What4.Interface
baseDefaultValueWhat4.Interface
BaseEqWhat4.Expr.Builder, What4.Expr
BaseFloatReprWhat4.BaseTypes, What4.Interface
BaseFloatTypeWhat4.BaseTypes, What4.Interface
BaseIntegerReprWhat4.BaseTypes, What4.Interface
BaseIntegerTypeWhat4.BaseTypes, What4.Interface
baseIsConcreteWhat4.Interface
BaseIteWhat4.Expr.Builder, What4.Expr
BaseNatReprWhat4.BaseTypes, What4.Interface
BaseNatTypeWhat4.BaseTypes, What4.Interface
BaseRealReprWhat4.BaseTypes, What4.Interface
BaseRealTypeWhat4.BaseTypes, What4.Interface
BaseStringReprWhat4.BaseTypes, What4.Interface
BaseStringTypeWhat4.BaseTypes, What4.Interface
BaseStructReprWhat4.BaseTypes, What4.Interface
BaseStructTypeWhat4.BaseTypes, What4.Interface
BaseTypeWhat4.BaseTypes, What4.Interface
baseTypeIteWhat4.Interface
BaseTypeReprWhat4.BaseTypes, What4.Interface
BigEndianWhat4.Utils.Endian
BinaryPosWhat4.ProgramLoc
bindVarAsFreeWhat4.Protocol.SMTWriter
bin_appWhat4.Protocol.SMTLib2.Syntax
bit0What4.Protocol.SMTLib2.Syntax
bit1What4.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
bitleWhat4.Utils.BVDomain.Bitwise
BitVecWhat4.Protocol.SMTLib2.Parse
BitvectorTheoryWhat4.Expr.AppTheory, What4.Expr
bitwiseRoundAboveWhat4.Utils.BVDomain
bitwiseRoundBetweenWhat4.Utils.BVDomain
bitwiseToXorDomainWhat4.Utils.BVDomain
BoolWhat4.Protocol.SMTLib2.Parse
Boolector 
1 (Type/Class)What4.Solver.Boolector, What4.Solver
2 (Data Constructor)What4.Solver.Boolector, What4.Solver
boolectorAdapterWhat4.Solver.Boolector, What4.Solver
boolectorFeaturesWhat4.Solver.Boolector, What4.Solver
boolectorOptionsWhat4.Solver.Boolector, What4.Solver
boolectorPathWhat4.Solver.Boolector, What4.Solver
BoolExpr 
1 (Type/Class)What4.Expr.Builder, What4.Expr
2 (Data Constructor)What4.Expr.Builder, What4.Expr
boolExprWhat4.Protocol.SMTWriter
BoolMapWhat4.Expr.BoolMap
BoolMapDualUnitWhat4.Expr.BoolMap
BoolMapTermsWhat4.Expr.BoolMap
BoolMapUnitWhat4.Expr.BoolMap
BoolMapViewWhat4.Expr.BoolMap
boolOptStyWhat4.Config
BoolOrFnWhat4.Expr.MATLAB
BoolPropertyTest.Verification
boolSortWhat4.Protocol.SMTLib2.Syntax
BoolTheoryWhat4.Expr.AppTheory, What4.Expr
BoolTypeMapWhat4.Protocol.SMTWriter
BoundWhat4.Config
boundInnerTermWhat4.Expr.VarIdentification
BoundQuantWhat4.Expr.VarIdentification
boundQuantWhat4.Expr.VarIdentification
boundTopTermWhat4.Expr.VarIdentification
BoundVarWhat4.Interface
boundVarWhat4.Expr.VarIdentification
BoundVarExprWhat4.Expr.Builder, What4.Expr
boundVarsWhat4.Expr.Builder, What4.Expr
builder_list 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.Protocol.SMTWriter
bvAdd 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvaddWhat4.Protocol.SMTLib2.Syntax
bvAnd 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvandWhat4.Protocol.SMTLib2.Syntax
bvAndBitsWhat4.Interface
bvarAbstractValueWhat4.Expr.Builder
bvarIdWhat4.Expr.Builder, What4.Expr
BVArithWhat4.SemiRing
BVArithReprWhat4.SemiRing, What4.Expr
bvarKindWhat4.Expr.Builder, What4.Expr
bvarLocWhat4.Expr.Builder, What4.Expr
bvarNameWhat4.Expr.Builder, What4.Expr
bvarTypeWhat4.Expr.Builder
BVAshrWhat4.Expr.Builder, What4.Expr
bvAshr 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvashrWhat4.Protocol.SMTLib2.Syntax
bvAsSignedIntegerWhat4.SWord
bvAsUnsignedIntegerWhat4.SWord
bvAtBEWhat4.SWord
bvAtLEWhat4.SWord
bvbinaryWhat4.Protocol.SMTLib2.Syntax
BVBitIntervalWhat4.Utils.BVDomain.Bitwise
bvBitreverseWhat4.Interface
BVBitsWhat4.SemiRing
BVBitsReprWhat4.SemiRing, What4.Expr
BVConcatWhat4.Expr.Builder, What4.Expr
bvConcat 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
BVCountLeadingZerosWhat4.Expr.Builder, What4.Expr
bvCountLeadingZeros 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVCountTrailingZerosWhat4.Expr.Builder, What4.Expr
bvCountTrailingZeros 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVDAnyWhat4.Utils.BVDomain.Arith
BVDArithWhat4.Utils.BVDomain
BVDBitwiseWhat4.Utils.BVDomain
bvdecimalWhat4.Protocol.SMTLib2.Syntax
BVDIntervalWhat4.Utils.BVDomain.Arith
bvdMask 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain.XOR
BVDomainWhat4.Utils.BVDomain
bvdomainRangeLimitOptionWhat4.Expr.Builder
BVDXorWhat4.Utils.BVDomain.XOR
bvEq 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVExprWhat4.Expr.Builder, What4.Expr
bvExtractWhat4.Protocol.SMTWriter
BVFillWhat4.Expr.Builder, What4.Expr
bvFill 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVFlavorWhat4.SemiRing, What4.Expr
BVFlavorReprWhat4.SemiRing, What4.Expr
bvForallWhat4.SWord
bvhexadecimalWhat4.Protocol.SMTLib2.Syntax
BVIWhat4.Expr.VarIdentification
BVIndexLitWhat4.IndexLit, What4.Interface, What4.Expr.Builder
bvIsNegWhat4.Interface
bvIsNonzero 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVIsNonZeroFnWhat4.Expr.MATLAB
bvIte 
1 (Function)What4.Interface
2 (Function)What4.SWord
bvJoinWhat4.SWord
bvJoinVectorWhat4.Interface
bvLg2What4.SWord
bvLit 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVLshrWhat4.Expr.Builder, What4.Expr
bvLshr 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvlshrWhat4.Protocol.SMTLib2.Syntax
bvMul 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvmulWhat4.Protocol.SMTLib2.Syntax
bvNeWhat4.Interface
bvNeg 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvnegWhat4.Protocol.SMTLib2.Syntax
bvNot 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvnotWhat4.Protocol.SMTLib2.Syntax
bvNotBitsWhat4.Interface
bvOr 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvorWhat4.Protocol.SMTLib2.Syntax
bvOrAbsWhat4.Expr.Builder
BVOrBitsWhat4.Expr.Builder, What4.Expr
bvOrBitsWhat4.Interface
bvOrInsertWhat4.Expr.Builder
BVOrSetWhat4.Expr.Builder
bvOrSingletonWhat4.Expr.Builder
bvOrToListWhat4.Expr.Builder
bvOrUnionWhat4.Expr.Builder
bvPackBEWhat4.SWord
bvPackLEWhat4.SWord
BVPopcountWhat4.Expr.Builder, What4.Expr
bvPopcount 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVRolWhat4.Expr.Builder, What4.Expr
bvRol 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVRorWhat4.Expr.Builder, What4.Expr
bvRor 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVSdivWhat4.Expr.Builder, What4.Expr
bvSDiv 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvSdivWhat4.Interface
bvsdivWhat4.Protocol.SMTLib2.Syntax
BVSelectWhat4.Expr.Builder, What4.Expr
bvSelectWhat4.Interface
bvSetWhat4.Interface
bvSetBEWhat4.SWord
bvSetLEWhat4.SWord
BVSextWhat4.Expr.Builder, What4.Expr
bvSextWhat4.Interface
bvSgeWhat4.Interface
bvsge 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvSgtWhat4.Interface
bvsgt 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
BVShlWhat4.Expr.Builder, What4.Expr
bvShl 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvshlWhat4.Protocol.SMTLib2.Syntax
bvsignExtendWhat4.Protocol.SMTLib2.Syntax
bvSLeWhat4.Protocol.SMTWriter
bvSleWhat4.Interface
bvsle 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvSliceBEWhat4.SWord
bvSliceLEWhat4.SWord
BVSltWhat4.Expr.Builder, What4.Expr
bvSLtWhat4.Protocol.SMTWriter
bvSltWhat4.Interface
bvslt 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvSortWhat4.Protocol.SMTLib2.Syntax
bvSplitVectorWhat4.Interface
BVSremWhat4.Expr.Builder, What4.Expr
bvSRem 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvSremWhat4.Interface
bvsremWhat4.Protocol.SMTLib2.Syntax
bvSub 
1 (Function)What4.Interface
2 (Function)What4.SWord
3 (Function)What4.Protocol.SMTWriter
bvsubWhat4.Protocol.SMTLib2.Syntax
bvSumWhat4.Expr.Builder
bvSumExprWhat4.Protocol.SMTWriter
bvSwapWhat4.Interface
BVTermWhat4.Protocol.SMTLib2.Parse
bvTermWhat4.Protocol.SMTWriter
BVTestBitWhat4.Expr.Builder, What4.Expr
bvTestBitWhat4.Protocol.SMTWriter
BVToFloatWhat4.Expr.Builder, What4.Expr
bvToFloat 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
BVToIntegerWhat4.Expr.Builder, What4.Expr
bvToInteger 
1 (Function)What4.Interface
2 (Function)What4.SWord
BVToNatWhat4.Expr.Builder, What4.Expr
bvToNatWhat4.Interface
BVToNatFnWhat4.Expr.MATLAB
bvTruncWhat4.Interface
BVTypeMapWhat4.Protocol.SMTWriter
BVUdivWhat4.Expr.Builder, What4.Expr
bvUDiv 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvUdivWhat4.Interface
bvudivWhat4.Protocol.SMTLib2.Syntax
bvUgeWhat4.Interface
bvuge 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvUgtWhat4.Interface
bvugt 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvULeWhat4.Protocol.SMTWriter
bvUleWhat4.Interface
bvule 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
BVUltWhat4.Expr.Builder, What4.Expr
bvULtWhat4.Protocol.SMTWriter
bvUltWhat4.Interface
bvult 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SWord
bvUnaryWhat4.Expr.Builder
BVUnaryTermWhat4.Expr.Builder, What4.Expr
bvUnpackBEWhat4.SWord
bvUnpackLEWhat4.SWord
BVUremWhat4.Expr.Builder, What4.Expr
bvURem 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvUremWhat4.Interface
bvuremWhat4.Protocol.SMTLib2.Syntax
bvWidth 
1 (Function)What4.Interface, What4.Expr.Builder
2 (Function)What4.SWord
bvXor 
1 (Function)What4.SWord
2 (Function)What4.Protocol.SMTWriter
bvxorWhat4.Protocol.SMTLib2.Syntax
bvXorBitsWhat4.Interface
bvzeroExtendWhat4.Protocol.SMTLib2.Syntax
BVZextWhat4.Expr.Builder, What4.Expr
bvZextWhat4.Interface