Fedor Isakov
|
bf91983b65
|
Added sample module to the IDEA project
|
2015-08-17 10:41:13 +02:00 |
|
Fedor Isakov
|
3602b0f4bb
|
Implement ground atom utility, code cleanup, tests
|
2015-08-17 10:41:13 +02:00 |
|
Mihail.Buryakov
|
58270ff07e
|
update simpleGenerics test to more complicated case
|
2015-08-13 16:47:44 +02:00 |
|
Mihail.Buryakov
|
cb0d5e3747
|
AbstractRule extends IValidIdentifier
|
2015-08-13 16:47:00 +02:00 |
|
Mihail.Buryakov
|
9545fdffb7
|
add hotkey for MarkTypes action
|
2015-08-13 16:46:26 +02:00 |
|
Fedor Isakov
|
5bfbdc9ddb
|
Look for logical variables inside atom lists
|
2015-08-13 16:22:27 +02:00 |
|
Mihail.Buryakov
|
968871a23c
|
add another example with generics
|
2015-08-13 12:13:42 +02:00 |
|
Fedor Isakov
|
a5d9513d72
|
Typechecking templates: testing upper/lower bounds
|
2015-08-13 11:18:03 +02:00 |
|
Fedor Isakov
|
9f8e3db920
|
Fixed a couple of typos
|
2015-08-13 11:12:14 +02:00 |
|
Fedor Isakov
|
9c43be1827
|
Show details for failed unification in the trace view
|
2015-08-12 16:42:28 +02:00 |
|
Fedor Isakov
|
2c4c17600c
|
Updated to the latest unification lib
|
2015-08-12 16:14:51 +02:00 |
|
Fedor Isakov
|
27a42d9841
|
Report details if the unification failed
|
2015-08-12 16:13:27 +02:00 |
|
Fedor Isakov
|
21e13cda25
|
Tracer for auto constraints (ask success/ask failure), implemented for unificaiton solver
|
2015-08-12 15:00:51 +02:00 |
|
Fedor Isakov
|
b7a9f45f8d
|
Typechecking templates: better support for upper/lower bounds
|
2015-08-12 15:00:51 +02:00 |
|
Mihail.Buryakov
|
c61b1d164c
|
minor editor updates
|
2015-08-12 10:42:25 +02:00 |
|
Fedor Isakov
|
876752b992
|
Typechecking templates: ensure all classifier types import their classifiers
|
2015-08-11 17:13:13 +02:00 |
|
Fedor Isakov
|
f57c7150a5
|
Updated the IDEA project
|
2015-08-11 17:13:13 +02:00 |
|
Mihail.Buryakov
|
623b2cc849
|
Editor: allow folding of templates
|
2015-08-10 17:24:50 +03:00 |
|
Fedor Isakov
|
3cc6495885
|
Updated imports
|
2015-08-09 17:36:42 +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
|
57f740ce4a
|
Introduce prototype into the Atom API
|
2015-08-09 17:36:42 +02:00 |
|
Fedor Isakov
|
04dead1fe1
|
Testing list unification
|
2015-08-09 12:41:24 +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
|
7d7513dd1a
|
Minor changes: preparing to get rid of WildcardVariable and replace its usages with splices
|
2015-08-05 17:25:05 +02:00 |
|
Fedor Isakov
|
232624a4bf
|
Replace obsolete concept instances
|
2015-08-05 15:56:47 +02:00 |
|
Fedor Isakov
|
a72ad3393f
|
Delete obsolete concepts
|
2015-08-04 15:53:31 +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
|
9ed12b4e68
|
Updated the unification lib
|
2015-08-01 15:12:23 +02:00 |
|
Fedor Isakov
|
14aa99a727
|
Terminology updated: children renamed to arguments
|
2015-08-01 14:17:53 +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
|
5ee965a88d
|
Renamed Node to Term, changed the API accordingly
|
2015-08-01 12:12:50 +02:00 |
|
Fedor Isakov
|
7211a0a446
|
Minor updates in the typechecking templates
|
2015-07-30 15:51:56 +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
|
648303e1c5
|
Equals auto-constraint support
|
2015-07-22 15:50:47 +02:00 |
|
Fedor Isakov
|
5f83479f32
|
Logic language and runtime fixes, equals solver, ListLogical
|
2015-07-22 15:45:32 +02:00 |
|
Fedor Isakov
|
c2e9532109
|
Logical's equals and hashCode contract, tests
|
2015-07-21 12:15:43 +02:00 |
|
Fedor Isakov
|
7e38c42a2f
|
Switched to using typed logical vars in the typchecking templates
|
2015-07-20 17:11:26 +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
|
d174a900c0
|
Switched to using data type for logical vars
|
2015-07-20 17:08:55 +02:00 |
|
Fedor Isakov
|
e370d56d46
|
Support for wildcard logical vars
|
2015-07-20 17:07:47 +02:00 |
|
Fedor Isakov
|
9f3970e8e0
|
Extended the logical type with the underlying data type
|
2015-07-20 17:06:34 +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
|
0592e7bd1c
|
Typo fixed
|
2015-07-18 15:05:36 +02:00 |
|
Fedor Isakov
|
0aa8f07213
|
Improving the editor for typechecking templates
|
2015-07-18 15:02:58 +02:00 |