| Interface | Description |
|---|---|
| InferenceSolver | |
| LubType |
Type that represents lub(U1,U2...) as defined in JLS 3rd edition section 15.12.2.7
|
| Class | Description |
|---|---|
| Constraint | |
| EqualConstraint | |
| InferenceSolver_c | |
| LubType_c | |
| SubConversionConstraint |
Represents a constraint A << F
See JLS 3rd ed.
|
| SubTypeConstraint |
Represents a constraint A <: F
See JLS 3rd ed.
|
| SuperConversionConstraint |
Represents a constraint A >> F
See JLS 3rd ed.
|
| SuperTypeConstraint |
Represents a constraint A :> F
See JLS 3rd ed.
|