| 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 |
| unaryThresholdOption | What4.Expr.Builder |
| Unassigned | What4.Partial |
| Unbounded | |
| 1 (Data Constructor) | What4.Utils.AbstractDomains |
| 2 (Data Constructor) | What4.Config |
| 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 |
| 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 |
| 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 |
| useExistForall | What4.ProblemFeatures |
| useFloatingPoint | What4.ProblemFeatures |
| useIntegerArithmetic | What4.ProblemFeatures |
| useLinearArithmetic | What4.ProblemFeatures |
| useNonlinearArithmetic | What4.ProblemFeatures |
| useQuantifiers | What4.ProblemFeatures |
| userSymbol | What4.Symbol, What4.Interface |
| useStrings | What4.ProblemFeatures |
| useStructs | What4.ProblemFeatures |
| useSymbolicArrays | What4.ProblemFeatures |
| useUnsatAssumptions | What4.ProblemFeatures |
| useUnsatCores | What4.ProblemFeatures |