what4-1.5.1: 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 - R

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