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/models
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
..
jetbrains.mps.logic.dataform.mps Implement shortcut solution for occurrsCheck. 2020-07-30 17:14:40 +02:00
jetbrains.mps.logic.predicate.mps Implement shortcut solution for occurrsCheck. 2020-07-30 17:14:40 +02:00
jetbrains.mps.logic.unification.mps Implement shortcut solution for occurrsCheck. 2020-07-30 17:14:40 +02:00