ext/gecode-2.2.0/gecode/int/count.hh in gecoder-with-gecode-1.0.0 vs ext/gecode-2.2.0/gecode/int/count.hh in gecoder-with-gecode-1.1.0

- old
+ new

@@ -289,11 +289,11 @@ /// View which yields result of counting VZ z; /// Number of views which are equal and have been eliminated int c; /// Constructor for cloning \a p - BaseView(Space* home, bool shr, BaseView& p); + BaseView(Space* home, bool shar, BaseView& p); /// Constructor for creation BaseView(Space* home, ViewArray<VX>& x, VY y, VZ z, int c); /// Specification for this propagator Reflection::ActorSpec spec(const Space* home, Reflection::VarMap& m, const Support::Symbol& name) const; @@ -332,16 +332,16 @@ using BaseView<VX,VY,VZ,shr>::count; using BaseView<VX,VY,VZ,shr>::atleast; using BaseView<VX,VY,VZ,shr>::atmost; /// Constructor for cloning \a p - EqView(Space* home, bool shr, EqView& p); + EqView(Space* home, bool shar, EqView& p); public: /// Constructor for creation EqView(Space* home, ViewArray<VX>& x, VY y, VZ z, int c); /// Create copy during cloning - virtual Actor* copy(Space* home, bool shr); + virtual Actor* copy(Space* home, bool shar); /// Perform propagation virtual ExecStatus propagate(Space* home, ModEventDelta med); /// Specification for this propagator virtual Reflection::ActorSpec spec(const Space* home, Reflection::VarMap& m) const; @@ -373,16 +373,16 @@ using BaseView<VX,VY,VZ,shr>::count; using BaseView<VX,VY,VZ,shr>::atleast; using BaseView<VX,VY,VZ,shr>::atmost; /// Constructor for cloning \a p - NqView(Space* home, bool shr, NqView& p); + NqView(Space* home, bool shar, NqView& p); public: /// Constructor for creation NqView(Space* home, ViewArray<VX>& x, VY y, VZ z, int c); /// Create copy during cloning - virtual Actor* copy(Space* home, bool shr); + virtual Actor* copy(Space* home, bool shar); /// Perform propagation virtual ExecStatus propagate(Space* home, ModEventDelta med); /// Specification for this propagator virtual Reflection::ActorSpec spec(const Space* home, Reflection::VarMap& m) const; @@ -414,16 +414,16 @@ using BaseView<VX,VY,VZ,shr>::count; using BaseView<VX,VY,VZ,shr>::atleast; using BaseView<VX,VY,VZ,shr>::atmost; /// Constructor for cloning \a p - LqView(Space* home, bool shr, LqView& p); + LqView(Space* home, bool shar, LqView& p); public: /// Constructor for creation LqView(Space* home, ViewArray<VX>& x, VY y, VZ z, int c); /// Create copy during cloning - virtual Actor* copy(Space* home, bool shr); + virtual Actor* copy(Space* home, bool shar); /// Perform propagation virtual ExecStatus propagate(Space* home, ModEventDelta med); /// Specification for this propagator virtual Reflection::ActorSpec spec(const Space* home, Reflection::VarMap& m) const; @@ -455,10 +455,10 @@ using BaseView<VX,VY,VZ,shr>::count; using BaseView<VX,VY,VZ,shr>::atleast; using BaseView<VX,VY,VZ,shr>::atmost; /// Constructor for cloning \a p - GqView(Space* home, bool shr, GqView& p); + GqView(Space* home, bool share, GqView& p); public: /// Constructor for creation GqView(Space* home, ViewArray<VX>& x, VY y, VZ z, int c); /// Create copy during cloning virtual Actor* copy(Space* home, bool share);