Renaming the I/O interface of automata

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

0 stars 0 forks source link

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Provide a way to rename I/O variables/events of automata, in order to allow multiple instances at the same level of composition.