Fedor Isakov 625e2c5c0d LogicalPattern to be used in rule definitions instead of Logical, the latter ... reserved for the evaluation time. Get rid of logical arrays, replace with multiLogical type and runtime class. Adapt the constraints API to unification API (constraints to be terms). Remove obsolete MITM interfaces.		2015-12-17 16:22:52 +01:00
..
jetbrains.mps.type.sandbox/classes_jchr	Removed obsolete solutions	2015-06-17 15:39:53 +02:00
jetbrains.mps.typechecking.handling	LogicalPattern to be used in rule definitions instead of Logical, the latter	2015-12-17 16:22:52 +01:00
jetbrains.mps.typechecking.rules	Refactoring out the abstract planning session API	2015-11-29 13:15:29 +01:00
jetbrains.mps.typechecking.solving	LogicalPattern to be used in rule definitions instead of Logical, the latter	2015-12-17 16:22:52 +01:00