Generated on Sun Aug 9 2020 05:34:08 for Gecode by doxygen 1.8.18

Set expressions and relations can be freely composed of variables with the usual connectives. More...

Set expressions and relations can be freely composed of variables with the usual connectives.