/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()
|