Issue 966: clean up interfaces in pruning module

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.

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:46	gabi	set	summary: 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:09	gabi	set	summary: 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:25	silvan	set	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. -> issue1042: create LimitedPruning class and move statistics to base pruning class TODOs: * Clean up interface of stubborn sets classes
2020-05-12 15:54:05	jendrik	create

Issue966