satchmo-2.8.2: SAT encoding monad

Index - C

Clause 
1 (Type/Class)Satchmo.Data
2 (Data Constructor)Satchmo.Data
clauseSatchmo.Data
clausesSatchmo.Data
CNFSatchmo.Data
cnfSatchmo.Data
CoefficientSatchmo.PolynomialN
coefficientsSatchmo.Polynomial
common2Satchmo.Set.Data, Satchmo.Set
complementSatchmo.Relation.Op, Satchmo.Relation
completeSatchmo.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.Boolean
2 (Function)Satchmo.Unary
3 (Function)Satchmo.Numeric
4 (Function)Satchmo.Integer
5 (Function)Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
6 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
7 (Function)Satchmo.Polynomial
8 (Function)Satchmo.Set.Data, Satchmo.Set
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
CreateSatchmo.Numeric
createSatchmo.Numeric