| elems | |
| 1 (Function) | Satchmo.Array |
| 2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
| 3 (Function) | Satchmo.Map.Data, Satchmo.Map |
| 4 (Function) | Satchmo.Set.Data, Satchmo.Set |
| emit | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.External, Satchmo.SAT.Mini, Satchmo.SAT.Tmpfile, Satchmo.SAT |
| empty | Satchmo.Relation.Prop, Satchmo.Relation |
| encode | Satchmo.Boolean |
| eq | |
| 1 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 3 (Function) | Satchmo.Integer |
| 4 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| equal | Satchmo.Numeric |
| equals | |
| 1 (Function) | Satchmo.Boolean |
| 2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 3 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 4 (Function) | Satchmo.Relation.Prop, Satchmo.Relation |
| 5 (Function) | Satchmo.PolynomialN |
| 6 (Function) | Satchmo.Polynomial |
| 7 (Function) | Satchmo.Set.Op, Satchmo.Set |
| 8 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| equals2 | Satchmo.Boolean |
| exactly | |
| 1 (Function) | Satchmo.Counting.Direct |
| 2 (Function) | Satchmo.Counting.Unary |
| 3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |
| exists | Satchmo.Boolean |
| Exponents | Satchmo.PolynomialN |