Fedor Isakov 3f930ba530 Introduce solver() method to PredicateSymbol. ... Drop requirement to provide evaluation session with list of solvers; remove unnecessary configuration step. Minor refactorings in tests.		2019-02-17 11:39:56 +01:00
..
jetbrains/mps/unification/test	Support for unassigned logical variables in unification. Fix cycle not detected.	2019-01-25 11:37:18 +01: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	Rename API interfaces for better readability.	2017-06-05 13:37:56 +02:00
RulesHelper.kt	Introduce solver() method to PredicateSymbol.	2019-02-17 11:39:56 +01:00
TestController.kt	Introduce solver() method to PredicateSymbol.	2019-02-17 11:39:56 +01:00
TestLogical.kt	Logical with assigned value has higher rank. Notifications are to be dispatched accordingly.	2019-01-25 13:52:10 +01:00
TestLogicalObserver.kt	Rename API interfaces for better readability.	2017-06-05 13:37:56 +02:00
TestProgram.kt	Introduce solver() method to PredicateSymbol.	2019-02-17 11:39:56 +01:00
TestProgramBuilder.kt	Introduce solver() method to PredicateSymbol.	2019-02-17 11:39:56 +01:00
TestRuleMatcher.kt	Test a weird case of rule not triggered for a particular combination of constraints.	2019-01-24 16:01:55 +01:00
TestTermTrie.kt	Document and optimize implementation of PersistentTermTrie.	2018-09-09 17:14:13 +02:00