| Interface | Description |
|---|---|
| AFReducer |
AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until
these constraints are irreducible
|
| Class | Description |
|---|---|
| A2F | |
| 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 | |
| F2AReducer |
F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and
reduces it by one step.
|
| FIsA | |
| FIsAReducer |
FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible)
and reduces it by one step.
|
| TIsU | |
| TSubU | |
| TSuperU | |
| TUConstraint |
Subclasses of TUConstraint represent constraints between a type parameter, whose type arguments
are being inferred, and the types used to do that inference.
|