| R | What4.SpecialFunctions |
| range | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise |
| 3 (Function) | What4.Utils.BVDomain.XOR |
| 4 (Function) | What4.Utils.BVDomain |
| rangeCheckEq | What4.Utils.AbstractDomains |
| rangeCheckLe | What4.Utils.AbstractDomains |
| rangeHiBound | What4.Utils.AbstractDomains |
| rangeLowBound | What4.Utils.AbstractDomains |
| rangeMax | What4.Utils.AbstractDomains |
| rangeMin | What4.Utils.AbstractDomains |
| rangeScalarMul | What4.Utils.AbstractDomains |
| rationalAsInteger | What4.Interface |
| rationalBounds | What4.Interface |
| rationalTerm | What4.Protocol.SMTWriter |
| RatPPIndex | What4.Expr.App |
| RatTerm | What4.Protocol.SMTLib2.Parse |
| RAV | What4.Utils.AbstractDomains |
| ravAdd | What4.Utils.AbstractDomains |
| ravCheckEq | What4.Utils.AbstractDomains |
| ravCheckLe | What4.Utils.AbstractDomains |
| ravConcreteRange | What4.Utils.AbstractDomains |
| ravIsInteger | What4.Utils.AbstractDomains |
| ravJoin | What4.Utils.AbstractDomains |
| ravMul | What4.Utils.AbstractDomains |
| ravRange | What4.Utils.AbstractDomains |
| ravScalarMul | What4.Utils.AbstractDomains |
| ravSingle | What4.Utils.AbstractDomains |
| ravUnbounded | What4.Utils.AbstractDomains |
| readAllLines | What4.Utils.HandleReader |
| readBaseTypes | What4.Serialize.Parser |
| readCheckSatResponse | What4.Protocol.SMTLib2.Parse |
| readDecimal | What4.Protocol.ReadDecimal |
| readGetModelResponse | What4.Protocol.SMTLib2.Parse |
| readNextLine | What4.Utils.HandleReader |
| Real | What4.Protocol.SMTLib2.Parse |
| real | What4.Serialize.SETokens, What4.Serialize.Printer |
| realAbs | What4.Interface |
| RealAbstractValue | What4.Utils.AbstractDomains |
| realAdd | What4.Interface |
| realATan2 | What4.Protocol.SMTWriter |
| realAtan2 | What4.Interface |
| RealBound | What4.SpecialFunctions |
| realCeil | What4.Interface |
| realCos | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| RealCosFn | What4.Expr.MATLAB |
| realCosh | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| RealDiv | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realDiv | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| realEq | What4.Interface |
| realExp | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| RealExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realExprAsInteger | What4.Interface |
| realFloor | What4.Interface |
| realGe | What4.Interface |
| realGt | What4.Interface |
| realHypot | What4.Interface |
| RealInterval | |
| 1 (Type/Class) | What4.SpecialFunctions |
| 2 (Data Constructor) | What4.SpecialFunctions |
| RealIsInteger | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realIsInteger | What4.Protocol.SMTWriter |
| realIsNonNeg | What4.Interface |
| RealIsNonZeroFn | What4.Expr.MATLAB |
| realIte | What4.Interface |
| realLe | What4.Interface |
| realLit | What4.Interface |
| realLog | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| realLt | What4.Interface |
| realMax | What4.Interface |
| realMin | What4.Interface |
| realMod | What4.Interface |
| realMul | What4.Interface |
| realNe | What4.Interface |
| realNeg | What4.Interface |
| realOptSty | What4.Config |
| RealPart | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realPart | What4.Utils.Complex |
| RealPartOfCplxFn | What4.Expr.MATLAB |
| realPi | What4.Interface |
| RealPoint | |
| 1 (Data Constructor) | What4.SpecialFunctions |
| 2 (Type/Class) | What4.SpecialFunctions |
| realRound | What4.Interface |
| realRoundEven | What4.Interface |
| RealSeqFn | What4.Expr.MATLAB |
| realSin | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| RealSinFn | What4.Expr.MATLAB |
| realSinh | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| realSort | What4.Protocol.SMTLib2.Syntax |
| RealSpecialFunction | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realSpecialFunction | What4.Interface |
| realSpecialFunction0 | What4.Interface |
| realSpecialFunction1 | What4.Interface |
| realSpecialFunction2 | What4.Interface |
| realSq | What4.Interface |
| RealSqrt | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realSqrt | What4.Interface |
| realSub | What4.Interface |
| realSum | What4.Expr.Builder |
| realTan | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| realTanh | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| realToBV | What4.Interface |
| RealToComplexFn | What4.Expr.MATLAB |
| RealToFloat | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realToFloat | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| RealToInteger | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| realToInteger | What4.Interface |
| RealToIntegerFn | What4.Expr.MATLAB |
| realToNat | What4.Interface |
| realToSBV | What4.Interface |
| RealToSBVFn | What4.Expr.MATLAB |
| RealToUBVFn | What4.Expr.MATLAB |
| realTrunc | What4.Interface |
| RealTypeMap | What4.Protocol.SMTWriter |
| realWithMaxOptSty | What4.Config |
| realWithMinOptSty | What4.Config |
| realWithRangeOptSty | What4.Config |
| RealWorld | What4.Utils.MonadST |
| realZero | What4.Interface |
| recommended | What4.Utils.Versions |
| recordExprVars | What4.Expr.VarIdentification |
| reduceApp | What4.Expr.App |
| reduceIntSumMod | What4.Expr.WeightedSum |
| Refl | What4.BaseTypes, What4.Interface |
| removeVar | What4.Expr.BoolMap |
| renderTerm | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2 |
| reset | What4.Protocol.Online |
| resetAssertions | What4.Protocol.SMTLib2.Syntax |
| resetCommand | What4.Protocol.SMTWriter |
| resetDeclaredStructs | What4.Protocol.SMTWriter |
| resetEntryStack | What4.Protocol.SMTWriter |
| resFreeVarEnv | What4.Serialize.Printer |
| ResolvedSymBV | What4.Utils.ResolveBounds.BV |
| resolveSolverPath | What4.Utils.Process |
| resolveSymBV | What4.Utils.ResolveBounds.BV |
| ResponseStrictness | What4.Protocol.SMTWriter |
| resSExpr | What4.Serialize.Printer |
| resSymFnEnv | What4.Serialize.Printer |
| Result | |
| 1 (Type/Class) | What4.Serialize.Printer |
| 2 (Data Constructor) | What4.Serialize.Printer |
| returnMaybe | What4.Partial |
| returnPartial | What4.Partial |
| returnUnassigned | What4.Partial |
| reversePolarities | What4.Expr.BoolMap |
| RNA | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| RNE | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| rol | |
| 1 (Function) | What4.Utils.BVDomain.Bitwise |
| 2 (Function) | What4.Utils.BVDomain |
| Root | What4.Protocol.PolyRoot |
| ror | |
| 1 (Function) | What4.Utils.BVDomain.Bitwise |
| 2 (Function) | What4.Utils.BVDomain |
| rotateDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| rotateLeft | What4.Utils.Arithmetic |
| rotateRight | What4.Utils.Arithmetic |
| roundAway | What4.Utils.Arithmetic |
| RoundEvenReal | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| RoundingMode | |
| 1 (Data Constructor) | What4.Protocol.SMTLib2.Parse |
| 2 (Type/Class) | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| RoundReal | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| RspErrBehavior | What4.Protocol.SMTLib2.Response |
| RspName | What4.Protocol.SMTLib2.Response |
| RspOutOfMemory | What4.Protocol.SMTLib2.Response |
| RspRsnIncomplete | What4.Protocol.SMTLib2.Response |
| RspUnkReason | What4.Protocol.SMTLib2.Response |
| RspVersion | What4.Protocol.SMTLib2.Response |
| RTN | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| RTP | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| RTZ | What4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter |
| runAckAction | What4.Protocol.SMTWriter |
| runBoolectorInOverride | What4.Solver.Boolector, What4.Solver |
| runCheckSat | What4.Protocol.SMTLib2 |
| runCVC4InOverride | What4.Solver.CVC4, What4.Solver |
| runCVC5InOverride | What4.Solver.CVC5, What4.Solver |
| runCVC5SyGuS | What4.Solver.CVC5 |
| runDRealInOverride | What4.Solver.DReal, What4.Solver |
| runExternalABCInOverride | What4.Solver.ExternalABC, What4.Solver |
| runGetAbducts | What4.Protocol.SMTLib2 |
| runInSandbox | What4.Protocol.SMTWriter |
| runPartialT | What4.Partial |
| runSolverInOverride | What4.Protocol.SMTLib2 |
| runSTPInOverride | What4.Solver.STP, What4.Solver |
| runVerilogM | What4.Protocol.VerilogWriter.AST |
| runYicesInOverride | What4.Solver.Yices, What4.Solver |
| runZ3Horn | What4.Solver.Z3 |
| runZ3InOverride | What4.Solver.Z3, What4.Solver |