| Interface | Description |
|---|---|
| AFReducer |
AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until
these constraints are irreducible.
|
| Class | Description |
|---|---|
| A2F |
A constraint of the form: A 《 F or F 》 A
|
| A2FReducer |
A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.isIrreducible) and
reduces it by one step.
|
| AFConstraint |
AFConstraint represent the initial constraints used to infer type arguments for method
invocations and new class invocations.
|
| F2A |
A constraint of the form: F 《 A or A 》 F
|
| F2AReducer |
F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and
reduces it by one step.
|
| FIsA |
A constraint of the form: F = A or A = F
|
| FIsAReducer |
FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible)
and reduces it by one step.
|
| TIsU |
A constraint of the form: T = U
|
| TSubU |
A constraint of the form:
T <: U |
| TSuperU |
A constraint of the form:
T :> U |
| TUConstraint |
Subclasses of TUConstraint represent constraints between a type parameter, whose type arguments
are being inferred, and the types used to do that inference.
|