740f478ae9
Introduce methods for (de)initializing Backend; drop ReactorLifecycle
2024-06-16 19:02:18 +02:00
eec84330fc
Make RuleIndex incrementally updatable. Drop segments feature.
2020-08-06 17:45:47 +02:00
7d308cb0e3
Experimental feature: Rules segmentation.
...
The rules index is extended to observe the segment path a rule belongs to.
An occurrence is bound to the rule that activated it and thus has an
associated segment path.
Rules to be picked for activation can be selected on the basis
of matched segment path.
2019-09-27 21:59:58 +02:00
af212ca92e
Refactoring EvaluationSession(Ex): drop controller accessor.
...
The inverse reference to controller from Evaluation session considered harmful.
Drop controller from EvaluationSession, drop ask/tell from EvaluationSession, extend InvocationContext with controller and supervisor accessors.
2019-09-10 13:08:53 +02:00
cc2774d66d
Refactorings in conreactor: better separation of concerns, cleaner interfaces.
...
Introduce Supervisor, extract evaluation-related stuff from Program, merge with EvaluationFeedbackHandler.
Move implementation of EvaluationFeedback to internal API, reduce number of public interfaces.
Cleaner interface for reporting feedback.
2019-05-05 13:52:26 +02:00
13e8f4a205
Cleanup obsolete code in test helper.
...
Refactor mock program builder for ease of use.
2019-05-03 22:03:17 +02:00
e270655a7f
Drop deprecated stuff in reactor.
2019-05-02 14:46:57 +02:00
a26dee8508
Merge API module into Core, drop API. Reactor lib to have only one jar.
2019-04-24 21:21:03 +02:00
a9a7f66a3a
Refactorings and code cleanup in reactor lib. Documenting the code.
...
Breaking change: ReactorLifecycle to be used to initialize session
backend.
Remove deprecated stuff, deprecate some more.
Consolidate useless interfaces into bigger ones.
Extract interfaces for core classes, move implementation into "internal"
subpackage.
2019-04-24 21:21:03 +02:00
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
0dcf1ecd81
Rename API interfaces for better readability.
2017-06-05 13:37:56 +02:00
c68d9a0bd7
Refactoring the reactor API. Extract StoreView. Get rid of obsolete calls to SessionSolver, cleanup the interface. Introduce AbstractSolver. Move instantiation arguments to solver/program. Cleaning up the code.
2017-01-05 17:34:53 +01:00
ebfe680aae
Refactoring the reactor API. Extract StoreView, get rid of obsolete calls to SessionSolver. Cleaning up the code.
2017-01-04 10:47:23 +01:00
0771504044
Refactoring the reactor API, cleaning up the code.
2017-01-03 12:11:31 +01:00
26f12f187d
Refactor the evaluation controller to have handlers. RuleIndex to select handlers with matching primary symbol first, then the "accept-all" handlers. Tests.
2016-12-23 16:50:31 +01:00
49a6ee0bd0
New naming convention for test helper classes (prefix Mock-).
2016-12-22 15:56:23 +01:00
8c103ddbd1
Integrate changes in the API imported from the Logic project. Change the code accordingly.
2016-03-16 16:26:25 +01:00
ec6ce31cc2
Propagation history feature, tests. Minor refactorings.
2016-03-07 15:23:57 +01:00
63bb7f578d
Ensure the null value is never exposed when merging variable (ground-free)
2016-03-03 16:42:09 +01:00
701a434d69
Reactivate occurrences on union of var arguments. Tests.
2016-03-03 12:58:53 +01:00
619337151f
Updated API sources from the latest version of Logic. Adapted to the new API. LogicalPattern -> MetaLogical. Renamed all *pattern entities. RuleBuilder for tests.
2016-01-29 14:41:57 +01:00
ed76bdae73
Optimizing looking up constraint occurrences to complete a match.
...
Parent observer for logicals, maintaining the logical-to-occurrence index in occurrence store.
Some code refactoring.
2016-01-24 20:45:46 +01:00
bedb9592a0
Updated API sources from the latest version of Logic. Adapted to the new API. Activation stack.
2016-01-11 16:07:52 +01:00
057c4d7c69
Logical value observers. Testing reactivation of constraint occurrences.
2016-01-08 15:11:09 +01:00
b90bdc84c4
MemLogicalPattern. Switch to using MemLogical in tests.
2016-01-07 12:56:13 +01:00
8aa6b04c70
Extract away program builder-related stuff: this part is going to be provided by the reactor's client
2016-01-07 12:07:55 +01:00
c3bfcc9311
Updated API sources from the latest version of Logic. Adapted to the new API.
2016-01-06 20:30:54 +01:00
2f38824ed5
Updated API sources from the latest version of Logic. Adapted to the new API.
2015-12-27 23:42:58 +01:00
4710c85124
Testing the primes generating program.
2015-12-27 00:51:39 +01:00
b80da31c1b
Testing and fixing the handler semantics. Drop matches with occurrences that are no longer alive.
2015-12-27 00:18:26 +01:00
bc7f266997
A test of gcd program.
2015-12-25 13:31:59 +01:00
20948a859c
First real program working
2015-12-25 10:32:05 +01:00
49ebcab10d
Testing EvaluationSession and SessionSolver
2015-12-24 19:15:40 +01:00
Fedor Isakov