SYNT: Use the annotated coordinates for the generated strategy

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.

http://adam.informatik.uni-oldenburg.de:4567/

GNU General Public License v3.0

5 stars 2 forks source link

SYNT: Use the annotated coordinates for the generated strategy #72

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

As for issue #27 let the generated strategy respect the annotated coordinates of the nodes

annyanich commented 4 years ago

Fixed in 9336f0aa26a4dbc3e5b156ae59e223994f8da839