Method use

gecode/int/gcc/dom-sup.hpp:850–856

    next_vedge(nullptr), prev_vedge(nullptr), ef(EF_NONE) {}

  forceinline void
  Edge::use(BC bc) {
    if (bc == UBC)
      ef |= EF_MRKUB;
    else
      ef |= EF_MRKLB;
  }
  forceinline void
  Edge::free(BC bc) {
    if (bc == UBC)