Method findSolution now walks all refs inside a term. This guarantees no "hidden" cycles, but also breaks the "cyclic term" feature. |
||
|---|---|---|
| .. | ||
| src/jetbrains/mps | ||
| Core.iml | ||
| pom.xml | ||
Method findSolution now walks all refs inside a term. This guarantees no "hidden" cycles, but also breaks the "cyclic term" feature. |
||
|---|---|---|
| .. | ||
| src/jetbrains/mps | ||
| Core.iml | ||
| pom.xml | ||