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

L | What4.Serialize.Printer
LabeledPred |
1 (Type/Class) | What4.LabeledPred
2 (Data Constructor) | What4.LabeledPred
labeledPred | What4.LabeledPred
labeledPredMsg | What4.LabeledPred
lambdaTerm | What4.Protocol.SMTWriter
latches | What4.Expr.VarIdentification
LatchVarKind | What4.Expr.App, What4.Expr.Builder, What4.Expr
Le | What4.Protocol.VerilogWriter.AST
le |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SemiRing
leCallSite | What4.Serialize.Log
leLevel | What4.Serialize.Log
lemmaFloatPrecisionIsPos | What4.BaseTypes, What4.Interface
lemmaMul | What4.BaseTypes, What4.Interface
leMsg | What4.Serialize.Log
length | What4.Utils.Word16String
Lenient | What4.Protocol.SMTWriter
leqAdd | What4.BaseTypes, What4.Interface
leqAdd2 | What4.BaseTypes, What4.Interface
leqAddPos | What4.BaseTypes, What4.Interface
LeqMap | What4.Utils.LeqMap
leqMulCongr | What4.BaseTypes, What4.Interface
leqMulMono | What4.BaseTypes, What4.Interface
leqMulPos | What4.BaseTypes, What4.Interface
LeqProof |
1 (Type/Class) | What4.BaseTypes, What4.Interface
2 (Data Constructor) | What4.BaseTypes, What4.Interface
leqProof | What4.BaseTypes, What4.Interface
leqRefl | What4.BaseTypes, What4.Interface
leqSub | What4.BaseTypes, What4.Interface
leqSub2 | What4.BaseTypes, What4.Interface
leqSucc | What4.BaseTypes, What4.Interface
leqTrans | What4.BaseTypes, What4.Interface
leqZero | What4.BaseTypes, What4.Interface
lessThanAsymmetric | What4.BaseTypes, What4.Interface
lessThanIrreflexive | What4.BaseTypes, What4.Interface
letBinder | What4.Protocol.SMTLib2.Syntax
letExpr | What4.Protocol.SMTWriter
leThreadId | What4.Serialize.Log
leTime | What4.Serialize.Log
lg | What4.Utils.Arithmetic
lgCeil | What4.Utils.Arithmetic
LHS |
1 (Type/Class) | What4.Protocol.VerilogWriter.AST
2 (Data Constructor) | What4.Protocol.VerilogWriter.AST
LHSBit | What4.Protocol.VerilogWriter.AST
lhsDoc | What4.Protocol.VerilogWriter.ABCVerilog
liftST | What4.Utils.MonadST
LinearArithTheory | What4.Expr.AppTheory, What4.Expr
lineBufferedOutputStream | What4.Utils.HandleReader
listOptSty | What4.Config
litBool | What4.Protocol.VerilogWriter.AST
litBV | What4.Protocol.VerilogWriter.AST
LittleEndian | What4.Utils.Endian
Ln_10 | What4.SpecialFunctions
Ln_2 | What4.SpecialFunctions
Log | What4.SpecialFunctions
Log10 | What4.SpecialFunctions
Log10_E | What4.SpecialFunctions
Log1p | What4.SpecialFunctions
Log2 | What4.SpecialFunctions
Log2_E | What4.SpecialFunctions
logCallback | What4.Solver.Adapter, What4.Solver
logCallbackVerbose | What4.Solver.Adapter, What4.Solver
LogCfg | What4.Serialize.Log
LogData |
1 (Type/Class) | What4.Solver.Adapter, What4.Solver
2 (Data Constructor) | What4.Solver.Adapter, What4.Solver
logEndWith | What4.Serialize.Log
logErrorStream | What4.Utils.Streams
LogEvent |
1 (Type/Class) | What4.Serialize.Log
2 (Data Constructor) | What4.Serialize.Log
logHandle | What4.Solver.Adapter, What4.Solver
Logic |
1 (Type/Class) | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
2 (Data Constructor) | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
logIO | What4.Serialize.Log
logIOWith | What4.Serialize.Log
LogLevel | What4.Serialize.Log
logM | What4.Serialize.Log
LogMsg | What4.Serialize.Log
logReason | What4.Solver.Adapter, What4.Solver
logSolverEvent | What4.Interface
logTrace | What4.Serialize.Log
logVerbosity | What4.Solver.Adapter, What4.Solver
lookup |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Expr.ArrayUpdateMap
lookupArray | What4.Expr.GroundEval, What4.Expr
lookupBindingOfSymbol | What4.Expr.Builder
lookupGE | What4.Utils.LeqMap
lookupGT | What4.Utils.LeqMap
lookupIdx | What4.Expr.Builder
lookupIdxValue | What4.Expr.Builder
lookupLE | What4.Utils.LeqMap
lookupLT | What4.Utils.LeqMap
lookupSymbolOfBinding | What4.Expr.Builder
lookupWordMap | What4.WordMap
lower | What4.Utils.Versions
lshr |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain.Bitwise
3 (Function) | What4.Utils.BVDomain
Lt | What4.Protocol.VerilogWriter.AST
lt |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.SemiRing