Method val

gecode/float/var/float.hpp:52–57

    : VarImpVar<Float::FloatVarImp>(y.varimp()) {}

  forceinline FloatVal
  FloatVar::val(void) const {
    if (!x->assigned())
      throw Float::ValOfUnassignedVar("FloatVar::val");
    return x->val();
  }
  forceinline FloatNum
  FloatVar::min(void) const {
    return x->min();