Package de.monticore.types3.generics.constraints

package de.monticore.types3.generics.constraints

Related Packages

Package	Description
de.monticore.types3.generics
de.monticore.types3.generics.bounds
de.monticore.types3.generics.context
de.monticore.types3.generics.util

Classes

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