# Package org.eclipse.viatra.query.patternlanguage.typing.judgements

- Class Summary
  Class | Description
  --- | ---
  AbstractTypeJudgement |
  ConditionalJudgement | A conditional judgement is used to express two expressions having types in a causal relationship, e.g.
  ParameterTypeJudgement |
  TypeConformJudgement |
  TypeJudgement | States a selected expression has a preselected type; multiple type judgements form a conjunction.
  XbaseExpressionTypeJudgement |