| add | |
| 1 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| 2 (Function) | Satchmo.Unary.Op.Fixed |
| 3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| 4 (Function) | Satchmo.Integer |
| 5 (Function) | Satchmo.Binary.Op.Fixed |
| 6 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 7 (Function) | Satchmo.Polynomial |
| 8 (Function) | Satchmo.PolynomialN |
| add_by_bitonic_sort | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| 3 (Function) | Satchmo.Unary.Op.Fixed |
| add_by_odd_even_merge | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| 3 (Function) | Satchmo.Unary.Op.Fixed |
| add_quadratic | |
| 1 (Function) | Satchmo.Unary.Op.Common |
| 2 (Function) | Satchmo.Unary.Op.Flexible, Satchmo.Unary |
| 3 (Function) | Satchmo.Unary.Op.Fixed |
| add_with_carry | Satchmo.Binary.Op.Flexible, Satchmo.Binary |
| and | Satchmo.Boolean |
| antiselect | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
| apply | Satchmo.Polynomial |
| Arctic | |
| 1 (Type/Class) | Satchmo.SMT.Exotic.Semiring.Arctic |
| 2 (Data Constructor) | Satchmo.SMT.Exotic.Domain |
| 3 (Type/Class) | Satchmo.SMT.Exotic.Arctic |
| 4 (Data Constructor) | Satchmo.SMT.Exotic.Arctic |
| 5 (Type/Class) | Satchmo.SMT.Exotic.Arctic.Integer |
| 6 (Data Constructor) | Satchmo.SMT.Exotic.Arctic.Integer |
| assert | Satchmo.Boolean |
| assertAnd | Satchmo.Boolean |
| assertOr | Satchmo.Boolean |
| assert_fun2 | Satchmo.Boolean |
| assert_fun3 | Satchmo.Boolean |
| assocs | Satchmo.Relation.Data, Satchmo.Relation |
| atleast | Satchmo.Counting |
| atmost | Satchmo.Counting |