Traits class for search engines. More...
Traits class for search engines.
Definition at line 1634 of file flatzinc.cpp.