Validated expressions and expression patches

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

28 stars 9 forks source link

Validated expressions and expression patches #787

Open pietercollins opened 1 month ago

pietercollins commented 1 month ago

Add support for expressions taking a value of validated real numbers, and for expression patches valid over a bounded domain. This is in support of issue #88 for lambda calculus.