Function FLOAT_VAL

gecode/float/branch/val.hpp:69–72

  }

  inline FloatValBranch
  FLOAT_VAL(FloatBranchVal v, FloatBranchCommit c) {
    return FloatValBranch(v,c);
  }

}