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 |
| Difference | Satchmo.Integer.Difference |
| difference | Satchmo.Set.Op, Satchmo.Set |
| disjoint | Satchmo.Relation.Prop, Satchmo.Relation |
| 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 |