Title Change StateRegistry::get_successor_state from GlobalOperator to OperatorProxy
Priority wish Status resolved
Superseder Nosy List florian, jendrik, malte
Assigned To florian Keywords
Optional summary
Part of issue509

Created on 2017-05-02.19:20:54 by florian, last changed by florian.

Part of issue509
msg6610 (view) Author: florian Date: 2017-11-27.18:12:45
Merged, thanks! The buildbot is happy as well.
msg6609 (view) Author: malte Date: 2017-11-27.17:48:37
Looks good! I only left one small comment on bitbucket. Experiments don't look
too bad, either. Ready to merge.
msg6362 (view) Author: florian Date: 2017-05-08.16:28:26
As usual the satisficing results are much more noisy (noise goes up to +-50%).
Overall, it still seems fine to me. The coverage doesn't change (except for
one task with EHC) and I don't see a a clear trend for larger runtimes.
msg6332 (view) Author: florian Date: 2017-05-03.15:19:41
I ran blind search and LM-cut and both show some overhead. As expected, the
overhead is smaller for LM-cut (~3%) than for blind search (~5%).

Experiments for satisficing configurations are still running.
msg6328 (view) Author: jendrik Date: 2017-05-02.20:19:45
The code looks good to me.
msg6327 (view) Author: florian Date: 2017-05-02.19:53:55
I created a pull request for this on bitbucket:

There will probably be some overhead, I will run experiments to see how bad it is.
msg6324 (view) Author: florian Date: 2017-05-02.19:20:54
As a step on the way to make the search independent of g_operators, I would like
to change the interface of StateRegistry::get_successor_state from
GlobalOperator to OperatorProxy. I don't want to completely change the successor
generator to the new interface or change the responsibilities and control flow
of it (yet).
Date User Action Args
2017-11-27 18:12:45floriansetstatus: chatting -> resolved
messages: + msg6610
2017-11-27 17:48:37maltesetmessages: + msg6609
2017-05-08 16:28:26floriansetmessages: + msg6362
2017-05-03 15:19:41floriansetmessages: + msg6332
2017-05-02 20:19:45jendriksetmessages: + msg6328
2017-05-02 19:53:55floriansetstatus: unread -> chatting
messages: + msg6327
2017-05-02 19:20:54floriancreate