Method changed

gecode/int/view-val-graph/node.hpp:149–152

  }
  template<class View>
  forceinline bool
  ViewNode<View>::changed(void) const {
    return _size != _view.size();
  }
  template<class View>
  forceinline void
  ViewNode<View>::update(void) {