Searched refs:BOOL_VAL_MIN (Results 1 – 10 of 10) sorted by relevance
| /dports/math/gecode/gecode-0916a1a/examples/ |
| H A D | bibd.cpp | 132 branch(*this, _p, BOOL_VAR_NONE(), BOOL_VAL_MIN(), s); in BIBD()
140 branch(*this, _p, BOOL_VAR_NONE(), BOOL_VAL_MIN()); in BIBD()
|
| H A D | job-shop.cpp | 520 BOOL_VAL_MIN()); in JobShopSolve()
523 BOOL_VAL_MIN()); in JobShopSolve()
537 BOOL_VAL_MIN()); in JobShopSolve()
540 BOOL_VAL_MIN()); in JobShopSolve()
554 BOOL_VAL_MIN()); in JobShopSolve()
557 BOOL_VAL_MIN()); in JobShopSolve()
|
| H A D | ind-set.cpp | 100 branch(*this, v, BOOL_VAR_NONE(), BOOL_VAL_MIN()); in IndSet()
|
| H A D | sat.cpp | 120 branch(*this, x, BOOL_VAR_AFC_MAX(), BOOL_VAL_MIN()); in Sat()
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/branch/ |
| H A D | val.hpp | 130 BOOL_VAL_MIN(void) { in BOOL_VAL_MIN() function
|
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | branch.hpp | 427 return BOOL_VAL_MIN(); in i2b()
439 return BOOL_VAL_MIN(); in i2b()
|
| H A D | flatzinc.cpp | 557 return BOOL_VAL_MIN(); in ann2bvalsel()
565 return BOOL_VAL_MIN(); in ann2bvalsel()
569 return BOOL_VAL_MIN(); in ann2bvalsel()
581 return BOOL_VAL_MIN(); in ann2bvalsel()
587 return BOOL_VAL_MIN(); in ann2bvalsel()
593 return BOOL_VAL_MIN(); in ann2bvalsel()
600 return BOOL_VAL_MIN(); in ann2bvalsel()
1049 BoolValBranch def_bool_valsel = BOOL_VAL_MIN(); in createBranchers()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | gecode_solverinstance.cpp | 1870 BoolValBranch def_bool_valsel = BOOL_VAL_MIN(); in createBranchers()
2244 return BOOL_VAL_MIN(); in ann2bvalsel()
2254 return BOOL_VAL_MIN(); in ann2bvalsel()
2259 return BOOL_VAL_MIN(); in ann2bvalsel()
2274 return BOOL_VAL_MIN(); in ann2bvalsel()
2281 return BOOL_VAL_MIN(); in ann2bvalsel()
2288 return BOOL_VAL_MIN(); in ann2bvalsel()
2293 return BOOL_VAL_MIN(); in ann2bvalsel()
|
| /dports/math/gecode/gecode-0916a1a/test/ |
| H A D | branch.cpp | 631 case 0: bvb = BOOL_VAL_MIN(); break; in run()
|
| /dports/math/gecode/gecode-0916a1a/gecode/ |
| H A D | int.hh | 5077 BoolValBranch BOOL_VAL_MIN(void);
|