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 - S

safeSymbol | What4.Symbol, What4.Interface
sameTerm | What4.Expr.App
SApp | What4.Protocol.SExp
Sat | What4.SatResult, What4.Solver
SAtom | What4.Protocol.SExp
satQueryError | What4.Interface
satQueryReason | What4.Interface
satQueryResult | What4.Interface
satQuerySolverName | What4.Interface
SatResponse | What4.Protocol.SMTLib2.Parse
SatResult | What4.SatResult, What4.Solver
sbMakeExpr | What4.Expr.Builder
sbNonceExpr | What4.Expr.Builder
sbounds |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
SBVToFloat | What4.Expr.App, What4.Expr.Builder, What4.Expr
sbvToFloat |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
SBVToInteger | What4.Expr.App, What4.Expr.Builder, What4.Expr
sbvToInteger |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
SBVToIntegerFn | What4.Expr.MATLAB
sbvToReal | What4.Interface
scalarMul | What4.Expr.Builder
scale |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
3 (Function) | What4.Expr.WeightedSum
scaledVar | What4.Expr.WeightedSum
scalMult | What4.Protocol.VerilogWriter.AST
sciLit | What4.Interface
Scope | What4.Expr.VarIdentification
sdiv |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
SearchStrategy | What4.Utils.ResolveBounds.BV
select |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Utils.BVDomain.Arith
3 (Function) | What4.Utils.BVDomain.Bitwise
4 (Function) | What4.Utils.BVDomain
SelectArray | What4.Expr.App, What4.Expr.Builder, What4.Expr
SemiRing | What4.SemiRing, What4.Expr
SemiRingBase | What4.SemiRing
semiRingBase | What4.SemiRing
SemiRingBV | What4.SemiRing
SemiRingBVRepr | What4.SemiRing, What4.Expr
SemiRingInteger | What4.SemiRing
SemiRingIntegerRepr | What4.SemiRing, What4.Expr
SemiRingLe | What4.Expr.App, What4.Expr.Builder, What4.Expr
SemiRingLiteral | What4.Expr.App, What4.Expr.Builder, What4.Expr
SemiRingProd | What4.Expr.App, What4.Expr.Builder, What4.Expr
SemiRingProduct | What4.Expr.WeightedSum
SemiRingReal | What4.SemiRing
SemiRingRealRepr | What4.SemiRing, What4.Expr
SemiRingRepr | What4.SemiRing, What4.Expr
SemiRingSum | What4.Expr.App, What4.Expr.Builder, What4.Expr
SemiRingView | What4.Expr.App
sendCheck | What4.Solver.Yices
sendCheckExistsForall | What4.Solver.Yices
serializeBaseType | What4.Serialize.Printer
serializeExpr | What4.Serialize.Printer
serializeExprWithConfig | What4.Serialize.Printer
serializeSymFn | What4.Serialize.Printer
serializeSymFnWithConfig | What4.Serialize.Printer
Session |
1 (Type/Class) | What4.Protocol.SMTLib2
2 (Data Constructor) | What4.Protocol.SMTLib2
sessionResponse | What4.Protocol.SMTLib2
sessionWriter | What4.Protocol.SMTLib2
SetArray | What4.Expr.App, What4.Expr.Builder, What4.Expr
setBoolOpt | What4.Config
setCurrentProgramLoc | What4.Interface
setDefaultLogicAndOptions | What4.Protocol.SMTLib2
setIntegerOpt | What4.Config
setLogic |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Protocol.SMTLib2
setOpt | What4.Config
setOptCommand | What4.Protocol.SMTWriter
setOption |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Config
3 (Function) | What4.Protocol.SMTLib2
setParam | What4.Solver.Yices
setProduceModels |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Protocol.SMTLib2
setSolverLogListener | What4.Interface
setUnicodeOpt | What4.Config
setYicesParams | What4.Solver.Yices
set_opt_default | What4.Config
set_opt_onset | What4.Config
SExp | What4.Protocol.SExp
SExpr | What4.Serialize.Printer, What4.Serialize.Parser
sExpToString | What4.Protocol.SExp
sext |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain.Bitwise
3 (Function) | What4.Utils.BVDomain
4 (Function) | What4.Expr.UnaryBV
SFloat |
1 (Type/Class) | What4.SFloat
2 (Data Constructor) | What4.SFloat
SFloatBinArith | What4.SFloat
SFloatRel | What4.SFloat
shl |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain.Bitwise
3 (Function) | What4.Utils.BVDomain
shouldUnfold | What4.Interface
showPrettyArg | What4.Expr.App
shutdownSolver | What4.Protocol.SMTLib2
shutdownSolverProcess | What4.Protocol.Online
signed | What4.Protocol.VerilogWriter.AST
signedBVBounds |
1 (Function) | What4.Interface
2 (Function) | What4.SWord
signedClamp | What4.BaseTypes, What4.Interface
signedWideMultiplyBV | What4.Interface
SimpleWordMap | What4.WordMap
simplify | What4.Expr.Simplify
Sin | What4.SpecialFunctions
SingleFloat | What4.InterpretedFloatingPoint
SingleFloatRepr | What4.InterpretedFloatingPoint
SingleRange | What4.Utils.AbstractDomains, What4.Interface
singleRange | What4.Utils.AbstractDomains
singleton |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Utils.BVDomain.Arith
3 (Function) | What4.Utils.BVDomain.Bitwise
4 (Function) | What4.Utils.BVDomain.XOR
5 (Function) | What4.Utils.BVDomain
6 (Function) | What4.Utils.LeqMap
7 (Function) | What4.Utils.Word16String
8 (Function) | What4.Expr.ArrayUpdateMap
9 (Function) | What4.Expr.StringSeq
Sinh | What4.SpecialFunctions
size |
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
6 (Function) | What4.Expr.UnaryBV
skipSpaceOrNewline | What4.Protocol.SExp
slt |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
3 (Function) | What4.Expr.UnaryBV
smokeTest | What4.Solver.Adapter, What4.Solver
smtAbductNextResult | What4.Protocol.SMTWriter
smtAbductResult | What4.Protocol.SMTWriter
smtAckResult | What4.Protocol.SMTLib2
smtEvalBool | What4.Protocol.SMTWriter
smtEvalBV | What4.Protocol.SMTWriter
smtEvalBvArray | What4.Protocol.SMTWriter
SMTEvalBVArrayFn | What4.Protocol.SMTWriter
SMTEvalBVArrayWrapper |
1 (Type/Class) | What4.Protocol.SMTWriter
2 (Data Constructor) | What4.Protocol.SMTWriter
smtEvalFloat | What4.Protocol.SMTWriter
SMTEvalFunctions |
1 (Type/Class) | What4.Protocol.SMTWriter
2 (Data Constructor) | What4.Protocol.SMTWriter
smtEvalFuns | What4.Protocol.SMTWriter
smtEvalReal | What4.Protocol.SMTWriter
smtEvalString | What4.Protocol.SMTWriter
smtExprGroundEvalFn | What4.Protocol.SMTWriter
smtFnApp | What4.Protocol.SMTWriter
smtFnUpdate | What4.Protocol.SMTWriter
SMTInfoFlag | What4.Protocol.SMTLib2.Syntax
smtlib2arrayConstant | What4.Protocol.SMTLib2
smtlib2arraySelect | What4.Protocol.SMTLib2
smtlib2arrayType | What4.Protocol.SMTLib2
smtlib2arrayUpdate | What4.Protocol.SMTLib2
smtlib2declareStructCmd | What4.Protocol.SMTLib2
SMTLib2Error | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
SMTLib2Exception | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
smtlib2exitCommand | What4.Protocol.SMTLib2
SMTLib2GenericSolver | What4.Protocol.SMTLib2
SMTLib2InvalidResponse | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
smtlib2Options | What4.Protocol.SMTLib2
SMTLib2ParseError | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
SMTLib2ResponseUnrecognized | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
smtlib2StringAppend | What4.Protocol.SMTLib2
smtlib2StringContains | What4.Protocol.SMTLib2
smtlib2StringIndexOf | What4.Protocol.SMTLib2
smtlib2StringIsPrefixOf | What4.Protocol.SMTLib2
smtlib2StringIsSuffixOf | What4.Protocol.SMTLib2
smtlib2StringLength | What4.Protocol.SMTLib2
smtlib2StringSort | What4.Protocol.SMTLib2
smtlib2StringSubstring | What4.Protocol.SMTLib2
smtlib2StringTerm | What4.Protocol.SMTLib2
smtlib2StructCtor | What4.Protocol.SMTLib2
smtlib2StructProj | What4.Protocol.SMTLib2
smtlib2StructSort | What4.Protocol.SMTLib2
SMTLib2Tweaks | What4.Protocol.SMTLib2
smtlib2tweaks | What4.Protocol.SMTLib2
SMTLib2Unsupported | What4.Protocol.SMTLib2.Response, What4.Protocol.SMTLib2
smtLibEvalFuns | What4.Protocol.SMTLib2
smtParseOptions | What4.Protocol.SMTLib2.Response
SMTReadWriter | What4.Protocol.SMTWriter
SMTResponse | What4.Protocol.SMTLib2.Response
smtSatResult | What4.Protocol.SMTWriter
smtUnsatAssumptionsResult | What4.Protocol.SMTWriter
smtUnsatCoreResult | What4.Protocol.SMTWriter
SMTWriter | What4.Protocol.SMTWriter
smtWriterName | What4.Protocol.SMTWriter
SolverAdapter |
1 (Type/Class) | What4.Solver.Adapter, What4.Solver
2 (Data Constructor) | What4.Solver.Adapter, What4.Solver
solverAdapterOptions | What4.Solver.Adapter, What4.Solver
SolverBounds |
1 (Type/Class) | What4.Utils.Versions
2 (Data Constructor) | What4.Utils.Versions
solverCleanupCallback | What4.Protocol.Online
solverConn | What4.Protocol.Online
solverEarlyUnsat | What4.Protocol.Online
SolverEndSATQuery |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
SolverEndSATQueryRec | What4.Interface
solverErrorBehavior | What4.Protocol.Online
solverEvalFuns | What4.Protocol.Online
SolverEvent | What4.Interface
SolverGoalTimeout |
1 (Type/Class) | What4.Protocol.Online
2 (Data Constructor) | What4.Protocol.Online
solverGoalTimeout | What4.Protocol.Online
solverHandle | What4.Protocol.Online
solverLogFn | What4.Protocol.Online
solverName | What4.Protocol.Online
SolverProcess |
1 (Type/Class) | What4.Protocol.Online
2 (Data Constructor) | What4.Protocol.Online
solverResponse | What4.Protocol.Online
SolverStartSATQuery |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
SolverStartSATQueryRec | What4.Interface
solverStderr | What4.Protocol.Online
solverStdin | What4.Protocol.Online
solverSupportsResetAssertions | What4.Protocol.Online
SolverSymbol | What4.Symbol, What4.Interface
solverSymbolAsText | What4.Symbol
SolverSymbolError | What4.Symbol
solver_adapter_check_sat | What4.Solver.Adapter, What4.Solver
solver_adapter_config_options | What4.Solver.Adapter, What4.Solver
solver_adapter_name | What4.Solver.Adapter, What4.Solver
solver_adapter_write_smt2 | What4.Solver.Adapter, What4.Solver
Some | What4.BaseTypes, What4.Interface
SomeExprSymFn |
1 (Type/Class) | What4.Expr.Builder
2 (Data Constructor) | What4.Expr.Builder
3 (Type/Class) | What4.Serialize.Printer
4 (Data Constructor) | What4.Serialize.Printer
someNat | What4.BaseTypes, What4.Interface
SomeSymFn |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
3 (Type/Class) | What4.Serialize.Parser
4 (Data Constructor) | What4.Serialize.Parser
Sort |
1 (Type/Class) | What4.Protocol.SMTLib2.Parse
2 (Data Constructor) | What4.Protocol.SMTLib2.Parse
3 (Type/Class) | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
4 (Data Constructor) | What4.Protocol.SMTLib2.Syntax, What4.Protocol.SMTLib2
SourcePos | What4.ProgramLoc
sourcePos | What4.ProgramLoc
SpecialFnArg |
1 (Type/Class) | What4.SpecialFunctions
2 (Data Constructor) | What4.SpecialFunctions
SpecialFnArgs |
1 (Type/Class) | What4.SpecialFunctions
2 (Data Constructor) | What4.SpecialFunctions
specialFnDomain | What4.SpecialFunctions
specialFnRange | What4.SpecialFunctions
specialFnSymmetry | What4.SpecialFunctions
SpecialFunction | What4.SpecialFunctions
splitConfig | What4.Config
splitEntry | What4.Utils.LeqMap
splitLeq | What4.Utils.LeqMap
SplitPPExprList | What4.Expr.App
Sqrt_2 | What4.SpecialFunctions
Sqrt_OneHalf | What4.SpecialFunctions
srem |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
sr_compare | What4.SemiRing
SR_Constant | What4.Expr.App
SR_General | What4.Expr.App
sr_hashWithSalt | What4.SemiRing
SR_Prod | What4.Expr.App
SR_Sum | What4.Expr.App
SString | What4.Protocol.SExp
ST | What4.Utils.MonadST
startCaching | What4.Expr.Builder, What4.Expr
startFunctionName | What4.FunctionName
startHandleReader | What4.Utils.HandleReader, What4.Solver.Yices
startOfFile | What4.ProgramLoc
startProcess | What4.Utils.Process
startSolver | What4.Protocol.SMTLib2
startSolverProcess | What4.Protocol.Online
statAllocs | What4.Interface
Statistics |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
statNonLinearOps | What4.Interface
stdErrLogEventConsumer | What4.Serialize.Log
stopCaching | What4.Expr.Builder, What4.Expr
stopHandleReader | What4.Utils.HandleReader
store | What4.Protocol.SMTLib2.Syntax
StoreTerm | What4.Protocol.SMTLib2.Parse
STP |
1 (Type/Class) | What4.Solver.STP, What4.Solver
2 (Data Constructor) | What4.Solver.STP, What4.Solver
stpAdapter | What4.Solver.STP, What4.Solver
stpFeatures | What4.Solver.STP, What4.Solver
stpOptions | What4.Solver.STP, What4.Solver
stpPath | What4.Solver.STP, What4.Solver
stpTimeout | What4.Solver.STP, What4.Solver
streamLines | What4.Utils.HandleReader
Strict | What4.Protocol.SMTWriter
strictParsing | What4.Protocol.SMTWriter
strictSMTParseOpt | What4.Protocol.SMTLib2.Response
strictSMTParsing | What4.Protocol.SMTLib2.Response
string | What4.Serialize.SETokens, What4.Serialize.Printer
string' | What4.Serialize.SETokens
StringAbs | What4.Utils.AbstractDomains
stringAbsConcat | What4.Utils.AbstractDomains
stringAbsContains | What4.Utils.AbstractDomains
stringAbsEmpty | What4.Utils.AbstractDomains
stringAbsIndexOf | What4.Utils.AbstractDomains
stringAbsIsPrefixOf | What4.Utils.AbstractDomains
stringAbsIsSuffixOf | What4.Utils.AbstractDomains
stringAbsJoin | What4.Utils.AbstractDomains
stringAbsLength | What4.Utils.AbstractDomains
stringAbsOverlap | What4.Utils.AbstractDomains
stringAbsSingle | What4.Utils.AbstractDomains
stringAbsSubstring | What4.Utils.AbstractDomains
stringAbsTop | What4.Utils.AbstractDomains
StringAbstractValue | What4.Utils.AbstractDomains
StringAppend | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringAppend | What4.Protocol.SMTWriter
stringConcat | What4.Interface
StringContains | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringContains |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
stringEmpty | What4.Interface
stringEq | What4.Interface
StringExpr |
1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr
2 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr
StringIndexOf | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringIndexOf |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
StringInfo | What4.BaseTypes, What4.Interface
stringInfo | What4.Interface
StringInfoRepr | What4.BaseTypes, What4.Interface
StringIsPrefixOf | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringIsPrefixOf |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
StringIsSuffixOf | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringIsSuffixOf |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
stringIte | What4.Interface
StringLength | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringLength |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
stringLit | What4.Interface
stringLitBounds | What4.Utils.StringLiteral
stringLitContains | What4.Utils.StringLiteral
stringLitEmpty | What4.Utils.StringLiteral
StringLiteral | What4.Utils.StringLiteral, What4.Interface
stringLiteralInfo | What4.Utils.StringLiteral, What4.Interface
stringLitIndexOf | What4.Utils.StringLiteral
stringLitIsPrefixOf | What4.Utils.StringLiteral
stringLitIsSuffixOf | What4.Utils.StringLiteral
stringLitLength | What4.Utils.StringLiteral
stringLitNull | What4.Utils.StringLiteral
stringLitSubstring | What4.Utils.StringLiteral
stringOptSty | What4.Config
stringPPExpr | What4.Expr.App
stringPrettyArg | What4.Expr.App
StringSeq | What4.Expr.StringSeq
stringSeqAbs | What4.Expr.StringSeq
StringSeqEntry | What4.Expr.StringSeq
StringSeqLiteral | What4.Expr.StringSeq
StringSeqTerm | What4.Expr.StringSeq
StringSubstring | What4.Expr.App, What4.Expr.Builder, What4.Expr
stringSubstring |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
stringTerm | What4.Protocol.SMTWriter
StringTheory | What4.Expr.AppTheory, What4.Expr
stringToSExp | What4.Protocol.SExp
StructCtor | What4.Expr.App, What4.Expr.Builder, What4.Expr
structCtor | What4.Protocol.SMTWriter
structEq | What4.Interface
StructField | What4.Expr.App, What4.Expr.Builder, What4.Expr
structField | What4.Interface
structIte | What4.Interface
structProj | What4.Protocol.SMTWriter
StructTheory | What4.Expr.AppTheory, What4.Expr
StructTypeMap | What4.Protocol.SMTWriter
sub | What4.Protocol.SMTLib2.Syntax
subNat | What4.BaseTypes, What4.Interface
subSignedOF | What4.Interface
substituteBoundVars | What4.Interface
substituteSymFns | What4.Interface
subUnsignedOF | What4.Interface
sumAbsValue | What4.Expr.WeightedSum
sumExpr | What4.Protocol.SMTWriter
sumOffset | What4.Expr.WeightedSum
sumRepr | What4.Expr.WeightedSum
supportedFeatures | What4.Protocol.SMTWriter, What4.Protocol.SMTLib2
supportFunctionArguments | What4.Protocol.SMTWriter
supportFunctionDefs | What4.Protocol.SMTWriter
supportQuantifiers | What4.Protocol.SMTWriter
supportsResetAssertions | What4.Protocol.SMTLib2
SupportTermOps | What4.Protocol.SMTWriter
SWord | What4.SWord
SymAnnotation | What4.Interface
SymArray | What4.Interface
Symbol |
1 (Type/Class) | What4.Protocol.SMTLib2.Parse
2 (Type/Class) | What4.Protocol.SMTLib2.Syntax
SymbolBinding | What4.Expr.Builder
SymbolTerm | What4.Protocol.SMTLib2.Parse
SymbolVarBimap | What4.Expr.Builder
SymBV | What4.Interface
SymCplx | What4.Interface
SymEncoder |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
symEncoderType | What4.Interface
SymExpr | What4.Interface, What4.Expr.Builder
SymFloat | What4.Interface
SymFn | What4.Interface
symFnArgTypes | What4.Expr.App, What4.Expr.Builder, What4.Expr
symFnId | What4.Expr.App, What4.Expr.Builder, What4.Expr
SymFnInfo | What4.Expr.App, What4.Expr.Builder, What4.Expr
symFnInfo | What4.Expr.App, What4.Expr.Builder, What4.Expr
symFnLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr
symFnName | What4.Expr.App, What4.Expr.Builder, What4.Expr
symFnReturnType | What4.Expr.App, What4.Expr.Builder, What4.Expr
SymFnWrapper |
1 (Type/Class) | What4.Interface
2 (Data Constructor) | What4.Interface
symFromExpr | What4.Interface
SymInteger | What4.Interface
SymInterpretedFloat | What4.InterpretedFloatingPoint
SymInterpretedFloatType | What4.InterpretedFloatingPoint
SymNat | What4.Interface
SymReal | What4.Interface
SymString | What4.Interface
SymStruct | What4.Interface
symToExpr | What4.Interface
sym_evaluate | What4.Expr.UnaryBV
synthFun | What4.Protocol.SMTLib2.Syntax
synthFunCommand | What4.Protocol.SMTWriter
systemSymbol | What4.Symbol