Searched defs:BoolView (Results 1 – 6 of 6) sorted by relevance
| /dports/math/gecode/gecode-0916a1a/gecode/int/trace/ |
| H A D | bool-trace-view.hpp | 55 BoolTraceView::BoolTraceView(Space&, BoolView) {} in BoolTraceView() argument
57 BoolTraceView::prune(Space&, BoolView, const Delta&) {} in prune() argument
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/vars/ |
| H A D | bool-view.h | 15 BoolView() {} in BoolView() function
16 BoolView(Lit p) : v(var(p)), s(sign(p)) {} in BoolView() function
|
| H A D | int-var.h | 307 operator BoolView () { assert(min >= 0 && max <= 1); return getLit(1, 2); } in BoolView() function
|
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | branch.hpp | 217 MeritMaxAction::operator ()(Int::BoolView, int i) const { in operator ()()
238 MeritMaxActionSize::operator ()(Int::BoolView, int i) const { in operator ()()
259 MeritMaxCHB::operator ()(Int::BoolView, int i) const { in operator ()()
280 MeritMaxCHBSize::operator ()(Int::BoolView, int i) const { in operator ()()
309 ValSelCommitBase<Int::BoolView,int>* yvsc0) in IntBoolBrancherBase()
341 ValSelCommitBase<Int::BoolView,int>* yvsc) in IntBoolBrancher()
352 ValSelCommitBase<Int::BoolView,int>* yvsc) { in post()
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/view/ |
| H A D | bool.hpp | 45 BoolView::BoolView(void) {} in BoolView() function in Gecode::Int::BoolView
47 BoolView::BoolView(const BoolVar& y) in BoolView() function in Gecode::Int::BoolView
50 BoolView::BoolView(BoolVarImp* y) in BoolView() function in Gecode::Int::BoolView
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/ |
| H A D | view.hpp | 1380 class BoolView : public VarImpView<BoolVar> { class
|