Generated on Tue Jan 28 2020 00:00:00 for Gecode by doxygen 1.8.17

Extensional constraints support different ways of how the extensionally defined relation between the variables is defined. Examples include specification by a DFA or a table.

A DFA can be defined by a regular expression, for regular expressions see the module MiniModel.