| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ConcreteSupertypeTest.java | 5352 | logstatsplainblame |
| -rw-r--r-- | InferredTypeTest.java | 1026 | logstatsplainblame |
| -rw-r--r-- | TypeAnalysisExampleHierarchyTest.java | 8740 | logstatsplainblame |
| -rw-r--r-- | TypeHierarchyPartialModelTest.java | 9982 | logstatsplainblame |
| -rw-r--r-- | TypeHierarchyTest.java | 6401 | logstatsplainblame |
| -rw-r--r-- | TypeHierarchyTester.java | 1956 | logstatsplainblame |
 |
index : refinery | |
| Mirror of https://github.com/graphs4value/refinery | Graphs4Value |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy