| /dports/math/gecode/gecode-0916a1a/gecode/int/branch/ |
| H A D | val.hpp | 112 BoolValBranch::BoolValBranch(Select s0) in BoolValBranch() function in Gecode::BoolValBranch
116 BoolValBranch::BoolValBranch(Rnd r) in BoolValBranch() function in Gecode::BoolValBranch
120 BoolValBranch::BoolValBranch(BoolBranchVal v, BoolBranchCommit c) in BoolValBranch() function in Gecode::BoolValBranch
129 inline BoolValBranch
131 return BoolValBranch(BoolValBranch::SEL_MIN); in BOOL_VAL_MIN()
134 inline BoolValBranch
136 return BoolValBranch(BoolValBranch::SEL_MAX); in BOOL_VAL_MAX()
139 inline BoolValBranch
141 return BoolValBranch(r); in BOOL_VAL_RND()
144 inline BoolValBranch
[all …]
|
| H A D | val-sel-commit.cpp | 109 valselcommit(Space& home, const BoolValBranch& bvb) { in valselcommit()
111 case BoolValBranch::SEL_MIN: in valselcommit()
114 case BoolValBranch::SEL_MAX: in valselcommit()
117 case BoolValBranch::SEL_RND: in valselcommit()
120 case BoolValBranch::SEL_VAL_COMMIT: in valselcommit()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | aux_brancher.hh | 39 const Gecode::BoolValBranch& bool_valsel0 in AuxVarBrancher()
90 Gecode::BoolValBranch bool_valsel;
164 const Gecode::BoolValBranch& bool_valsel in post()
|
| H A D | gecode_solverinstance.cpp | 1645 TieBreak<BoolVarBranch>& def_bool_varsel, BoolValBranch& def_bool_valsel, in setSearchStrategyFromAnnotation()
1870 BoolValBranch def_bool_valsel = BOOL_VAL_MIN(); in createBranchers()
2239 BoolValBranch GecodeSolverInstance::ann2bvalsel(const ASTString s, std::string& r0, std::string& r1, in ann2bvalsel()
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/ |
| H A D | branch.hpp | 42 branch(Home home, const BoolVarArgs& x, BoolValBranch vals, in branch()
|
| H A D | ldsb.cpp | 428 BoolVarBranch vars, BoolValBranch vals, in branch()
460 case BoolValBranch::SEL_VAL_COMMIT: in branch()
475 TieBreak<BoolVarBranch> vars, BoolValBranch vals, in branch()
517 case BoolValBranch::SEL_VAL_COMMIT: in branch()
|
| H A D | branch.cpp | 218 BoolVarBranch vars, BoolValBranch vals, in branch()
234 TieBreak<BoolVarBranch> vars, BoolValBranch vals, in branch()
280 branch(Home home, BoolVar x, BoolValBranch vals, BoolVarValPrint vvp) { in branch()
|
| H A D | branch.hh | 605 valselcommit(Space& home, const BoolValBranch& bvb);
|
| /dports/math/gecode/gecode-0916a1a/gecode/ |
| H A D | int.hh | 5020 class BoolValBranch : public ValBranch<BoolVar> { class
5034 BoolValBranch(Select s = SEL_MIN);
5036 BoolValBranch(Rnd r);
5038 BoolValBranch(BoolBranchVal v, BoolBranchCommit c);
5077 BoolValBranch BOOL_VAL_MIN(void);
5079 BoolValBranch BOOL_VAL_MAX(void);
5081 BoolValBranch BOOL_VAL_RND(Rnd r);
5231 BoolVarBranch vars, BoolValBranch vals,
5241 TieBreak<BoolVarBranch> vars, BoolValBranch vals,
5250 branch(Home home, BoolVar x, BoolValBranch vals,
[all …]
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/ |
| H A D | gecode_solverinstance.hh | 300 static Gecode::BoolValBranch ann2bvalsel(ASTString s, std::string& r0, std::string& r1,
347 Gecode::BoolValBranch& def_bool_valsel,
|
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | branch.hh | 331 BoolValBranch i2b(const IntValBranch& ivb);
|
| H A D | branch.hpp | 420 forceinline BoolValBranch
|
| H A D | flatzinc.cpp | 110 BoolValBranch bool_valsel0 in AuxVarBrancher()
158 BoolValBranch bool_valsel;
236 BoolValBranch bool_valsel in post()
552 BoolValBranch ann2bvalsel(AST::Node* ann, std::string& r0, std::string& r1, in ann2bvalsel()
1049 BoolValBranch def_bool_valsel = BOOL_VAL_MIN(); in createBranchers()
|
| /dports/math/gecode/gecode-0916a1a/test/ |
| H A D | branch.cpp | 629 BoolValBranch bvb; in run()
|