https://archive.eclipse.org/viatra/javadoc/1.6.0/org/eclipse/viatra/query/patternlanguage/typing/judgements/
| File | Size | Permissions | Date |
|---|---|---|---|
 .. |
drwxrwsr-x | 2017-11-20 04:36:38 | |
 AbstractTypeJudgement.html |
14.54kB | -rw-rw-r-- | 2017-11-20 04:36:37 |
| ConditionalJudgement.html |
20.01kB | -rw-rw-r-- | 2017-11-20 04:36:37 |
| ParameterTypeJudgement.html |
17.61kB | -rw-rw-r-- | 2017-11-20 04:36:37 |
| TypeConformJudgement.html |
17.37kB | -rw-rw-r-- | 2017-11-20 04:36:38 |
| TypeJudgement.html |
16.87kB | -rw-rw-r-- | 2017-11-20 04:36:38 |
| XbaseExpressionTypeJudgement.html |
16.03kB | -rw-rw-r-- | 2017-11-20 04:36:38 |
| package-frame.html |
1.81kB | -rw-rw-r-- | 2017-11-20 04:36:37 |
| package-summary.html |
6.78kB | -rw-rw-r-- | 2017-11-20 04:36:37 |
| package-tree.html |
6.58kB | -rw-rw-r-- | 2017-11-20 04:36:38 |