| Natural | Satchmo.SMT.Exotic.Domain |
| negate | |
| 1 (Function) | Satchmo.Integer |
| 2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| negative | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| nicht | Satchmo.Data |
| nonNegative | |
| 1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 2 (Function) | Satchmo.PolynomialSOS |
| nonnegative | Satchmo.SMT.Exotic.Semiring.Class, Satchmo.SMT.Exotic.Semiring |
| not | Satchmo.Boolean |
| note | Satchmo.MonadSAT, Satchmo.Boolean |
| not_minus_infinite | Satchmo.SMT.Exotic.Arctic.Integer |
| null | Satchmo.Polynomial |
| Number | |
| 1 (Type/Class) | Satchmo.Unary |
| 2 (Type/Class) | Satchmo.Integer.Difference |
| 3 (Type/Class) | Satchmo.Integer |
| 4 (Type/Class) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 5 (Type/Class) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| number | |
| 1 (Function) | Satchmo.Unary |
| 2 (Function) | Satchmo.Integer |
| 3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 4 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| numClauses | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
| Numeric | Satchmo.Numeric |
| NumPoly | Satchmo.Polynomial |
| NumPolynomialN | Satchmo.PolynomialN |
| numVars | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |