natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/coderules/languages/jetbrains.mps.logic/runtime
History
Fedor Isakov 517838cbc1 Implement shortcut solution for occurrsCheck. 
Make use of MutableLogical's feature to track usages count.
A logical with 1 or less usages can't be contained in
another term, so it's safe to skip unification in this case.
 		2020-07-30 17:14:40 +02:00
..
models Implement shortcut solution for occurrsCheck. 2020-07-30 17:14:40 +02:00
jetbrains.mps.logic.runtime.msd Refactor DataFormPrinter to use Memoizer, support nested terms. 2020-06-21 23:17:33 +02:00