| concatKeyProperty(KeyProperty, KeyProperty) |  | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| getNormalizedKeyProperty(KeyProperty, EquivalenceClassProperty) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| combineKey(Set, Key) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| project(LogicalPropertiesImpl.InverseVariableMappingsWithEquivalence) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| combineKeys(Set, Set) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| moreGeneral(KeyProperty) | | 0% | | 0% | 4 | 4 | 2 | 2 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| KeyProperty(Set) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| KeyProperty(KeyProperty) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| satisfiesKeyRequirement(Key) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| KeyProperty() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| combineKeys(KeyProperty, KeyProperty) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$satisfiesKeyRequirement$0(Key, Key) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getKeys() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |