Create Builder for HybridIOAutomaton

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

Create Builder for HybridIOAutomaton #45

Closed lgeretti closed 7 years ago

lgeretti commented 8 years ago

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

In order to allow finer checking on the construction of a HybridIOAutomaton, we should provide a builder instead of building the automaton additively.

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/45

lgeretti commented 7 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Won't be necessary since the construction of an automaton is always valid, under the assumption that automata can be specified partially. The problem moves to the composition, instead.