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

Name | What4.Protocol.SMTLib2.Syntax
named | What4.Serialize.Log
namedIO | What4.Serialize.Log
namedM | What4.Serialize.Log
namedTerm | What4.Protocol.SMTLib2.Syntax
nameResult | What4.Protocol.SMTLib2
nat | What4.Serialize.SETokens, What4.Serialize.Printer
natAdd | What4.Interface
NatCaseEQ | What4.BaseTypes, What4.Interface
NatCaseGT | What4.BaseTypes, What4.Interface
NatCaseLT | What4.BaseTypes, What4.Interface
NatCases | What4.BaseTypes, What4.Interface
NatComparison | What4.BaseTypes, What4.Interface
natDiv | What4.Interface
NatEQ | What4.BaseTypes, What4.Interface
natEq | What4.Interface
natForEach | What4.BaseTypes, What4.Interface
natFromZero | What4.BaseTypes, What4.Interface
NatGT | What4.BaseTypes, What4.Interface
natIte | What4.Interface
natLe | What4.Interface
natLit | What4.Interface
NatLT | What4.BaseTypes, What4.Interface
natLt | What4.Interface
natMod | What4.Interface
natMul | What4.Interface
natMultiply | What4.BaseTypes, What4.Interface
natRec | What4.BaseTypes, What4.Interface
natRecBounded | What4.BaseTypes, What4.Interface
natRecStrictlyBounded | What4.BaseTypes, What4.Interface
natRecStrong | What4.BaseTypes, What4.Interface
NatRepr | What4.BaseTypes, What4.Interface
natSub | What4.Interface
natToInteger | What4.Interface
natToIntegerPure | What4.Interface
natToReal | What4.Interface
natValue | What4.BaseTypes, What4.Interface
Ne | What4.Protocol.VerilogWriter.AST
neg | What4.Expr.UnaryBV
negate |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Utils.BVDomain.Arith
3 (Function) | What4.Utils.BVDomain
negatePolarity | What4.Expr.BoolMap, What4.Expr.Builder
negateRange | What4.Utils.AbstractDomains
Negative | What4.Expr.BoolMap, What4.Expr.VarIdentification, What4.Expr.Builder
NegHalfPi | What4.SpecialFunctions
NegInf | What4.SpecialFunctions
NegOne | What4.SpecialFunctions
NegPi | What4.SpecialFunctions
NeverUnfold | What4.Interface
newCachedStorage | What4.Expr.Allocator
newConnection | What4.Solver.Yices
newDefaultWriter | What4.Protocol.SMTLib2
newExprBuilder | What4.Expr.Builder, What4.Expr
newIdxCache | What4.Expr.Builder
newStorage | What4.Expr.Allocator
newWriter | What4.Protocol.SMTLib2
newWriterConn | What4.Protocol.SMTWriter
nextMultiple | What4.Utils.Arithmetic
nextPow2Multiple | What4.Utils.Arithmetic
NoErr | What4.Partial
noFeatures | What4.ProblemFeatures
NonceApp | What4.Expr.App, What4.Expr.Builder, What4.Expr
NonceAppExpr |
1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr
2 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr
NonceAppExprCtor | What4.Expr.App
nonceAppType | What4.Expr.App, What4.Expr.Builder
nonceExpr | What4.Expr.Allocator
nonceExprAbsValue | What4.Expr.App
nonceExprApp | What4.Expr.App, What4.Expr.Builder, What4.Expr
nonceExprId | What4.Expr.App, What4.Expr.Builder, What4.Expr
nonceExprLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr
nonempty | What4.Utils.BVDomain.Bitwise
NonlinearArithTheory | What4.Expr.AppTheory, What4.Expr
NonZeroNat | What4.BaseTypes, What4.Interface
normExpr | What4.Serialize.Normalize
normSymFn | What4.Serialize.Normalize
NoSymmetry | What4.SpecialFunctions
Not | What4.Protocol.VerilogWriter.AST
not |
1 (Function) | What4.Protocol.SMTLib2.Syntax
2 (Function) | What4.Utils.BVDomain.Arith
3 (Function) | What4.Utils.BVDomain.Bitwise
4 (Function) | What4.Utils.BVDomain
notExpr | What4.Protocol.SMTWriter
NotPred | What4.Expr.App, What4.Expr.Builder, What4.Expr
notPred | What4.Interface
null |
1 (Function) | What4.Utils.AnnotatedMap
2 (Function) | What4.Utils.LeqMap
3 (Function) | What4.Utils.Word16String
4 (Function) | What4.Expr.ArrayUpdateMap
nullAcknowledgementAction | What4.Protocol.SMTWriter, What4.Protocol.SMTLib2
nullProd | What4.Expr.WeightedSum
numeral | What4.Protocol.SMTLib2.Syntax