Issue494

Title common implementation of evaluate for multi evaluator open lists
Priority feature Status chatting
Superseder Nosy List gabi, jendrik, malte, pvonreth
Assigned To Keywords
Optional summary

Created on 2014-10-28.13:39:54 by pvonreth, last changed by gabi.

Messages
msg3884 (view) Author: malte Date: 2014-10-28.14:43:36
A concrete example of duplication is the method for determining whether a state
should count as a dead with "alternation" and "type-based" queues.
msg3883 (view) Author: pvonreth Date: 2014-10-28.13:39:54
Add a common implementation of evaluate for multi evaluator open lists.
Currently there are multiple open lists with a multiple evaluators which all i
iterate over their evaluators in a similar manner.
The code is pretty much copy paste and should be moved to a common place.
History
Date User Action Args
2014-10-29 15:23:54gabisetnosy: + gabi
2014-10-28 14:43:36maltesetstatus: unread -> chatting
messages: + msg3884
2014-10-28 13:39:54pvonrethcreate