Index - D
| Decode | Satchmo.Code |
| decode | Satchmo.Code |
| Decoder | Satchmo.MonadSAT, Satchmo.Boolean |
| decode_variable | Satchmo.MonadSAT, Satchmo.Boolean |
| derive | |
| 1 (Function) | Satchmo.Polynomial.Numeric |
| 2 (Function) | Satchmo.Polynomial |
| Dict | |
| 1 (Type/Class) | Satchmo.SMT.Exotic.Dict |
| 2 (Data Constructor) | Satchmo.SMT.Exotic.Dict |
| dict | |
| 1 (Function) | Satchmo.SMT.Exotic.Arctic |
| 2 (Function) | Satchmo.SMT.Exotic.Arctic.Integer |
| 3 (Function) | Satchmo.SMT.Exotic.Fuzzy |
| 4 (Function) | Satchmo.SMT.Exotic.Tropical |
| Difference | Satchmo.Integer.Difference |
| Domain | Satchmo.SMT.Exotic.Domain |
| domain | Satchmo.SMT.Exotic.Dict |
| dot_product | |
| 1 (Function) | Satchmo.Binary.Op.Times |
| 2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| 3 (Function) | Satchmo.Binary.Op.Fixed |
| dot_product' | Satchmo.Binary.Op.Fixed |