make | |
1 (Function) | Satchmo.Unary |
2 (Function) | Satchmo.Integer |
3 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
Map | Satchmo.Map.Data, Satchmo.Map |
max | |
1 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
maximum | |
1 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
member | Satchmo.Set.Data, Satchmo.Set |
min | |
1 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
minimum | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
minus | Satchmo.Numeric |
mirror | Satchmo.Relation.Op, Satchmo.Relation |
monadic | Satchmo.Boolean |
MonadSAT | Satchmo.MonadSAT, Satchmo.Boolean |
msb | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |