Hi all, I want to know can I declare a real variable with a domain union of intervals. In the documentation , we have *interval_union / 3*..........lib_public/intervals <http://87.230.22.228/doc/bips/lib_public/intervals/index.html> but there is no description! Is it an obsolete Library? Thanks. >
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST