search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
26 stars 9 forks source link

Foundations Module #442

Open pietercollins opened 3 years ago

pietercollins commented 3 years ago

Some functionality, notably logical classes and those (like Ball and Bound) relating to topology, are currently in the Numeric module, but do not really belong there. I propose adding a Foundations module for these basic classes.

lgeretti commented 3 years ago

Agreed, although Foundations seems a bit too generic to me. Any more concrete names we can use?