what4-1.6.3: 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 - F

false | What4.Protocol.SMTLib2.Syntax
falsePred | What4.Interface
fileLogEventConsumer | What4.Serialize.Log
fillright | What4.Utils.BVDomain.Arith
filter |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Expr.ArrayUpdateMap
filterAsync | What4.Utils.Process
filterGt | What4.Utils.LeqMap
filterLt | What4.Utils.LeqMap
findExecutable | What4.Utils.Environment
findExprToRemove | What4.Expr.App
findMax | What4.Utils.LeqMap
findMin | What4.Utils.LeqMap
findSolverPath | What4.Utils.Process
findSubstring | What4.Utils.Word16String
FixedPPExpr | What4.Expr.App
Flags | What4.Expr.Builder, What4.Expr
float | What4.Serialize.SETokens
FloatAbs | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatAbs |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatAdd | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatAdd |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatCast | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatCast |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatDiv | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatDiv |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatEq |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatExpr |
1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr
2 (Type/Class) | What4.Expr.App, What4.Expr.Builder
FloatFMA | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatFMA |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatFpApart | What4.Interface
FloatFpEq | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatFpEq |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatFpUnordered | What4.Interface
FloatFromBinary | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatFromBinary |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatFromInteger | What4.Utils.FloatHelpers
floatFromRational | What4.Utils.FloatHelpers
floatGe | What4.Interface
floatGt | What4.Interface
FloatIEEE | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatIEEERepr | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatInfo | What4.InterpretedFloatingPoint
FloatInfoRepr | What4.InterpretedFloatingPoint
FloatInfoToBitWidth | What4.InterpretedFloatingPoint
floatInfoToBVTypeRepr | What4.InterpretedFloatingPoint
FloatInfoToPrecision | What4.InterpretedFloatingPoint
floatInfoToPrecisionRepr | What4.InterpretedFloatingPoint
FloatingPoint | What4.Protocol.SMTLib2.Parse
FloatingPointPrecision | What4.BaseTypes, What4.Interface
FloatingPointPrecisionRepr | What4.BaseTypes, What4.Interface
FloatingPointTheory | What4.Expr.AppTheory, What4.Expr
FloatIsInf | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsInf |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsNaN | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNaN |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsNeg | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNeg |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsNorm | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNorm |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsPos | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsPos |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsSubnorm | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsSubnorm |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatIsZero | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsZero |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatIte | What4.Interface
FloatLe | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatLe |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatLit | What4.Interface
floatLitRational | What4.Interface
FloatLt | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatLt |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatMax | What4.Interface
floatMin | What4.Interface
FloatMode | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatModeRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatMul | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatMul |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatNaN | What4.Interface
floatNe | What4.Interface
FloatNeg | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatNeg |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatNInf | What4.Interface
floatNZero | What4.Interface
floatPInf | What4.Interface
FloatPrecision | What4.BaseTypes, What4.Interface
floatPrecision | What4.Interface
FloatPrecisionBits | What4.BaseTypes, What4.Interface
FloatPrecisionRepr | What4.BaseTypes, What4.Interface
floatPrecisionToBVType | What4.BaseTypes, What4.Interface
FloatPrecisionToInfo | What4.InterpretedFloatingPoint
floatPrecisionToInfoRepr | What4.InterpretedFloatingPoint
floatPZero | What4.Interface
FloatReal | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatRealRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatRem | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatRem |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatRound | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatRound |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatRoundToInt | What4.Utils.FloatHelpers
FloatSpecialFunction | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatSpecialFunction | What4.Interface
FloatSqrt | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatSqrt |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatSub | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatSub |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatTerm | What4.Protocol.SMTWriter
FloatToBinary | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatToBinary | What4.Interface
FloatToBV | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatToBV |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
floatToInteger | What4.Utils.FloatHelpers
floatToRational | What4.Utils.FloatHelpers
FloatToReal | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatToReal |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatToSBV | What4.Expr.App, What4.Expr.Builder, What4.Expr
floatToSBV |
1 (Function) | What4.Interface
2 (Function) | What4.Protocol.SMTWriter
FloatTypeMap | What4.Protocol.SMTWriter
FloatUninterpreted | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloatUninterpretedRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr
FloorReal | What4.Expr.App, What4.Expr.Builder, What4.Expr
FnApp | What4.Expr.App, What4.Expr.Builder, What4.Expr
fnArgTypes | What4.Interface
FnArrayTypeMap | What4.Protocol.SMTWriter
fnCompare | What4.Interface
fnReturnType | What4.Interface
FnSymbolBinding | What4.Expr.Builder
fnTestEquality | What4.Interface
FnTheory | What4.Expr.AppTheory, What4.Expr
foldl' | What4.Utils.Word16String
foldlWithKey' | What4.Utils.LeqMap
Forall | What4.Expr.App, What4.Expr.Builder, What4.Expr
ForallBound | What4.Expr.VarIdentification
forallExpr | What4.Protocol.SMTWriter
forallPred | What4.Interface
forallQuantifiers | What4.Expr.VarIdentification
forall_ | What4.Protocol.SMTLib2.Syntax
forgetModelAndCore | What4.SatResult, What4.Solver
fp80ToBits | What4.InterpretedFloatingPoint
fp80ToRational | What4.InterpretedFloatingPoint
fpAbs | What4.SFloat
fpActual | What4.SFloat
fpAdd | What4.SFloat
fpAsLit | What4.SFloat
fpDiv | What4.SFloat
fpEq | What4.SFloat
fpEqIEEE | What4.SFloat
fpExpected | What4.SFloat
fpFMA | What4.SFloat
fpFresh | What4.SFloat
fpFromBinary | What4.SFloat
fpFromInteger | What4.SFloat
fpFromLit | What4.SFloat
fpFromRational | What4.SFloat
fpFromRationalLit | What4.SFloat
fpFromReal | What4.SFloat
fpGtIEEE | What4.SFloat
fpIsInf | What4.SFloat
fpIsNaN | What4.SFloat
fpIsNeg | What4.SFloat
fpIsNorm | What4.SFloat
fpIsSubnorm | What4.SFloat
fpIsZero | What4.SFloat
fpIte | What4.SFloat
fpLtIEEE | What4.SFloat
fpMax | What4.SFloat
fpMin | What4.SFloat
fpMul | What4.SFloat
fpNaN | What4.SFloat
fpNeg | What4.SFloat
fpNegInf | What4.SFloat
fpOpts | What4.Utils.FloatHelpers
fppOpts | What4.Utils.FloatHelpers
fpPosInf | What4.SFloat
fpRepr | What4.SFloat
fpReprOf | What4.SFloat
fpRound | What4.SFloat
fpSize | What4.SFloat
fpSqrt | What4.SFloat
fpSub | What4.SFloat
fpToBinary | What4.SFloat
fpToRational | What4.SFloat
fpToReal | What4.SFloat
FPTypeError |
1 (Type/Class) | What4.SFloat
2 (Data Constructor) | What4.SFloat
fpWho | What4.SFloat
freshBoundedBV | What4.Interface
freshBoundedInt | What4.Interface
freshBoundedNat | What4.Interface
freshBoundedReal | What4.Interface
freshBoundedSBV | What4.Interface
freshBoundVar | What4.Interface
freshBoundVarName | What4.Protocol.SMTWriter
freshBV | What4.SWord
freshConstant | What4.Interface
freshFloatBoundVar | What4.InterpretedFloatingPoint
freshFloatConstant | What4.InterpretedFloatingPoint
freshFloatLatch | What4.InterpretedFloatingPoint
freshIdentifier | What4.Protocol.VerilogWriter.AST
freshLatch | What4.Interface
freshNat | What4.Interface
freshTotalUninterpFn | What4.Interface
fromAscEltList |
1 (Function) | What4.Utils.BVDomain.Arith
2 (Function) | What4.Utils.BVDomain
fromAscList |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Expr.ArrayUpdateMap
fromChar16Lit | What4.Utils.StringLiteral
fromChar8Lit | What4.Utils.StringLiteral
fromConcreteBool | What4.Concrete
fromConcreteBV | What4.Concrete
fromConcreteComplex | What4.Concrete
fromConcreteInteger | What4.Concrete
fromConcreteReal | What4.Concrete
fromConcreteString | What4.Concrete
fromDistinctAscList | What4.Utils.LeqMap
fromDistinctDescList | What4.Utils.LeqMap
fromLEByteString | What4.Utils.Word16String
fromTerms | What4.Expr.WeightedSum
fromText | What4.Protocol.SMTWriter
fromUnicodeLit | What4.Utils.StringLiteral
fromVars | What4.Expr.BoolMap
fromXorDomain | What4.Utils.BVDomain
fromYicesText | What4.Protocol.PolyRoot
funArgs | What4.Protocol.SMTLib2.Parse
FunctionDefinition | What4.Protocol.SMTWriter
FunctionName | What4.FunctionName
functionName | What4.FunctionName
functionNameFromText | What4.FunctionName
FunctionSymmetry | What4.SpecialFunctions
funDef | What4.Protocol.SMTLib2.Parse
funResultSort | What4.Protocol.SMTLib2.Parse
funSymbol | What4.Protocol.SMTLib2.Parse