This is a part of the changes made in the larger onlinePSL project.
Support for online rule actions.
This pull request contains code changes that were necessary for supporting online rule actions.
Notable changes include:
Hashcodes for abstract rules are no longer identity hashcodes. They are functions of the parameters defining the rules and are provided as an argument to the constructor of abstract rules. Fake rules now have a hashcode, 0. This change ensures that rules in rule actions have the same hash on the client and server.
Deactivating and deleting rules can throw off the term count that is important in detecting convergence, both the cache iterators and grounding iterators now keep track of this count so the reasoner has the most up-to-date count when it needs it.
This is a part of the changes made in the larger onlinePSL project.
Support for online rule actions. This pull request contains code changes that were necessary for supporting online rule actions. Notable changes include: