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

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
uextWhat4.Expr.UnaryBV
uintSetWidthWhat4.Interface
UIntSetWidthFnWhat4.Expr.MATLAB
uintToIntWhat4.Interface
UIntToIntFnWhat4.Expr.MATLAB
uintToRealWhat4.Interface
ult 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain
3 (Function)What4.Expr.UnaryBV
UnaryBVWhat4.Expr.UnaryBV, What4.Expr
unaryThresholdOptionWhat4.Expr.Builder
UnassignedWhat4.Partial
Unbounded 
1 (Data Constructor)What4.Utils.AbstractDomains
2 (Data Constructor)What4.Config
unboundedNatRangeWhat4.Utils.AbstractDomains
unboundedRangeWhat4.Utils.AbstractDomains
unEvalBVArrayWrapperWhat4.Protocol.SMTWriter
UnfoldConcreteWhat4.Interface
UnfoldPolicyWhat4.Interface
unGVWWhat4.Expr.GroundEval, What4.Expr
UnicodeWhat4.BaseTypes, What4.Interface
UnicodeLiteralWhat4.Utils.StringLiteral, What4.Interface
UnicodeReprWhat4.BaseTypes, What4.Interface
uninterpConstantsWhat4.Expr.VarIdentification
UninterpFnInfoWhat4.Expr.Builder, What4.Expr
UninterpVarKindWhat4.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
unionWithWhat4.Utils.AnnotatedMap
unionWithKeyMaybeWhat4.Utils.AnnotatedMap
UnknownWhat4.SatResult, What4.Solver
UnknownResponseWhat4.Protocol.SMTLib2.Parse
unknownsWhat4.Utils.BVDomain.Arith
unPartialWhat4.Partial
UnsatWhat4.SatResult, What4.Solver
UnsatResponseWhat4.Protocol.SMTLib2.Parse
unsignedBVBounds 
1 (Function)What4.Interface
2 (Function)What4.SWord
unsignedClampWhat4.BaseTypes, What4.Interface
unsignedEntriesWhat4.Expr.UnaryBV
unsignedRangesWhat4.Expr.UnaryBV
unsignedWideMultiplyBVWhat4.Interface
unSortWhat4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
unWrapWhat4.Expr.BoolMap
unwrapArrayResultWhat4.Interface, What4.Expr.Builder
unwrapAVWhat4.Utils.AbstractDomains
unwrapCVWhat4.Utils.AbstractDomains
un_appWhat4.Protocol.SMTLib2.Syntax
UpdateArrayWhat4.Expr.Builder, What4.Expr
urem 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain
useBitvectorsWhat4.ProblemFeatures
useComputableRealsWhat4.ProblemFeatures
useExistForallWhat4.ProblemFeatures
useFloatingPointWhat4.ProblemFeatures
useIntegerArithmeticWhat4.ProblemFeatures
useLinearArithmeticWhat4.ProblemFeatures
useNonlinearArithmeticWhat4.ProblemFeatures
useQuantifiersWhat4.ProblemFeatures
userSymbolWhat4.Symbol, What4.Interface
useStringsWhat4.ProblemFeatures
useStructsWhat4.ProblemFeatures
useSymbolicArraysWhat4.ProblemFeatures
useUnsatAssumptionsWhat4.ProblemFeatures
useUnsatCoresWhat4.ProblemFeatures