Home
last modified time | relevance | path

Searched defs:nogoods_limit (Results 1 – 3 of 3) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/
H A Dsearch.hh131 const unsigned int nogoods_limit = 128; variable
764 unsigned int nogoods_limit; member in Gecode::Search::Options
H A Dflatzinc.hh370 unsigned int nogoods_limit(void) const { return _nogoods_limit.value(); } in nogoods_limit() function in Gecode::FlatZinc::FlatZincOptions
/dports/math/gecode/gecode-0916a1a/gecode/driver/
H A Doptions.hpp438 Options::nogoods_limit(unsigned int l) { in nogoods_limit() function in Gecode::Options
442 Options::nogoods_limit(void) const { in nogoods_limit() function in Gecode::Options