Searched refs:IntVarImpBase (Results 1 – 4 of 4) sorted by relevance
| /dports/math/gecode/gecode-0916a1a/gecode/kernel/ |
| H A D | var-imp.hpp | 47 class IntVarImpBase : public Gecode::VarImp<Gecode::Int::IntVarImpConf> { class
50 IntVarImpBase(Gecode::Space& home, IntVarImpBase& x);
53 IntVarImpBase(void);
55 IntVarImpBase(Gecode::Space& home);
232 IntVarImpBase::IntVarImpBase(void) {} in IntVarImpBase() function in Gecode::Int::IntVarImpBase
235 IntVarImpBase::IntVarImpBase(Gecode::Space& home) in IntVarImpBase() function in Gecode::Int::IntVarImpBase
239 IntVarImpBase::IntVarImpBase(Gecode::Space& home, IntVarImpBase& x) in IntVarImpBase() function in Gecode::Int::IntVarImpBase
247 IntVarImpBase::subscribe(Gecode::Space& home, Gecode::Advisor& a, bool assigned, bool failed) { in subscribe()
252 IntVarImpBase::schedule(Gecode::Space& home, Gecode::Propagator& p, Gecode::ModEvent me) { in schedule()
256 …IntVarImpBase::reschedule(Gecode::Space& home, Gecode::Propagator& p, Gecode::PropCond pc, bool as… in reschedule()
[all …]
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/var-imp/ |
| H A D | int.cpp | 318 : IntVarImpBase(home,x), dom(x.dom.min(),x.dom.max()) { in IntVarImp()
364 IntVarImpBase::subscribe(home,p,pc,dom.min()==dom.max(),schedule); in subscribe()
369 IntVarImpBase::reschedule(home,p,pc,dom.min()==dom.max()); in reschedule()
374 IntVarImpBase::subscribe(home,a,dom.min()==dom.max(),fail); in subscribe()
|
| H A D | int.hpp | 189 : IntVarImpBase(home), dom(min,max,nullptr,nullptr), holes(0) {} in IntVarImp()
193 : IntVarImpBase(home), dom(d.min(),d.max()) { in IntVarImp()
999 return IntVarImpBase::med(me); in med()
|
| /dports/math/gecode/gecode-0916a1a/gecode/int/ |
| H A D | var-imp.hpp | 89 class IntVarImp : public IntVarImpBase {
|