Method dropUntil

test/float.cpp:196–200

  }

  void
  TestSpace::dropUntil(const Assignment& a) {
    for (int i = x.size(); i--; )
      Gecode::rel(*this, x[i], Gecode::FRT_GQ, a[i].min());
  }

  bool
  TestSpace::assigned(void) const {