| performResolution(List, TypeSolver) |  | 0% | | 0% | 28 | 28 | 73 | 73 | 1 | 1 |
| lambda$deriveImpliedBounds$4(SameAsBound, SameAsBound, ConstraintFormulaSet) | | 0% | | 0% | 9 | 9 | 33 | 33 | 1 | 1 |
| deriveImpliedBounds(TypeSolver) | | 0% | | 0% | 4 | 4 | 17 | 17 | 1 | 1 |
| lambda$deriveImpliedBounds$6(SubtypeOfBound, SubtypeOfBound, ConstraintFormulaSet) | | 0% | | 0% | 9 | 9 | 23 | 23 | 1 | 1 |
| lambda$deriveImpliedBounds$5(TypeSolver, SameAsBound, SubtypeOfBound, ConstraintFormulaSet) | | 0% | | 0% | 5 | 5 | 17 | 17 | 1 | 1 |
| findPairsOfCommonAncestors(ResolvedReferenceType, ResolvedReferenceType) | | 0% | | 0% | 6 | 6 | 17 | 17 | 1 | 1 |
| lambda$deriveImpliedBounds$0(SameAsBound, SameAsBound, ConstraintFormulaSet) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| findPairSameAs(Predicate) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| thereIsSomeJSuchThatβequalAlphaJ(Set, InferenceVariable) | | 0% | | 0% | 8 | 8 | 11 | 11 | 1 | 1 |
| forEachPairSameAs(BoundSet.Processor, Object) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| forEachPairSameAndSubtype(BoundSet.Processor, Object) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| forEachPairSubtypeAndSubtype(BoundSet.Processor, Object) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| hasProperty(Set, List) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| buildAllSubsetsOfSize(Set, int) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| lambda$deriveImpliedBounds$2(TypeSolver, SameAsBound, SubtypeOfBound, ConstraintFormulaSet) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| lambda$deriveImpliedBounds$1(TypeSolver, SameAsBound, SubtypeOfBound, ConstraintFormulaSet) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| allPossibleSetsWithProperty(Set, List) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| smallestSetWithProperty(Set, List) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| allSetsWithProperty(Set, List) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| equals(Object) | | 0% | | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| appearInLeftPartOfCapture(InferenceVariable) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| getInstantiationFor(InferenceVariable) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| withBound(Bound) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| thereAreProperSubsets(Set, Set) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| allInferenceVariables() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| incorporate(BoundSet, TypeSolver) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| hasInstantiationFor(InferenceVariable) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| lambda$deriveImpliedBounds$3(TypeSolver, SubtypeOfBound, SubtypeOfBound, ConstraintFormulaSet) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| areSameTypeInference(ResolvedType, ResolvedType) | | 0% | | 0% | 4 | 4 | 1 | 1 | 1 | 1 |
| isTheFirstAProperSubsetOfTheSecond(Set, Set) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| allButOne(Set, Object) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getProperUpperBoundsFor(InferenceVariable) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| BoundSet() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$performResolution$17(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$performResolution$14(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$hasProperty$10(BoundSet.VariableDependency) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| containsFalse() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$getProperUpperBoundsFor$18(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$performResolution$16(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$performResolution$13(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$hasProperty$9(InferenceVariable, BoundSet.VariableDependency) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| hashCode() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isTrue() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isEmpty() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$performResolution$15(InferenceVariable, Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$performResolution$12(InferenceVariable) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$hasProperty$11(BoundSet.VariableDependency) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$containsFalse$8(Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$deriveImpliedBounds$7(Bound) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| empty() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |