Function optional

gecode/int/no-overlap.cpp:40–46

  namespace Int { namespace NoOverlap {

    bool
    optional(const BoolVarArgs& m) {
      for (int i=0; i<m.size(); i++)
        if (m[i].none())
          return true;
      return false;
    }

  }}