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.
|