Method LastVal

gecode/flatzinc/lastval.hh:73–75

Constructor for cloning \a p

    /// Constructor for cloning \a p
    LastVal(Space& home, LastVal& p) : Propagator(home,p) {
      x.update(home, p.x);
    };
    /// Constructor for posting
    LastVal(FlatZincSpace& home, IdxViewArray<View> x0) : Propagator(home), x(x0) {
      x.subscribe(home, *this, PC_GEN_ASSIGNED);