Index - W
| Weight | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |
| width | |
| 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 |