Method getVal

gecode/int/gcc/dom-sup.hpp:918–922

  }

  forceinline ValNode*
  Edge::getVal(void) const {
    assert(v != nullptr);
    return v;
  }

  forceinline Node*
  Edge::getMate(bool type) const {