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

Index - R

range 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain.Bitwise
3 (Function)What4.Utils.BVDomain.XOR
4 (Function)What4.Utils.BVDomain
rangeCheckEqWhat4.Utils.AbstractDomains
rangeCheckLeWhat4.Utils.AbstractDomains
rangeHiBoundWhat4.Utils.AbstractDomains
rangeLowBoundWhat4.Utils.AbstractDomains
rangeMaxWhat4.Utils.AbstractDomains
rangeMinWhat4.Utils.AbstractDomains
rangeScalarMulWhat4.Utils.AbstractDomains
rationalAsIntegerWhat4.Interface
rationalBoundsWhat4.Interface
rationalTermWhat4.Protocol.SMTWriter
RatPPIndexWhat4.Expr.App
RatTermWhat4.Protocol.SMTLib2.Parse
RAVWhat4.Utils.AbstractDomains
ravAddWhat4.Utils.AbstractDomains
ravCheckEqWhat4.Utils.AbstractDomains
ravCheckLeWhat4.Utils.AbstractDomains
ravConcreteRangeWhat4.Utils.AbstractDomains
ravIsIntegerWhat4.Utils.AbstractDomains
ravJoinWhat4.Utils.AbstractDomains
ravMulWhat4.Utils.AbstractDomains
ravRangeWhat4.Utils.AbstractDomains
ravScalarMulWhat4.Utils.AbstractDomains
ravSingleWhat4.Utils.AbstractDomains
ravUnboundedWhat4.Utils.AbstractDomains
readAllLinesWhat4.Utils.HandleReader
readCheckSatResponseWhat4.Protocol.SMTLib2.Parse
readDecimalWhat4.Protocol.ReadDecimal
readGetModelResponseWhat4.Protocol.SMTLib2.Parse
readNextLineWhat4.Utils.HandleReader
RealWhat4.Protocol.SMTLib2.Parse
realAbsWhat4.Interface
RealAbstractValueWhat4.Utils.AbstractDomains
realAddWhat4.Interface
RealATan2What4.Expr.App, What4.Expr.Builder, What4.Expr
realATan2What4.Protocol.SMTWriter
realAtan2What4.Interface
realCeilWhat4.Interface
RealCosWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realCos 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
RealCosFnWhat4.Expr.MATLAB
RealCoshWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realCosh 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
RealDivWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realDiv 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
realEqWhat4.Interface
RealExpWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realExp 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
RealExprWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realExprAsIntegerWhat4.Interface
realFloorWhat4.Interface
realGeWhat4.Interface
realGtWhat4.Interface
realHypotWhat4.Interface
RealIsIntegerWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realIsIntegerWhat4.Protocol.SMTWriter
realIsNonNegWhat4.Interface
RealIsNonZeroFnWhat4.Expr.MATLAB
realIteWhat4.Interface
realLeWhat4.Interface
realLitWhat4.Interface
RealLogWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realLog 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
realLtWhat4.Interface
realMaxWhat4.Interface
realMinWhat4.Interface
realModWhat4.Interface
realMulWhat4.Interface
realNeWhat4.Interface
realNegWhat4.Interface
realOptStyWhat4.Config
RealPartWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realPartWhat4.Utils.Complex
RealPartOfCplxFnWhat4.Expr.MATLAB
realPiWhat4.Interface
realRoundWhat4.Interface
realRoundEvenWhat4.Interface
RealSeqFnWhat4.Expr.MATLAB
RealSinWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realSin 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
RealSinFnWhat4.Expr.MATLAB
RealSinhWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realSinh 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
realSortWhat4.Protocol.SMTLib2.Syntax
realSqWhat4.Interface
RealSqrtWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realSqrtWhat4.Interface
realSubWhat4.Interface
realSumWhat4.Expr.Builder
realTanWhat4.Interface
realTanhWhat4.Interface
realToBVWhat4.Interface
RealToComplexFnWhat4.Expr.MATLAB
RealToFloatWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realToFloat 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
RealToIntegerWhat4.Expr.App, What4.Expr.Builder, What4.Expr
realToIntegerWhat4.Interface
RealToIntegerFnWhat4.Expr.MATLAB
realToNatWhat4.Interface
realToSBVWhat4.Interface
RealToSBVFnWhat4.Expr.MATLAB
RealToUBVFnWhat4.Expr.MATLAB
realTruncWhat4.Interface
RealTypeMapWhat4.Protocol.SMTWriter
realWithMaxOptStyWhat4.Config
realWithMinOptStyWhat4.Config
realWithRangeOptStyWhat4.Config
RealWorldWhat4.Utils.MonadST
realZeroWhat4.Interface
recommendedWhat4.Utils.Versions
recordExprVarsWhat4.Expr.VarIdentification
reduceAppWhat4.Expr.App
reduceIntSumModWhat4.Expr.WeightedSum
ReflWhat4.BaseTypes, What4.Interface
removeVarWhat4.Expr.BoolMap
renderTermWhat4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
resetWhat4.Protocol.Online
resetAssertionsWhat4.Protocol.SMTLib2.Syntax
resetCommandWhat4.Protocol.SMTWriter
resetDeclaredStructsWhat4.Protocol.SMTWriter
resetEntryStackWhat4.Protocol.SMTWriter
resolveSolverPathWhat4.Utils.Process
returnMaybeWhat4.Partial
returnPartialWhat4.Partial
returnUnassignedWhat4.Partial
reversePolaritiesWhat4.Expr.BoolMap
RNAWhat4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter
RNEWhat4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter
rol 
1 (Function)What4.Utils.BVDomain.Bitwise
2 (Function)What4.Utils.BVDomain
RootWhat4.Protocol.PolyRoot
ror 
1 (Function)What4.Utils.BVDomain.Bitwise
2 (Function)What4.Utils.BVDomain
rotateDocWhat4.Protocol.VerilogWriter.ABCVerilog
rotateLeftWhat4.Utils.Arithmetic
rotateRightWhat4.Utils.Arithmetic
roundAwayWhat4.Utils.Arithmetic
RoundEvenRealWhat4.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
RoundRealWhat4.Expr.App, What4.Expr.Builder, What4.Expr
RTNWhat4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter
RTPWhat4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter
RTZWhat4.Utils.FloatHelpers, What4.Interface, What4.Protocol.SMTWriter
runAckActionWhat4.Protocol.SMTWriter
runBoolectorInOverrideWhat4.Solver.Boolector, What4.Solver
runCheckSatWhat4.Protocol.SMTLib2
runCVC4InOverrideWhat4.Solver.CVC4, What4.Solver
runDRealInOverrideWhat4.Solver.DReal, What4.Solver
runExternalABCInOverrideWhat4.Solver.ExternalABC, What4.Solver
runInSandboxWhat4.Protocol.SMTWriter
runPartialTWhat4.Partial
runSolverInOverrideWhat4.Protocol.SMTLib2
runSTPInOverrideWhat4.Solver.STP, What4.Solver
runVerilogMWhat4.Protocol.VerilogWriter.AST
runYicesInOverrideWhat4.Solver.Yices, What4.Solver
runZ3InOverrideWhat4.Solver.Z3, What4.Solver