Home
last modified time | relevance | path

Searched defs:BoolValBranch (Results 1 – 2 of 2) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/int/branch/
H A Dval.hpp112 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
/dports/math/gecode/gecode-0916a1a/gecode/
H A Dint.hh5020 class BoolValBranch : public ValBranch<BoolVar> { class