| .. |
|
jetbrains/mps/unification/test
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
AssertHelper.kt
|
Logical with assigned value has higher rank. Notifications are to be dispatched accordingly.
|
2019-01-25 13:52:10 +01:00 |
|
ExpressionSolver.kt
|
Introduce solver() method to PredicateSymbol.
|
2019-02-17 11:39:56 +01:00 |
|
LogicalHelper.kt
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
RulesHelper.kt
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
TestController.kt
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
TestIndexedTermTrie.kt
|
Reactor: introduce indexed term trie
|
2021-05-13 15:54:43 +02:00 |
|
TestLogical.kt
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
TestLogicalObserver.kt
|
Add, remove and merge observers on Logical always on their roots. Fixes MPSCR-28
|
2019-12-23 21:13:07 +03:00 |
|
TestProgram.kt
|
Introduce methods for (de)initializing Backend; drop ReactorLifecycle
|
2024-06-16 19:02:18 +02:00 |
|
TestProgramBuilder.kt
|
Minor refactoring: drop usages of Program.rulesLists() method.
|
2020-12-01 21:55:17 +01:00 |
|
TestRuleIndex.kt
|
refactoring: introduce Rule.Tag instead of several fields (basetag/tag/uniqueTag)
|
2020-12-15 17:59:05 +03:00 |
|
TestRuleMatcher.kt
|
Cleanup and refactor code for better readability
|
2024-06-14 13:42:46 +02:00 |
|
TestStoreAwareJournal.kt
|
Drop deprecated code marked for removal
|
2024-06-13 11:02:34 +02:00 |
|
TestTermTrie.kt
|
Reactor: introduce indexed term trie
|
2021-05-13 15:54:43 +02:00 |
740f478ae9