reformulation "new conclusion" -> "produced conclusion"
various changes related to the experimental incremental saturation (a
replacement for context cleaning) so that I can work on it from home
too.
refactoring: changing SaturationState into an interface, the same for
its writers. Lots of changes here and there, untested. Should be easier
now to create other implementations, e.g., for temporary saturation
states during incremental reasoning.
making SaturationStateImpl a package-protected class which should be
used directly.
A first-cut implementation of the new scheme without cleaning (but with
the new "gap filling" stage, which works in batches). Passes the low
level tests. Lots of small refactorings here and there to integrate it
smoothly. A couple of context initialization stages gone.
a new low-level test exhibiting a bug in the new gap filling incremental
classification method
simplified the low level test for the new incremental method bug
a bugfix: unify contexts before checking if a conclusion occurs in a
context
fixed concurrent creation of temporary contexts + various tweaks. Tests
on the big galen now pass.
Merge branch 'master' into feature/incremental-determinism
restoring produced conclusion counting in the new incremental scheme
making working threads daemons
apply rules on the main (other than local) contexts during the gap
filling stage. do not create local contexts for non-modified main
contexts.
getting rid of deapply methods for conclusions
using two decomposition rule app visitors for gap filling: one for
conclusion enumeration (decomposes all subsumers to not miss anything),
the other for adding missing conclusions to TODO (doesn't add
decompositions of negative subsumers to TODO).
no more deapply method in AbstractConclusion
class renaming for the deletion pruning stage, removed several FIXMEs
and improved javadoc
getting rid of the unused method clearMembers()
should have been in the previous commit
an extra post-processing stage to check context's subsumers and TODO