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 - E

E | What4.SpecialFunctions
efSolveCommand | What4.Solver.Yices
empty |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Utils.LeqMap
3 (Function) | What4.Utils.Word16String
4 (Function) | What4.Expr.ArrayUpdateMap
EmptyExprBuilderState |
1 (Type/Class) | What4.Expr
2 (Data Constructor) | What4.Expr
emptySolverBounds | What4.Utils.Versions
emptySymbol | What4.Symbol, What4.Interface
emptySymbolVarBimap | What4.Expr.Builder
emptyWordMap | What4.WordMap
Endian | What4.Utils.Endian
entryStackHeight | What4.Protocol.SMTWriter
enumOptSty | What4.Config
Eq | What4.Protocol.VerilogWriter.AST
eq |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SemiRing
3 (Function) | What4.Utils.BVDomain.Arith
4 (Function) | What4.Utils.BVDomain.Bitwise
5 (Function) | What4.Utils.BVDomain
6 (Function) | What4.Expr.UnaryBV
eqBy | What4.Utils.AnnotatedMap
eqPred | What4.Interface
EqualArrayRange | What4.Expr.App, What4.Expr.Builder, What4.Expr
EqualityDefinition | What4.Protocol.SMTWriter
Err | What4.Partial
Error | What4.Serialize.Log
ErrorBehavior |
1 (Data Constructor) | What4.Protocol.SMTLib2.Syntax
2 (Type/Class) | What4.Protocol.Online
eval |
1 (Function) | What4.Expr.WeightedSum
2 (Function) | What4.Solver.Yices
evalBoundVars | What4.Expr.Builder
evalGroundApp | What4.Expr.GroundEval
evalGroundExpr | What4.Expr.GroundEval
evalGroundNonceApp | What4.Expr.GroundEval
evalM | What4.Expr.WeightedSum
evalMatlabSolverFn | What4.Expr.MATLAB
evaluate | What4.Expr.UnaryBV
EvenFunction | What4.SpecialFunctions
Excl | What4.SpecialFunctions
Exclusive | What4.Config
executablePathOptSty | What4.Config
execVerilogM | What4.Protocol.VerilogWriter.AST
ExistBound | What4.Expr.VarIdentification
existQuantifiers | What4.Expr.VarIdentification
Exists | What4.Expr.App, What4.Expr.Builder, What4.Expr
existsExpr | What4.Protocol.SMTWriter
ExistsForall | What4.Expr.VarIdentification
ExistsOnly | What4.Expr.VarIdentification
existsPred | What4.Interface
exists_ | What4.Protocol.SMTLib2.Syntax
exit | What4.Protocol.SMTLib2.Syntax
Exp |
1 (Data Constructor) | What4.SpecialFunctions
2 (Type/Class) | What4.Protocol.VerilogWriter.AST
Exp10 | What4.SpecialFunctions
Exp2 | What4.SpecialFunctions
expandEnvironmentPath | What4.Utils.Environment
expDoc | What4.Protocol.VerilogWriter.ABCVerilog
Expm1 | What4.SpecialFunctions
exponentBits | What4.SFloat
ExponentialSearch | What4.Utils.ResolveBounds.BV
Expr | What4.Expr.App, What4.Expr.Builder, What4.Expr
exprAbsValue | What4.Expr.App
ExprAllocator |
1 (Type/Class) | What4.Expr.Allocator
2 (Data Constructor) | What4.Expr.Allocator
ExprBoundVar | What4.Expr.App, What4.Expr.Builder, What4.Expr
ExprBuilder | What4.Expr.Builder, What4.Expr
exprBuilderFreshConfig | What4.Expr.Builder, What4.Expr
exprBuilderSplitConfig | What4.Expr.Builder, What4.Expr
exprCounter | What4.Expr.Builder, What4.Expr
ExprEquivalent | What4.Serialize.Normalize
ExprEquivResult | What4.Serialize.Normalize
exprLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr
exprMaybeId | What4.Expr.Builder
ExprNormEquivalent | What4.Serialize.Normalize
ExprPPIndex | What4.Expr.App
exprPrettyArg | What4.Expr.App
exprPrettyIndices | What4.Expr.App
ExprRangeBindings | What4.Expr.GroundEval, What4.Expr, What4.Solver.DReal, What4.Solver
exprsToModule | What4.Protocol.VerilogWriter
exprsVerilog | What4.Protocol.VerilogWriter
ExprSymFn |
1 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr
2 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr
ExprSymFnWrapper |
1 (Type/Class) | What4.Expr.Builder
2 (Data Constructor) | What4.Expr.Builder
exprToVerilogExpr | What4.Protocol.VerilogWriter.Backend
exprType | What4.Interface, What4.Expr.Builder
ExprUnequal | What4.Serialize.Normalize
exprUninterpConstants | What4.Interface
expType | What4.Protocol.VerilogWriter.AST
extendConfig | What4.Config
ExternalABC |
1 (Type/Class) | What4.Solver.ExternalABC, What4.Solver
2 (Data Constructor) | What4.Solver.ExternalABC, What4.Solver
externalABCAdapter | What4.Solver.ExternalABC, What4.Solver
extract | What4.Protocol.SMTLib2.Syntax
extractCommon | What4.Expr.WeightedSum