Clause | Satchmo.Data |
clause | Satchmo.Data |
clauses | Satchmo.Data |
CNF | Satchmo.Data |
cnf | Satchmo.Data |
Coefficient | Satchmo.PolynomialN |
coefficients | Satchmo.Polynomial |
common2 | Satchmo.Set.Data, Satchmo.Set |
complement | Satchmo.Relation.Op, Satchmo.Relation |
complete | Satchmo.Relation.Prop, Satchmo.Relation |
compose | |
1 (Function) | Satchmo.Polynomial.Numeric |
2 (Function) | Satchmo.Polynomial |
Constant | |
1 (Data Constructor) | Satchmo.Boolean |
2 (Type/Class) | Satchmo.Numeric |
constant | |
1 (Function) | Satchmo.Array |
2 (Function) | Satchmo.Boolean |
3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
4 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
5 (Function) | Satchmo.Numeric |
6 (Function) | Satchmo.Map.Data, Satchmo.Map |
7 (Function) | Satchmo.Integer |
8 (Function) | Satchmo.Polynomial |
9 (Function) | Satchmo.Set.Data, Satchmo.Set |
10 (Function) | Satchmo.Unary |
constantTerm | |
1 (Function) | Satchmo.Polynomial.Numeric |
2 (Function) | Satchmo.Polynomial |
constantWidth | |
1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
count | Satchmo.Counting.Binary, Satchmo.Counting |
Create | Satchmo.Numeric |
create | Satchmo.Numeric |