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

ubounds |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
udiv |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
uext | What4.Expr.UnaryBV
uintSetWidth | What4.Interface
UIntSetWidthFn | What4.Expr.MATLAB
uintToInt | What4.Interface
UIntToIntFn | What4.Expr.MATLAB
uintToReal | What4.Interface
ult |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
3 (Function) | What4.Expr.UnaryBV
UnaryBV | What4.Expr.UnaryBV, What4.Expr
unaryThreshold | What4.Expr.Builder, What4.Expr
unaryThresholdOption | What4.Expr.Builder
Unassigned | What4.Partial
Unbounded |
1 (Data Constructor) | What4.Utils.AbstractDomains
2 (Data Constructor) | What4.Config
UnboundedRange | What4.Utils.AbstractDomains, What4.Interface
unboundedRange | What4.Utils.AbstractDomains
unconstrainedAbsValue | What4.Expr.App
unEvalBVArrayWrapper | What4.Protocol.SMTWriter
UnfoldConcrete | What4.Interface
UnfoldPolicy | What4.Interface
unGVW | What4.Expr.GroundEval, What4.Expr
Unicode | What4.BaseTypes, What4.Interface
UnicodeLiteral | What4.Utils.StringLiteral, What4.Interface
UnicodeRepr | What4.BaseTypes, What4.Interface
UnicodeTypeMap | What4.Protocol.SMTWriter
uninterpConstants | What4.Expr.VarIdentification
UninterpFnInfo | What4.Expr.App, What4.Expr.Builder, What4.Expr
UninterpVarKind | What4.Expr.App, What4.Expr.Builder, What4.Expr
union |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Utils.BVDomain.Arith
3 (Function) | What4.Utils.BVDomain.Bitwise
4 (Function) | What4.Utils.BVDomain
5 (Function) | What4.Utils.LeqMap
unionWith | What4.Utils.AnnotatedMap
unionWithKeyMaybe | What4.Utils.AnnotatedMap
Unknown | What4.SatResult, What4.Solver
UnknownResponse | What4.Protocol.SMTLib2.Parse
unknowns | What4.Utils.BVDomain.Arith
Unop |
1 (Data Constructor) | What4.Protocol.VerilogWriter.AST
2 (Type/Class) | What4.Protocol.VerilogWriter.AST
unop | What4.Protocol.VerilogWriter.AST
unopDoc | What4.Protocol.VerilogWriter.ABCVerilog
unPartial | What4.Partial
unsafeSetAbstractValue | What4.Interface
Unsat | What4.SatResult, What4.Solver
UnsatResponse | What4.Protocol.SMTLib2.Parse
unsignedBVBounds |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
unsignedClamp | What4.BaseTypes, What4.Interface
unsignedEntries | What4.Expr.UnaryBV
unsignedRanges | What4.Expr.UnaryBV
unsignedWideMultiplyBV | What4.Interface
unSort | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
UnsupportedFloat |
1 (Type/Class) | What4.SFloat
2 (Data Constructor) | What4.SFloat
unWrap | What4.Expr.BoolMap
unwrapArrayResult | What4.Interface, What4.Expr.Builder
unwrapAV | What4.Utils.AbstractDomains
unwrapCV | What4.Utils.AbstractDomains
un_app | What4.Protocol.SMTLib2.Syntax
UpdateArray | What4.Expr.App, What4.Expr.Builder, What4.Expr
upper | What4.Utils.Versions
urem |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
useBitvectors | What4.ProblemFeatures
useComputableReals | What4.ProblemFeatures
useDefinedFunctions | What4.ProblemFeatures
useExistForall | What4.ProblemFeatures
useFloatingPoint | What4.ProblemFeatures
useIntegerArithmetic | What4.ProblemFeatures
useLinearArithmetic | What4.ProblemFeatures
useNonlinearArithmetic | What4.ProblemFeatures
useProduceAbducts | What4.ProblemFeatures
useQuantifiers | What4.ProblemFeatures
userState | What4.Expr.Builder, What4.Expr
userSymbol | What4.Symbol, What4.Interface
useStrings | What4.ProblemFeatures
useStructs | What4.ProblemFeatures
useSymbolicArrays | What4.ProblemFeatures
useUninterpFunctions | What4.ProblemFeatures
useUnsatAssumptions | What4.ProblemFeatures
useUnsatCores | What4.ProblemFeatures