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 |
intersection | |
1 (Function) | Satchmo.Relation.Op, Satchmo.Relation |
2 (Function) | Satchmo.Set.Op, Satchmo.Set |
irreflexive | Satchmo.Relation.Prop, Satchmo.Relation |
isDisjoint | Satchmo.Set.Op, Satchmo.Set |
isNull | |
1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
2 (Function) | Satchmo.Polynomial |
isSingleton | Satchmo.Set.Op, Satchmo.Set |
isSubsetOf | Satchmo.Set.Op, Satchmo.Set |
isSupersetOf | Satchmo.Set.Op, Satchmo.Set |
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 |