# Package org.eclipse.viatra.query.patternlanguage.emf.types

- Interface Summary
  Interface | 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 Summary
  Class | Description
  --- | ---
  AbstractTypeInferrer |
  AbstractTypeSystem |
  BottomTypeKey | A type key representing an erroneous type, e.g.
  EMFPatternLanguageTypeRules |
  EMFTypeInferrer |
  EMFTypeSystem |
  PatternLanguageTypeRules |
  TypeInformation | This class is used to store type information for selected patterns