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 |