| 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 |
| not | Satchmo.Boolean |
| note | Satchmo.MonadSAT, Satchmo.Boolean |
| null | |
| 1 (Function) | Satchmo.Polynomial |
| 2 (Function) | Satchmo.Set.Op, Satchmo.Set |
| 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 |