Issue966

Title clean up interfaces in pruning module
Priority meta Status unread
Superseder Nosy List jendrik, malte, silvan
Assigned To Keywords
Optional summary
issue1042: create LimitedPruning class and move statistics to base pruning class

TODOs:
* Clean up interface of stubborn sets classes

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

Summary
issue1042: create LimitedPruning class and move statistics to base pruning class

TODOs:
* Clean up interface of stubborn sets classes
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
2022-02-04 12:09:25silvansetsummary: * 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. -> issue1042: create LimitedPruning class and move statistics to base pruning class TODOs: * Clean up interface of stubborn sets classes
2020-05-12 15:54:05jendrikcreate