Package de.monticore.types3.generics.constraints

Class Summary

Class	Description
BoundWrapperConstraint	Wraps Bounds as Constraints.
Constraint	A Constraint is a statement that needs to hold, to find an instantiation for a generic.
ExpressionCompatibilityConstraint
SubTypingConstraint
TypeCompatibilityConstraint
TypeEqualityConstraint