Fedor Isakov
|
df56d1e692
|
Cleaning up dependencies
|
2015-12-10 18:35:13 +01:00 |
|
Fedor Isakov
|
b81b875197
|
Renamed a model constraint -> predicate to satisfy JCHR
|
2015-11-28 18:47:00 +01:00 |
|
Fedor Isakov
|
78ca0b05fc
|
Refactoring in constraints API. Extracting the abstract evaluation interface
|
2015-11-28 18:45:42 +01:00 |
|
Fedor Isakov
|
63f5789f7b
|
Get rid of cardinality in role, simplifying code
|
2015-10-21 12:33:23 +02:00 |
|
Fedor Isakov
|
2907e1af3f
|
New construct to represent type terms (TypeTerm) referencing a declaration, an intention to convert old Ast to TypeTerm
Renamed Node -> Compound, (old) TypeTerm -> TypeTemplate.
|
2015-08-24 17:09:52 +02:00 |
|
Mihail.Buryakov
|
0cadcb5073
|
it is possible to add comments to constraint declaration
|
2015-08-18 11:44:25 +02:00 |
|
Fedor Isakov
|
6006f680e8
|
Minor refactoring and editor enhancements in logic and typesystem2 lang
|
2015-08-09 17:36:42 +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
|
05d829aee4
|
Delete obsolete model
|
2015-08-04 15:30:59 +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
|
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
|
77479a076f
|
Support for variables matching a list, getting rid of obsolete code, some refactoring
|
2015-03-24 16:27:08 +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
|
756450ceae
|
Removed instances of an obsolete concept to be removed
|
2015-02-26 15:53:48 +01:00 |
|
Fedor Isakov
|
7ce7a31e91
|
WildcardTreeVariable introduced to support matching terms with wildcard children; some code reorganization
|
2015-02-01 21:48:05 +01:00 |
|
Fedor Isakov
|
86b56d4ac1
|
Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes
|
2015-01-27 16:28:36 +01:00 |
|
Fedor Isakov
|
91bf7a3d85
|
Migrated to MPS 3.2 EAP (build 139-987)
|
2014-12-15 13:57:15 +01:00 |
|
Fedor Isakov
|
2a90dd1808
|
Sporadic model header update after a recent rename.
|
2014-12-13 13:25:28 +01:00 |
|
Fedor Isakov
|
64bb958fc8
|
Rename/refactoring in the jchr/logic/typechecking
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
c5d1b79045
|
Support for builtin constraints
|
2014-09-14 22:50:43 +02:00 |
|
Fedor Isakov
|
a01eb7dac0
|
Refactoring: get rid of TreeLogical's registration by name, use proxy variable instead
|
2014-08-30 16:27:17 +02:00 |
|
Fedor Isakov
|
cbb33d4f79
|
Refactoring: getting rid of "ast" package
|
2014-08-24 15:26:32 +02:00 |
|
Fedor Isakov
|
aa53fb2c4d
|
Various refactorings in unification tree. Mappers introduced.
|
2014-08-24 14:50:17 +02:00 |
|
Fedor Isakov
|
c2df27ab71
|
TreeWalk and Finders framework for analysing the tree
|
2014-08-16 18:32:31 +02:00 |
|
Fedor Isakov
|
6c2170abe1
|
Enable the use of varibles in values. Language refactoring. Cleanup.
|
2014-08-06 20:39:33 +02:00 |
|
Fedor Isakov
|
cdf3e4887b
|
Maintenance: repackaging samples
|
2014-08-05 18:23:48 +02:00 |
|
Fedor Isakov
|
98a71dc8b9
|
Better integration of JCHR rules into Java: handler type and constraint operations
|
2014-08-05 17:00:45 +02:00 |
|
Fedor Isakov
|
95653e38a8
|
Made propagation rules work (BUG in JCHR)
|
2014-08-04 21:58:17 +02:00 |
|
Fedor Isakov
|
ca4450c905
|
Support for infix builtin constraints in body and guard
|
2014-08-04 12:28:55 +02:00 |
|
Fedor Isakov
|
7bee35a4ad
|
Extracting trees from the JCHR text to external class, using Ast instances directly in rules
|
2014-08-02 16:45:49 +02:00 |
|
Fedor Isakov
|
8e5b5d21a7
|
Compiling JCHR seemlessly as part of MPS make
|
2014-08-01 16:46:40 +02:00 |
|
Fedor Isakov
|
c800cdb4cb
|
Huge improvements in the AST presentation and editing.
|
2014-08-01 11:25:32 +02:00 |
|
Fedor Isakov
|
4ae8fb8e54
|
Playing with typing rules
|
2014-07-28 10:58:34 +02:00 |
|
Fedor Isakov
|
362c1ad98a
|
Adopted the latest changes in submodule, fixed the modelchecker errors
|
2014-07-21 16:26:57 +02:00 |
|
Fedor Isakov
|
580cfd8a4d
|
Better API for the Tree
|
2014-07-21 15:38:48 +02:00 |
|
Fedor Isakov
|
ad114bf618
|
Unification solver
|
2014-07-21 13:41:56 +02:00 |
|
Fedor Isakov
|
eeec9d7f71
|
Language for defining snode-isomorphic structures with variables, testing unification
|
2014-07-14 15:50:37 +02:00 |
|
Fedor Isakov
|
1e77201566
|
SModel isomorphic structure on top of unification tree
|
2014-07-13 15:00:04 +02:00 |