| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | EliminatedType.java | 352 | logstatsplainblame |
| -rw-r--r-- | ExtendedTypeInfo.java | 2848 | logstatsplainblame |
| -rw-r--r-- | InferredMayTypeView.java | 1147 | logstatsplainblame |
| -rw-r--r-- | InferredMustTypeView.java | 1145 | logstatsplainblame |
| -rw-r--r-- | InferredType.java | 1156 | logstatsplainblame |
| -rw-r--r-- | PreservedType.java | 5268 | logstatsplainblame |
| -rw-r--r-- | TypeAnalysisResult.java | 274 | logstatsplainblame |
| -rw-r--r-- | TypeAnalyzer.java | 8104 | logstatsplainblame |
| -rw-r--r-- | TypeHierarchyTranslationUnit.java | 1127 | logstatsplainblame |
| -rw-r--r-- | TypeInfo.java | 1245 | logstatsplainblame |
 |
index : refinery | |
| Mirror of https://github.com/graphs4value/refinery | Graphs4Value |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy