Method update

gecode/int/unary/tree.hpp:47–51

  }

  forceinline void
  OmegaNode::update(const OmegaNode& l, const OmegaNode& r) {
    p = l.p + r.p;
    ect = std::max(plus(l.ect,r.p), r.ect);
  }

  template<class TaskView>
  forceinline