Index
| <==> | Test.Util |
| ==> | Test.Util |
| adjoint_on | Test.Function.Invertible, Test.Function |
| annihilative | Test.Operation.Annihilative, Test.Operation |
| annihilative' | Test.Operation.Annihilative, Test.Operation |
| annihilative_on | Test.Operation.Annihilative, Test.Operation |
| annihilative_on' | Test.Operation.Annihilative, Test.Operation |
| antisymmetric | Test.Relation.Symmetric, Test.Relation |
| antisymmetric_on | Test.Relation.Symmetric, Test.Relation |
| antitone | Test.Function.Monotone, Test.Function |
| antitone_on | Test.Function.Monotone, Test.Function |
| associative | Test.Operation.Associative, Test.Operation |
| associative_on | Test.Operation.Associative, Test.Operation |
| asymmetric | Test.Relation.Symmetric, Test.Relation |
| commutative | Test.Operation.Commutative, Test.Operation |
| commutative_on | Test.Operation.Commutative, Test.Operation |
| connex | Test.Relation.Connex, Test.Relation |
| coreflexive | Test.Relation.Reflexive, Test.Relation |
| coreflexive_on | Test.Relation.Reflexive, Test.Relation |
| distributive | Test.Operation.Distributive, Test.Operation |
| distributive' | Test.Operation.Distributive, Test.Operation |
| distributive_on | Test.Operation.Distributive, Test.Operation |
| distributive_on' | Test.Operation.Distributive, Test.Operation |
| equivalent | Test.Function.Equivalent, Test.Function |
| equivalent_on | Test.Function.Equivalent, Test.Function |
| euclidean | Test.Relation.Transitive, Test.Relation |
| euclidean' | Test.Relation.Transitive, Test.Relation |
| idempotent | Test.Function.Idempotent, Test.Function |
| idempotent_k | Test.Function.Idempotent, Test.Function |
| idempotent_on | Test.Function.Idempotent, Test.Function |
| iff | Test.Util |
| injective | Test.Function.Injective, Test.Function |
| injective_on | Test.Function.Injective, Test.Function |
| invertible | Test.Function.Invertible, Test.Function |
| invertible_on | Test.Function.Invertible, Test.Function |
| irreflexive | Test.Relation.Reflexive, Test.Relation |
| monotone | Test.Function.Monotone, Test.Function |
| monotone_on | Test.Function.Monotone, Test.Function |
| neutral | Test.Operation.Neutral, Test.Operation |
| neutral' | Test.Operation.Neutral, Test.Operation |
| neutral_on | Test.Operation.Neutral, Test.Operation |
| neutral_on' | Test.Operation.Neutral, Test.Operation |
| projective | Test.Function.Idempotent, Test.Function |
| projective_on | Test.Function.Idempotent, Test.Function |
| quasireflexive | Test.Relation.Reflexive, Test.Relation |
| reflexive | Test.Relation.Reflexive, Test.Relation |
| Rel | Test.Util |
| semiconnex | Test.Relation.Connex, Test.Relation |
| semiconnex_on | Test.Relation.Connex, Test.Relation |
| symmetric | Test.Relation.Symmetric, Test.Relation |
| transitive | Test.Relation.Transitive, Test.Relation |
| trichotomous | Test.Relation.Connex, Test.Relation |
| trichotomous_on | Test.Relation.Connex, Test.Relation |
| xor | Test.Util |
| xor3 | Test.Util |