| add | |
| 1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| 2 (Function) | Satchmo.Integer |
| 3 (Function) | Satchmo.Binary.Op.Fixed |
| 4 (Function) | Satchmo.PolynomialN |
| 5 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 6 (Function) | Satchmo.Polynomial |
| 7 (Function) | Satchmo.Unary.Op.Fixed |
| 8 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| add_by_bitonic_sort | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Fixed |
| 3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| add_by_odd_even_merge | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Fixed |
| 3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| add_quadratic | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Fixed |
| 3 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| add_with_carry | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| all2 | Satchmo.Set.Data, Satchmo.Set |
| and | Satchmo.Boolean |
| antiselect | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Fixed, Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| apply | Satchmo.Polynomial |
| Array | Satchmo.Array |
| array | Satchmo.Array |
| assert | Satchmo.Boolean |
| assertAnd | Satchmo.Boolean |
| assertOr | Satchmo.Boolean |
| assert_fun2 | Satchmo.Boolean |
| assert_fun3 | Satchmo.Boolean |
| assert_implies_atmost | Satchmo.Counting.Direct |
| assert_implies_exactly | Satchmo.Counting.Direct |
| assocs | |
| 1 (Function) | Satchmo.Array |
| 2 (Function) | Satchmo.Relation.Data, Satchmo.Relation |
| 3 (Function) | Satchmo.Set.Data, Satchmo.Set |
| atleast | |
| 1 (Function) | Satchmo.Counting.Direct |
| 2 (Function) | Satchmo.Counting.Unary |
| 3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |
| atmost | |
| 1 (Function) | Satchmo.Counting.Direct |
| 2 (Function) | Satchmo.Counting.Unary |
| 3 (Function) | Satchmo.Counting.Binary, Satchmo.Counting |