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

Index - F

falseWhat4.Protocol.SMTLib2.Syntax
falsePredWhat4.Interface
fillrightWhat4.Utils.BVDomain.Arith
filter 
1 (Function)What4.Utils.AnnotatedMap
2 (Function)What4.Expr.ArrayUpdateMap
filterAsyncWhat4.Utils.Process
filterGtWhat4.Utils.LeqMap
filterLtWhat4.Utils.LeqMap
findExecutableWhat4.Utils.Environment
findExprToRemoveWhat4.Expr.App
findMaxWhat4.Utils.LeqMap
findMinWhat4.Utils.LeqMap
findSolverPathWhat4.Utils.Process
findSubstringWhat4.Utils.Word16String
FixedPPExprWhat4.Expr.App
FlagsWhat4.Expr.Builder, What4.Expr
FloatAbsWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatAbs 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatAddWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatAdd 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatCastWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatCast 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatDivWhat4.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 (Type/Class)What4.Expr.App, What4.Expr.Builder
2 (Data Constructor)What4.Expr.App, What4.Expr.Builder, What4.Expr
FloatFMAWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatFMA 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatFpApartWhat4.Interface
FloatFpEqWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatFpEq 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatFpUnorderedWhat4.Interface
FloatFromBinaryWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatFromBinary 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatFromIntegerWhat4.Utils.FloatHelpers
floatFromRationalWhat4.Utils.FloatHelpers
floatGeWhat4.Interface
floatGtWhat4.Interface
FloatIEEEWhat4.Expr.Builder, What4.Expr
FloatIEEEReprWhat4.Expr.Builder, What4.Expr
FloatInfoWhat4.InterpretedFloatingPoint
FloatInfoReprWhat4.InterpretedFloatingPoint
FloatInfoToBitWidthWhat4.InterpretedFloatingPoint
floatInfoToBVTypeReprWhat4.InterpretedFloatingPoint
FloatInfoToPrecisionWhat4.InterpretedFloatingPoint
floatInfoToPrecisionReprWhat4.InterpretedFloatingPoint
FloatingPointWhat4.Protocol.SMTLib2.Parse
FloatingPointPrecisionWhat4.BaseTypes, What4.Interface
FloatingPointPrecisionReprWhat4.BaseTypes, What4.Interface
FloatingPointTheoryWhat4.Expr.AppTheory, What4.Expr
FloatIsInfWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsInf 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsNaNWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNaN 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsNegWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNeg 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsNormWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsNorm 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsPosWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsPos 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsSubnormWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsSubnorm 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatIsZeroWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatIsZero 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatIteWhat4.Interface
FloatLeWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatLe 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatLitWhat4.Interface
floatLitRationalWhat4.Interface
FloatLtWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatLt 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatMaxWhat4.Interface
floatMinWhat4.Interface
FloatModeWhat4.Expr.Builder, What4.Expr
FloatModeReprWhat4.Expr.Builder, What4.Expr
FloatMulWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatMul 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatNaNWhat4.Interface
floatNeWhat4.Interface
FloatNegWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatNeg 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatNInfWhat4.Interface
floatNZeroWhat4.Interface
floatPInfWhat4.Interface
FloatPrecisionWhat4.BaseTypes, What4.Interface
floatPrecisionWhat4.Interface
FloatPrecisionBitsWhat4.BaseTypes, What4.Interface
FloatPrecisionReprWhat4.BaseTypes, What4.Interface
floatPrecisionToBVTypeWhat4.BaseTypes, What4.Interface
FloatPrecisionToInfoWhat4.InterpretedFloatingPoint
floatPrecisionToInfoReprWhat4.InterpretedFloatingPoint
floatPZeroWhat4.Interface
FloatRealWhat4.Expr.Builder, What4.Expr
FloatRealReprWhat4.Expr.Builder, What4.Expr
FloatRemWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatRem 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatRoundWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatRound 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatRoundToIntWhat4.Utils.FloatHelpers
FloatSqrtWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatSqrt 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatSubWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatSub 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatTermWhat4.Protocol.SMTWriter
FloatToBinaryWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatToBinaryWhat4.Interface
FloatToBVWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatToBV 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
floatToIntegerWhat4.Utils.FloatHelpers
floatToRationalWhat4.Utils.FloatHelpers
FloatToRealWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatToReal 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatToSBVWhat4.Expr.App, What4.Expr.Builder, What4.Expr
floatToSBV 
1 (Function)What4.Interface
2 (Function)What4.Protocol.SMTWriter
FloatTypeMapWhat4.Protocol.SMTWriter
FloatUninterpretedWhat4.Expr.Builder, What4.Expr
FloatUninterpretedReprWhat4.Expr.Builder, What4.Expr
FloorRealWhat4.Expr.App, What4.Expr.Builder, What4.Expr
FnAppWhat4.Expr.App, What4.Expr.Builder, What4.Expr
fnArgTypesWhat4.Interface
FnArrayTypeMapWhat4.Protocol.SMTWriter
fnReturnTypeWhat4.Interface
FnSymbolBindingWhat4.Expr.Builder
FnTheoryWhat4.Expr.AppTheory, What4.Expr
foldl'What4.Utils.Word16String
foldlWithKey'What4.Utils.LeqMap
ForallWhat4.Expr.App, What4.Expr.Builder, What4.Expr
forallWhat4.Protocol.SMTLib2.Syntax
ForallBoundWhat4.Expr.VarIdentification
forallExprWhat4.Protocol.SMTWriter
forallPredWhat4.Interface
forallQuantifiersWhat4.Expr.VarIdentification
forgetModelAndCoreWhat4.SatResult, What4.Solver
fp80ToBitsWhat4.InterpretedFloatingPoint
fp80ToRationalWhat4.InterpretedFloatingPoint
fpAbsWhat4.SFloat
fpActualWhat4.SFloat
fpAddWhat4.SFloat
fpAsLitWhat4.SFloat
fpDivWhat4.SFloat
fpEqWhat4.SFloat
fpEqIEEEWhat4.SFloat
fpExpectedWhat4.SFloat
fpFMAWhat4.SFloat
fpFreshWhat4.SFloat
fpFromBinaryWhat4.SFloat
fpFromIntegerWhat4.SFloat
fpFromLitWhat4.SFloat
fpFromRationalWhat4.SFloat
fpFromRationalLitWhat4.SFloat
fpFromRealWhat4.SFloat
fpGtIEEEWhat4.SFloat
fpIsInfWhat4.SFloat
fpIsNaNWhat4.SFloat
fpIsNegWhat4.SFloat
fpIsNormWhat4.SFloat
fpIsSubnormWhat4.SFloat
fpIsZeroWhat4.SFloat
fpIteWhat4.SFloat
fpLtIEEEWhat4.SFloat
fpMaxWhat4.SFloat
fpMinWhat4.SFloat
fpMulWhat4.SFloat
fpNaNWhat4.SFloat
fpNegWhat4.SFloat
fpNegInfWhat4.SFloat
fpOptsWhat4.Utils.FloatHelpers
fppOptsWhat4.Utils.FloatHelpers
fpPosInfWhat4.SFloat
fpReprWhat4.SFloat
fpReprOfWhat4.SFloat
fpRoundWhat4.SFloat
fpSizeWhat4.SFloat
fpSqrtWhat4.SFloat
fpSubWhat4.SFloat
fpToBinaryWhat4.SFloat
fpToRationalWhat4.SFloat
fpToRealWhat4.SFloat
FPTypeError 
1 (Type/Class)What4.SFloat
2 (Data Constructor)What4.SFloat
fpWhoWhat4.SFloat
freshBoundedBVWhat4.Interface
freshBoundedIntWhat4.Interface
freshBoundedNatWhat4.Interface
freshBoundedRealWhat4.Interface
freshBoundedSBVWhat4.Interface
freshBoundVarWhat4.Interface
freshBoundVarNameWhat4.Protocol.SMTWriter
freshBVWhat4.SWord
freshConstantWhat4.Interface
freshFloatBoundVarWhat4.InterpretedFloatingPoint
freshFloatConstantWhat4.InterpretedFloatingPoint
freshFloatLatchWhat4.InterpretedFloatingPoint
freshIdentifierWhat4.Protocol.VerilogWriter.AST
freshLatchWhat4.Interface
freshNatWhat4.Interface
freshTotalUninterpFnWhat4.Interface
fromAscEltList 
1 (Function)What4.Utils.BVDomain.Arith
2 (Function)What4.Utils.BVDomain
fromAscList 
1 (Function)What4.Utils.AnnotatedMap
2 (Function)What4.Expr.ArrayUpdateMap
fromChar16LitWhat4.Utils.StringLiteral
fromChar8LitWhat4.Utils.StringLiteral
fromConcreteBoolWhat4.Concrete
fromConcreteBVWhat4.Concrete
fromConcreteComplexWhat4.Concrete
fromConcreteIntegerWhat4.Concrete
fromConcreteRealWhat4.Concrete
fromConcreteStringWhat4.Concrete
fromDistinctAscListWhat4.Utils.LeqMap
fromDistinctDescListWhat4.Utils.LeqMap
fromLEByteStringWhat4.Utils.Word16String
fromTermsWhat4.Expr.WeightedSum
fromTextWhat4.Protocol.SMTWriter
fromUnicodeLitWhat4.Utils.StringLiteral
fromVarsWhat4.Expr.BoolMap
fromXorDomainWhat4.Utils.BVDomain
fromYicesTextWhat4.Protocol.PolyRoot
funArgsWhat4.Protocol.SMTLib2.Parse
FunctionDefinitionWhat4.Protocol.SMTWriter
FunctionNameWhat4.FunctionName
functionNameWhat4.FunctionName
functionNameFromTextWhat4.FunctionName
funDefWhat4.Protocol.SMTLib2.Parse
funResultSortWhat4.Protocol.SMTLib2.Parse
funSymbolWhat4.Protocol.SMTLib2.Parse