identity | Satchmo.Relation.Data, Satchmo.Relation |
ifThenElse | Satchmo.Boolean |
ifThenElseM | Satchmo.Boolean |
implies | |
1 (Function) | Satchmo.Boolean |
2 (Function) | Satchmo.Relation.Prop, Satchmo.Relation |
increment | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
indices | Satchmo.Relation.Data, Satchmo.Relation |
info | Satchmo.SMT.Exotic.Dict |
intersection | Satchmo.Relation.Op, Satchmo.Relation |
irreflexive | Satchmo.Relation.Prop, Satchmo.Relation |
isNull | |
1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
2 (Function) | Satchmo.Polynomial |
iszero | |
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 |