Fedor Isakov
|
3cc6495885
|
Updated imports
|
2015-08-09 17:36:42 +02:00 |
|
Fedor Isakov
|
e1c9bb7496
|
Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom'
|
2015-08-06 12:57:35 +02:00 |
|
Fedor Isakov
|
c6582551e2
|
Renamed the model 'j.m.unification.tree' -> 'j.m.logic.atom'
|
2015-08-05 19:26:17 +02:00 |
|
Fedor Isakov
|
a72ad3393f
|
Delete obsolete concepts
|
2015-08-04 15:53:31 +02:00 |
|
Fedor Isakov
|
3ee3b93352
|
Simplify the atom API, get rid of MITM class Tree, using Atom instead everywhere
|
2015-08-03 15:01:10 +02:00 |
|
Fedor Isakov
|
bbe9178c40
|
Adopted the updated unification API, terminology change: Atom, Func, Term and arguments
|
2015-08-01 17:21:12 +02:00 |
|
Fedor Isakov
|
9ed12b4e68
|
Updated the unification lib
|
2015-08-01 15:12:23 +02:00 |
|
Fedor Isakov
|
e5c7d17401
|
Removed type parameters from the internal term structure API
|
2015-08-01 14:08:00 +02:00 |
|
Fedor Isakov
|
a31e44161e
|
Updated to the new unification API. Automatic changes in model imports
|
2015-08-01 12:45:57 +02:00 |
|
Fedor Isakov
|
b6c5eb3dc7
|
Updated the unification lib
|
2015-08-01 12:45:57 +02:00 |
|
Fedor Isakov
|
2c2f97d835
|
Trying to switch to java.util.List for internal lists instead of using the terms, unsuccessful. Keeping the new implementation for the future
|
2015-07-24 11:18:42 +02:00 |
|
Fedor Isakov
|
25e71a8978
|
Avoid judging if a var is a wildcard by its name, use the wildcard feature of a logical
|
2015-07-20 17:09:45 +02:00 |
|
Fedor Isakov
|
ae55e2f265
|
Support for anonymous and wildcard variables. List alias is created for a wildcard
|
2015-07-20 17:04:48 +02:00 |
|
Fedor Isakov
|
c495c193b6
|
Fixed the NPE during error reporting
|
2015-07-20 16:53:49 +02:00 |
|
Fedor Isakov
|
d6e894a95b
|
More trace info while collecting rules
|
2015-07-16 13:34:00 +02:00 |
|
Fedor Isakov
|
a057f2d77f
|
Automatically update language imports
|
2015-07-09 17:54:32 +02:00 |
|
Fedor Isakov
|
20dda2ceeb
|
Report a warning if the solver class not found
|
2015-06-18 18:28:41 +02:00 |
|
Fedor Isakov
|
90b8f58143
|
Refactoring the code to use the updated API for processing constraints
|
2015-06-17 16:12:51 +02:00 |
|
Fedor Isakov
|
b3a04066f7
|
Removed obsolete solutions
|
2015-06-17 15:39:53 +02:00 |
|
Fedor Isakov
|
c41fef5ffe
|
Optimized module imports and added explict dependency on "core"
|
2015-06-09 13:29:01 +02:00 |
|
Fedor Isakov
|
672515d798
|
JCHR producing: better processing of Java expressions, list support
|
2015-06-08 13:39:20 +02:00 |
|
Fedor Isakov
|
42deb2b5e1
|
Rules collecting/generating: boundParam in required(), pre/post processing of static rule templates
|
2015-06-08 13:39:19 +02:00 |
|
Fedor Isakov
|
f6d26f5a35
|
Introduced ExpressionConstraint; template parts contribute to the main template; refactored the templates runtime
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
f5f999b7be
|
Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.
|
2015-04-15 18:27:06 +02:00 |
|
Fedor Isakov
|
1950dcc7a8
|
Better processing of wildcard variables
|
2015-04-15 17:24:14 +02:00 |
|
Fedor Isakov
|
e67b31bd30
|
Ensure string logicals are generated properly to CHR
|
2015-04-14 00:11:40 +02:00 |
|
Fedor Isakov
|
29e6d168b8
|
Nice printing of Ast nodes to make debugging of typechecking rules easier
|
2015-04-13 16:47:21 +02:00 |
|
Fedor Isakov
|
3c27aa79e1
|
More strict checking of rules, fixing minor problems reported by model checker, minor update of the rules runner
|
2015-04-08 15:40:32 +02:00 |
|
Fedor Isakov
|
72a3aac2e2
|
Collect templates for required nodes. Enable rule templates to tell what nodes are to be walked in addition to the one passed as parameter.
|
2015-04-08 15:40:31 +02:00 |
|
Fedor Isakov
|
f2a5220ae1
|
Another rule parameter block: bound value (à la let binding). Allows to extract a value to a parameter.
|
2015-04-02 20:01:31 +02:00 |
|
Fedor Isakov
|
ced411a708
|
One action to collect rules, make and run. Mark all types in the editor. Rewrote launching of typechecking constraints
|
2015-03-31 13:02:51 +02:00 |
|
Fedor Isakov
|
f4043b8206
|
Updated the unification lib
|
2015-03-31 13:02:47 +02:00 |
|
Fedor Isakov
|
19d9048cb3
|
The TreeLogicVar can act both as a VAR and as a REF depending on whether it's bound, fixing tests
|
2015-03-31 13:02:35 +02:00 |
|
Fedor Isakov
|
07ecdb5651
|
Updated the unification lib
|
2015-03-24 16:28:19 +01:00 |
|
Fedor Isakov
|
fce38c6cdd
|
Updated the typechecking templates to use the modern construct for list
|
2015-03-24 16:27:12 +01:00 |
|
Fedor Isakov
|
77479a076f
|
Support for variables matching a list, getting rid of obsolete code, some refactoring
|
2015-03-24 16:27:08 +01:00 |
|
Fedor Isakov
|
f380297ccb
|
Adopted the new unification solver API
|
2015-03-22 15:19:16 +01:00 |
|
Fedor Isakov
|
c337fe0039
|
Updated the unification lib
|
2015-03-22 15:19:12 +01:00 |
|
Fedor Isakov
|
7e3131a697
|
Supporting logical variables of different types (currently only TreeLogical and StringLogical)
|
2015-03-13 14:45:04 +01:00 |
|
Fedor Isakov
|
63edc8e6b6
|
Fixing processing of constraint parameters: an unbound logical variable produces a local variable, some refactoring
|
2015-03-12 15:27:47 +01:00 |
|
Fedor Isakov
|
753d2da74a
|
Removing instances of obsolete code, cleaning up the model checker issues
|
2015-03-11 13:35:10 +01:00 |
|
Fedor Isakov
|
3af797e768
|
Updated the submodule with unification lib
|
2015-03-11 12:29:51 +01:00 |
|
Fedor Isakov
|
2489d817b0
|
Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint
|
2015-03-11 12:26:57 +01:00 |
|
Fedor Isakov
|
0ee9762140
|
Deleting the old deprecated concepts, some refactoring
|
2015-03-01 15:51:57 +01:00 |
|
Fedor Isakov
|
bdd3530b89
|
Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.
|
2015-02-26 15:55:35 +01:00 |
|
Fedor Isakov
|
756450ceae
|
Removed instances of an obsolete concept to be removed
|
2015-02-26 15:53:48 +01:00 |
|
Fedor Isakov
|
23d5bd0bcb
|
Enable extraction of sub-tree via "asRoot" for later embedding into other tree; editor fixes
|
2015-02-21 12:42:25 +01:00 |
|
Fedor Isakov
|
d19edc677e
|
Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
bdb85040fd
|
Support tags in JCHR rules for easier debugging
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
802583bc8a
|
Testing the unification logic solver. Some minor generator updates.
|
2015-02-09 16:09:00 +01:00 |