Message6310

Author malte
Recipients florian, jendrik, malte, manuel, silvan
Date 2017-05-02.11:38:11
Content
> 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.
History
Date User Action Args
2017-05-02 11:38:11maltesetmessageid: <1493717891.68.0.0503685046303.issue724@unibas.ch>
2017-05-02 11:38:11maltesetrecipients: + malte, jendrik, silvan, florian, manuel
2017-05-02 11:38:11maltelinkissue724 messages
2017-05-02 11:38:11maltecreate