Searched refs:lbMin (Results 1 – 3 of 3) sorted by relevance
| /dports/math/gecode/gecode-0916a1a/gecode/set/ |
| H A D | array.cpp | 55 Set::Limits::check(lbMin,"SetVarArray::SetVarArray"); in SetVarArray()
61 (lbMin <= lbMax ? static_cast<unsigned int>(lbMax-lbMin+1) : 0U); in SetVarArray()
65 lbMin < ubMin || lbMax > ubMax) in SetVarArray()
98 Iter::Ranges::Singleton glbr(lbMin,lbMax); in SetVarArray()
102 (lbMin <= lbMax ? static_cast<unsigned int>(lbMax-lbMin+1) : 0U); in SetVarArray()
136 Set::Limits::check(lbMin,"SetVarArgs::SetVarArgs"); in SetVarArgs()
142 (lbMin <= lbMax ? static_cast<unsigned int>(lbMax-lbMin+1) : 0U); in SetVarArgs()
146 lbMin < ubMin || lbMax > ubMax) in SetVarArgs()
175 Set::Limits::check(lbMin,"SetVarArgs::SetVarArgs"); in SetVarArgs()
179 Iter::Ranges::Singleton glbr(lbMin,lbMax); in SetVarArgs()
[all …]
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/var/ |
| H A D | set.cpp | 46 SetVar::SetVar(Space& home,int lbMin,int lbMax,int ubMin,int ubMax, in SetVar() argument
48 : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,lbMin,lbMax, in SetVar()
51 Set::Limits::check(lbMin,"SetVar::SetVar"); in SetVar()
57 lbMin < ubMin || lbMax > ubMax) in SetVar()
74 SetVar::SetVar(Space& home,int lbMin,int lbMax,const IntSet& lub, in SetVar() argument
76 : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,lbMin,lbMax,lub, in SetVar()
78 Set::Limits::check(lbMin,"SetVar::SetVar"); in SetVar()
82 Iter::Ranges::Singleton glbr(lbMin,lbMax); in SetVar()
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/var-imp/ |
| H A D | set.hpp | 55 SetVarImp::SetVarImp(Space& home,int lbMin,int lbMax,int ubMin,int ubMax, in SetVarImp() argument
58 lub(home,ubMin,ubMax), glb(home,lbMin,lbMax) { in SetVarImp()
75 int lbMin,int lbMax,const IntSet& theLub, in SetVarImp() argument
78 lub(home,theLub), glb(home,lbMin,lbMax) { in SetVarImp()
|