| 123 | SingletonView::lubMax() const { return x.max(); } |
| 124 | |
| 125 | forceinline int |
| 126 | SingletonView::glbMin() const { return x.assigned() ? |
| 127 | x.val() : BndSet::MIN_OF_EMPTY; } |
| 128 | |
| 129 | forceinline int |
| 130 | SingletonView::glbMax() const { return x.assigned() ? |