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

Index - A

absWhat4.Protocol.SMTLib2.Syntax
absAndWhat4.Utils.AbstractDomains
absOrWhat4.Utils.AbstractDomains
AbstractableWhat4.Utils.AbstractDomains
AbstractValueWhat4.Utils.AbstractDomains
AbstractValueWrapper 
1 (Type/Class)What4.Utils.AbstractDomains
2 (Data Constructor)What4.Utils.AbstractDomains
AckActionWhat4.Protocol.SMTWriter
AcknowledgementActionWhat4.Protocol.SMTWriter
add 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.SemiRing
3 (Function)What4.Utils.BVDomain.Arith
4 (Function)What4.Utils.BVDomain
5 (Function)What4.Expr.WeightedSum
6 (Function)What4.Expr.UnaryBV
addCommandWhat4.Protocol.SMTWriter, What4.Solver.Yices
addCommandNoAckWhat4.Protocol.SMTWriter
addCommandsWhat4.Protocol.SMTWriter
addConditionWhat4.Partial
addConstantWhat4.Expr.WeightedSum
addIsLeqWhat4.BaseTypes, What4.Interface
addIsLeqLeft1What4.BaseTypes, What4.Interface
addMulDistribRightWhat4.BaseTypes, What4.Interface
addNatWhat4.BaseTypes, What4.Interface
addPrefixIsLeqWhat4.BaseTypes, What4.Interface
addRangeWhat4.Utils.AbstractDomains
addSignedOFWhat4.Interface
addUnsignedOFWhat4.Interface
addVar 
1 (Function)What4.Expr.BoolMap
2 (Function)What4.Expr.WeightedSum
addVarsWhat4.Expr.WeightedSum
allSupportedWhat4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
allTrueEntriesWhat4.Interface
all_supportedWhat4.Protocol.SMTLib2
alterWhat4.Utils.AnnotatedMap
alterFWhat4.Utils.AnnotatedMap
AlwaysUnfoldWhat4.Interface
and 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain.XOR
4 (Function)What4.Utils.BVDomain
andAllWhat4.Protocol.SMTWriter
andAllOfWhat4.Interface
andPredWhat4.Interface
and_scalarWhat4.Utils.BVDomain.XOR
AnnotatedMapWhat4.Utils.AnnotatedMap
annotateTermWhat4.Interface
AnnotationWhat4.Expr.Builder, What4.Expr
annotationWhat4.Utils.AnnotatedMap
AnOnlineSolver 
1 (Type/Class)What4.Protocol.Online
2 (Data Constructor)What4.Protocol.Online
any 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain
AppWhat4.Expr.Builder, What4.Expr
appWhat4.Protocol.SMTWriter
append 
1 (Function)What4.Utils.Word16String
2 (Function)What4.Expr.StringSeq
AppExpr 
1 (Data Constructor)What4.Expr.Builder, What4.Expr
2 (Type/Class)What4.Expr.Builder, What4.Expr
appExprAppWhat4.Expr.Builder, What4.Expr
appExprIdWhat4.Expr.Builder, What4.Expr
appExprLocWhat4.Expr.Builder, What4.Expr
applySymFnWhat4.Interface
approximateWhat4.Protocol.PolyRoot
AppTheoryWhat4.Expr.AppTheory, What4.Expr
appTheoryWhat4.Expr.AppTheory, What4.Expr
appTypeWhat4.Expr.Builder
app_listWhat4.Protocol.SMTWriter
arithDomainDataWhat4.Utils.BVDomain.Arith, What4.Utils.BVDomain
arithToXorDomainWhat4.Utils.BVDomain
ArrayWhat4.Protocol.SMTLib2.Parse
ArrayConcreteWhat4.Expr.GroundEval, What4.Expr
arrayConst 
1 (Function)What4.Protocol.SMTLib2.Syntax
2 (Function)What4.Protocol.SMTLib2
arrayConstantWhat4.Protocol.SMTWriter
ArrayConstantFnWhat4.Protocol.SMTWriter
arrayEqWhat4.Interface
ArrayFromFnWhat4.Expr.Builder, What4.Expr
arrayFromFnWhat4.Interface
arrayFromMapWhat4.Interface
arrayIteWhat4.Interface
arrayLookupWhat4.Interface
ArrayMapWhat4.Expr.Builder, What4.Expr
arrayMapWhat4.Interface
ArrayMappingWhat4.Expr.GroundEval, What4.Expr
ArrayResultWrapper 
1 (Type/Class)What4.Interface, What4.Expr.Builder
2 (Data Constructor)What4.Interface, What4.Expr.Builder
arraySelect 
1 (Function)What4.Protocol.SMTWriter
2 (Function)What4.Protocol.SMTLib2
arraySortWhat4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
arrayStoreWhat4.Protocol.SMTLib2
ArrayTheoryWhat4.Expr.AppTheory, What4.Expr
ArrayTrueOnEntriesWhat4.Expr.Builder, What4.Expr
arrayTrueOnEntriesWhat4.Interface
arrayTypeIndicesWhat4.BaseTypes, What4.Interface
arrayTypeResultWhat4.BaseTypes, What4.Interface
arrayUpdate 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
arrayUpdateAbsWhat4.Expr.ArrayUpdateMap
arrayUpdateAtIdxLitsWhat4.Interface
ArrayUpdateMapWhat4.Expr.ArrayUpdateMap
asAffineVar 
1 (Function)What4.Expr.WeightedSum
2 (Function)What4.Interface
asAppWhat4.Expr.Builder
asArithDomainWhat4.Utils.BVDomain
asAtomListWhat4.Protocol.SExp
asBitwiseDomainWhat4.Utils.BVDomain
asBVWhat4.Interface
asComplexWhat4.Interface
asConcreteWhat4.Interface
asConjunctionWhat4.Expr.Builder
AsConstWhat4.Protocol.SMTLib2.Parse
asConstant 
1 (Function)What4.Expr.WeightedSum
2 (Function)What4.Expr.UnaryBV
asConstantArrayWhat4.Interface
asConstantPredWhat4.Interface
asDisjunctionWhat4.Expr.Builder
ashr 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain
asIntegerWhat4.Interface
asNatWhat4.Interface
asNegAtomListWhat4.Protocol.SExp
asNonceAppWhat4.Expr.Builder
asProdVarWhat4.Expr.WeightedSum
asRationalWhat4.Interface
assertWhat4.Protocol.SMTLib2.Syntax
assertCommandWhat4.Protocol.SMTWriter
assertForallWhat4.Solver.Yices
assertNamedWhat4.Protocol.SMTLib2.Syntax
assertNamedCommandWhat4.Protocol.SMTWriter
asSingleNatRangeWhat4.Utils.AbstractDomains
asSingleRangeWhat4.Utils.AbstractDomains
asSingleton 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain.XOR
4 (Function)What4.Utils.BVDomain
asSMT2TypeWhat4.Protocol.SMTLib2
asStringWhat4.Interface
asStructWhat4.Interface
assumeWhat4.Protocol.SMTWriter, What4.Protocol.SMTLib2, What4.Solver.Yices
assumedPropTest.Verification
assumeFormulaWhat4.Protocol.SMTWriter
assumeFormulaWithFreshNameWhat4.Protocol.SMTWriter
assumeFormulaWithNameWhat4.Protocol.SMTWriter
AssumingTest.Verification
assumingTest.Verification
AssumptionTest.Verification
AssumptionPropTest.Verification
asVarWhat4.Expr.WeightedSum
asWeightedVarWhat4.Expr.WeightedSum
asXorDomainWhat4.Utils.BVDomain
avCheckEqWhat4.Utils.AbstractDomains
avContainsWhat4.Utils.AbstractDomains
avJoinWhat4.Utils.AbstractDomains
avOverlapWhat4.Utils.AbstractDomains
avSingleWhat4.Utils.AbstractDomains
avTopWhat4.Utils.AbstractDomains