https://archive.eclipse.org/viatra/javadoc/incquery-1.1.0/org/eclipse/incquery/runtime/localsearch/operations/check/class-use/
| File | Size | Permissions | Date |
|---|---|---|---|
 .. |
drwxrwsr-x | 2017-11-20 04:43:59 | |
 BinaryTransitiveClosureCheck.html |
4.95kB | -rw-rw-r-- | 2017-11-20 04:43:55 |
| CheckConstant.html |
4.79kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| CheckOperation.html |
12.93kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| ContainmentCheck.html |
4.82kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| CountCheck.html |
4.76kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| ExpressionCheck.html |
4.81kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| InequalityCheck.html |
4.81kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| InstanceOfClassCheck.html |
4.87kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| InstanceOfDataTypeCheck.html |
4.90kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| NACOperation.html |
4.78kB | -rw-rw-r-- | 2017-11-20 04:43:56 |
| StructuralFeatureCheck.html |
4.89kB | -rw-rw-r-- | 2017-11-20 04:43:56 |