search

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 Builders for Evolver, ReachabilityAnalyser and Verifier #41

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

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

Write builder classes that allow the insertion of all settings, delegating the checking for consistence to the build() method.