Author florian
Recipients florian, jendrik, malte
Date 2017-05-02.19:12:45
I updated the pull request with the new code. There are still two global
variables that make the code for this issue awkward: g_operators and
g_initial_state_data. The latter has a circular dependency with this issue but
the workaround for this issue wouldn't be so bad, I think.

We already have an issue in the pipeline (issue725) that will start to simplify
things for g_operators. In the next offline meeting we also want to discuss how
to deal with "g" and "real_g", another place that relies on g_operators. If we
also switch get_successor_state to OperatorProxy then we can remove g_operators
and this issue will be a much cleaner patch. So I suggest to wait until then.
Date User Action Args
2017-05-02 19:12:45floriansetmessageid: <>
2017-05-02 19:12:45floriansetrecipients: + florian, malte, jendrik
2017-05-02 19:12:45florianlinkissue700 messages
2017-05-02 19:12:45floriancreate