Issue966

Title clean up interfaces in pruning module
Priority meta Status unread
Superseder Nosy List jendrik, malte, silvan
Assigned To Keywords
Optional summary
* Move pruning statistics and minimum pruning option to Pruning base class.
* Clean up interface of stubborn sets classes:
  * Separate action-based and atom-based queues.

Created on 2020-05-12.15:54:05 by jendrik, last changed by jendrik.

Summary
* Move pruning statistics and minimum pruning option to Pruning base class.
* Clean up interface of stubborn sets classes:
  * Separate action-based and atom-based queues.
Messages
msg9322 (view) Author: jendrik Date: 2020-05-12.15:54:05
This is a meta issue for cleaning up the pruning module. I'm adding some tasks to the summary, feel free to add more.
History
Date User Action Args
2020-05-12 15:54:05jendrikcreate