Searched defs:glbMax (Results 1 – 9 of 9) sorted by relevance
42 SetDelta::SetDelta(int glbMin, int glbMax, in SetDelta()52 SetDelta::glbMax(void) const { in glbMax() function in Gecode::Set::SetDelta
123 SetVarImp::glbMax(void) const { return glb.max(); } in glbMax() function in Gecode::Set::SetVarImp140 SetVarImp::glbMax(const Delta& d) { in glbMax() function in Gecode::Set::SetVarImp
53 void con(Space& home, int glbMin, int glbMax, in con()119 void con(Space& home, int glbMin, int glbMax, const IntSet& lub, in con()
146 ConstSetView::glbMax(void) const { return lubMax(); } in glbMax() function in Gecode::Set::ConstSetView248 ConstSetView::glbMax(const Delta&) const { in glbMax() function in Gecode::Set::ConstSetView309 EmptyView::glbMax(void) const { return 0; } in glbMax() function in Gecode::Set::EmptyView369 EmptyView::glbMax(const Delta&) const { in glbMax() function in Gecode::Set::EmptyView434 UniverseView::glbMax(void) const { return Limits::card; } in glbMax() function in Gecode::Set::UniverseView500 UniverseView::glbMax(const Delta&) const { in glbMax() function in Gecode::Set::UniverseView
106 SetView::glbMax(void) const { in glbMax() function in Gecode::Set::SetView184 SetView::glbMax(const Delta& d) const { in glbMax() function in Gecode::Set::SetView
130 SingletonView::glbMax() const { return x.assigned() ? in glbMax() function in Gecode::Set::SingletonView280 SingletonView::glbMax(const Delta& d) const { return x.max(d); } in glbMax() function in Gecode::Set::SingletonView
105 CachedView<View>::glbMax(void) const { in glbMax() function in Gecode::Set::CachedView236 CachedView<View>::glbMax(const Delta& d) const { in glbMax() function in Gecode::Set::CachedView
150 ComplementView<View>::glbMax(void) const { in glbMax() function in Gecode::Set::ComplementView297 ComplementView<View>::glbMax(const Delta& d) const { in glbMax() function in Gecode::Set::ComplementView
93 SetVar::glbMax(void) const { return x->glbMax(); } in glbMax() function in Gecode::SetVar