project(LogicalPropertiesImpl.InverseVariableMappingsWithEquivalence) |  | 0% |  | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
getNormalizedKey(Key, EquivalenceClassProperty) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
Key(Set) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
concatKeys(Key, Key) |  | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
toString() |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
lambda$keySatisifiesRequirement$0(Key, VariableReferenceExpression) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
keySatisifiesRequirement(Key) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
lambda$getNormalizedKey$1(EquivalenceClassProperty, VariableReferenceExpression) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
lambda$getNormalizedKey$3(RowExpression) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
lambda$getNormalizedKey$2(RowExpression) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |