| Class and Description | 
|---|
| ITypeInferrer
 The type inferrer calculates the types of variables and variable references of the pattern model. 
 | 
| ITypeSystem
 A type system represents the types (classes, or references) provided by a modeling backend. 
 | 
| Class and Description | 
|---|
| ITypeInferrer
 The type inferrer calculates the types of variables and variable references of the pattern model. 
 | 
| ITypeSystem
 A type system represents the types (classes, or references) provided by a modeling backend. 
 | 
| Class and Description | 
|---|
| AbstractTypeInferrer | 
| AbstractTypeSystem | 
| ITypeInferrer
 The type inferrer calculates the types of variables and variable references of the pattern model. 
 | 
| ITypeSystem
 A type system represents the types (classes, or references) provided by a modeling backend. 
 | 
| Class and Description | 
|---|
| ITypeInferrer
 The type inferrer calculates the types of variables and variable references of the pattern model. 
 | 
| ITypeSystem
 A type system represents the types (classes, or references) provided by a modeling backend. 
 |