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
issue1058: fix performance regression introduced when refactoring the pruning 
method interface
issue1059: restructure stubborn set implementation

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

Summary
issue1042: create LimitedPruning class and move statistics to base pruning class
issue1058: fix performance regression introduced when refactoring the pruning 
method interface
issue1059: restructure stubborn set implementation
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-07-13 09:53:46gabisetsummary: issue1042: create LimitedPruning class and move statistics to base pruning class issue1059: restructure stubborn set implementation -> issue1042: create LimitedPruning class and move statistics to base pruning class issue1058: fix performance regression introduced when refactoring the pruning method interface issue1059: restructure stubborn set implementation
2022-07-13 09:53:09gabisetsummary: issue1042: create LimitedPruning class and move statistics to base pruning class TODOs: * Clean up interface of stubborn sets classes -> issue1042: create LimitedPruning class and move statistics to base pruning class issue1059: restructure stubborn set implementation
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