Author florian
Recipients erez, florian, haz, jendrik, malte
Date 2016-08-12.19:00:08
Updated summary after some offline discussion. Jendrik and I noticed that the code 
for different running issues made different assumptions about the data structures 
that will be used within searches after they are switched to the task interface.

We had a look at the code that currently uses GlobalOperator to see how they could be 
changed. One suggestion that would work as far as we can see, is to use operator 
indices (int) in most places that currently store GlobalOperator*. An alternative 
would be to store OperatorProxies but we previously said to avoid any proxies in 
containers or other long-term storage. Our plan is to try this in an issue branch to 
see if we get a performance hit from looking up the operator when we need it.
Date User Action Args
2016-08-12 19:00:08floriansetmessageid: <>
2016-08-12 19:00:08floriansetrecipients: + florian, malte, erez, haz, jendrik
2016-08-12 19:00:08florianlinkissue509 messages
2016-08-12 19:00:08floriancreate