org.eclipse.viatra.query.patternlanguage.typing.judgements
Classes
AbstractTypeJudgement
ConditionalJudgement
ParameterTypeJudgement
TypeConformJudgement
TypeJudgement
XbaseExpressionTypeJudgement