| add | |
| 1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| 2 (Function) | Satchmo.Binary.Op.Fixed |
| add_with_carry | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| and | Satchmo.Boolean |
| assert | Satchmo.Boolean |
| atleast | Satchmo.Counting |
| atmost | Satchmo.Counting |
| bits | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| Boolean | Satchmo.Boolean |
| boolean | Satchmo.Boolean |
| Booleans | Satchmo.Boolean |
| constant | |
| 1 (Function) | Satchmo.Boolean |
| 2 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| Decode | Satchmo.Code |
| decode | Satchmo.Code |
| Decoder | Satchmo.Code, Satchmo.Solve |
| equals | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| exactly | Satchmo.Counting |
| iszero | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| make | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| monadic | Satchmo.Boolean |
| not | Satchmo.Boolean |
| Number | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| number | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| or | Satchmo.Boolean |
| restricted | Satchmo.Binary.Op.Fixed |
| SAT | Satchmo.Boolean |
| shift | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| solve | Satchmo.Solve |
| times | |
| 1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| 2 (Function) | Satchmo.Binary.Op.Fixed |
| times1 | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| width | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| xor | Satchmo.Boolean |