https://archive.eclipse.org/viatra/javadoc/1.7.0/org/eclipse/viatra/query/patternlanguage/typing/judgements/
| File | Size | Permissions | Date |
|---|---|---|---|
 .. |
drwxrwsr-x | 2017-12-13 08:38:40 | |
 AbstractTypeJudgement.html |
14.54kB | -rw-rw-r-- | 2017-12-13 08:38:38 |
| ConditionalJudgement.html |
20.01kB | -rw-rw-r-- | 2017-12-13 08:38:38 |
| ParameterTypeJudgement.html |
17.63kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| TypeConformJudgement.html |
17.37kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| TypeJudgement.html |
16.87kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| XbaseExpressionTypeJudgement.html |
16.02kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| package-frame.html |
1.81kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| package-summary.html |
6.78kB | -rw-rw-r-- | 2017-12-13 08:38:39 |
| package-tree.html |
6.58kB | -rw-rw-r-- | 2017-12-13 08:38:39 |