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.2.0 : Thu Feb 02 2012 - 02:31:58 CET