Author malte
Recipients florian, jendrik, malte, manuel, silvan
Date 2017-05-02.11:38:11
> If you look into use cases you could also check if we can use an OperatorID,
> OperatorProxy, or just remove the parameter.

Even if we don't currently use the operator parameter, I don't think we should
remove it. There are path-dependent heuristics other than the ones used in our
current codebase (for example in Salomé's LTL code), and it doesn't seem
unreasonable that a path-dependent heuristic should receive information about
operators associated with transitions.
Date User Action Args
2017-05-02 11:38:11maltesetmessageid: <>
2017-05-02 11:38:11maltesetrecipients: + malte, jendrik, silvan, florian, manuel
2017-05-02 11:38:11maltelinkissue724 messages
2017-05-02 11:38:11maltecreate