gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/gecode/set/var/imp-body.icc

@@ -0,0 +1,192 @@
+/*
+ *  CAUTION:
+ *    This file has been automatically generated.
+ *    Do not edit, edit the file "../trunk/gecode/set/var-imp.vis" instead.
+ *
+ *  This file contains generated code fragments which are 
+ *  copyrighted as follows:
+ *
+ *  Main author:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2006
+ *
+ *  The generated code fragments are part of Gecode, the generic
+ *  constraint development environment:
+ *     http://www.gecode.org
+ *
+ *  See the file "LICENSE" for information on usage and
+ *  redistribution of this file, and for a
+ *     DISCLAIMER OF ALL WARRANTIES.
+ *
+ */
+
+
+namespace Gecode { namespace Set {
+
+
+  /*
+   * Modification event difference for Set-variable implementations
+   *
+   */
+  const Gecode::ModEvent SetMeDiff::med[ME_SET_CBB+1][ME_SET_CBB+1] = {
+    {
+      ME_SET_NONE ^ ME_SET_NONE, // [ME_SET_NONE][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_NONE][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CARD, // [ME_SET_NONE][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_LUB, // [ME_SET_NONE][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_GLB, // [ME_SET_NONE][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_BB, // [ME_SET_NONE][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CLUB, // [ME_SET_NONE][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CGLB, // [ME_SET_NONE][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_NONE][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_VAL, // [ME_SET_VAL][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_VAL  // [ME_SET_VAL][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_CARD, // [ME_SET_CARD][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_CARD][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CARD, // [ME_SET_CARD][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_CLUB, // [ME_SET_CARD][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_CGLB, // [ME_SET_CARD][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_CBB, // [ME_SET_CARD][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CLUB, // [ME_SET_CARD][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CGLB, // [ME_SET_CARD][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_CARD][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_LUB, // [ME_SET_LUB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_LUB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CLUB, // [ME_SET_LUB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_LUB, // [ME_SET_LUB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_BB, // [ME_SET_LUB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_BB, // [ME_SET_LUB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CLUB, // [ME_SET_LUB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CBB, // [ME_SET_LUB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_LUB][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_GLB, // [ME_SET_GLB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_GLB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CGLB, // [ME_SET_GLB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_BB, // [ME_SET_GLB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_GLB, // [ME_SET_GLB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_BB, // [ME_SET_GLB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CBB, // [ME_SET_GLB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CGLB, // [ME_SET_GLB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_GLB][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_BB, // [ME_SET_BB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_BB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CBB, // [ME_SET_BB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_BB, // [ME_SET_BB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_BB, // [ME_SET_BB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_BB, // [ME_SET_BB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CBB, // [ME_SET_BB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CBB, // [ME_SET_BB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_BB][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_CLUB, // [ME_SET_CLUB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_CLUB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CLUB, // [ME_SET_CLUB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_CLUB, // [ME_SET_CLUB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_CBB, // [ME_SET_CLUB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_CBB, // [ME_SET_CLUB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CLUB, // [ME_SET_CLUB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CBB, // [ME_SET_CLUB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_CLUB][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_CGLB, // [ME_SET_CGLB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_CGLB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CGLB, // [ME_SET_CGLB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_CBB, // [ME_SET_CGLB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_CGLB, // [ME_SET_CGLB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_CBB, // [ME_SET_CGLB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CBB, // [ME_SET_CGLB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CGLB, // [ME_SET_CGLB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_CGLB][ME_SET_CBB]
+    },
+    {
+      ME_SET_NONE ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_NONE]
+      ME_SET_VAL ^ ME_SET_VAL, // [ME_SET_CBB][ME_SET_VAL]
+      ME_SET_CARD ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_CARD]
+      ME_SET_LUB ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_LUB]
+      ME_SET_GLB ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_GLB]
+      ME_SET_BB ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_BB]
+      ME_SET_CLUB ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_CLUB]
+      ME_SET_CGLB ^ ME_SET_CBB, // [ME_SET_CBB][ME_SET_CGLB]
+      ME_SET_CBB ^ ME_SET_CBB  // [ME_SET_CBB][ME_SET_CBB]
+    }
+  };
+
+
+  /*
+   * The variable processor for SetVarImpBase
+   *
+   */
+
+  void
+  SetVarImpBase::Processor::process(Space* home, VarBase* _x) {
+    // Process modified variables
+    Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>* x = 
+      static_cast<Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>*>(_x);
+    do {
+      switch (x->modevent()) {
+      case ME_SET_VAL:
+        x->process(home);
+        break;
+      case ME_SET_CARD:
+        // Conditions: CARD CLUB CGLB ANY 
+        x->process(home,PC_SET_CARD,PC_SET_ANY,ME_SET_CARD);
+        break;
+      case ME_SET_LUB:
+        // Conditions: CLUB ANY 
+        x->process(home,PC_SET_CLUB,PC_SET_CLUB,ME_SET_LUB);
+        x->process(home,PC_SET_ANY,PC_SET_ANY,ME_SET_LUB);
+        break;
+      case ME_SET_GLB:
+        // Conditions: CGLB ANY 
+        x->process(home,PC_SET_CGLB,PC_SET_ANY,ME_SET_GLB);
+        break;
+      case ME_SET_BB:
+        // Conditions: CLUB CGLB ANY 
+        x->process(home,PC_SET_CLUB,PC_SET_ANY,ME_SET_BB);
+        break;
+      case ME_SET_CLUB:
+        // Conditions: CARD CLUB CGLB ANY 
+        x->process(home,PC_SET_CARD,PC_SET_ANY,ME_SET_CLUB);
+        break;
+      case ME_SET_CGLB:
+        // Conditions: CARD CLUB CGLB ANY 
+        x->process(home,PC_SET_CARD,PC_SET_ANY,ME_SET_CGLB);
+        break;
+      case ME_SET_CBB:
+        // Conditions: CARD CLUB CGLB ANY 
+        x->process(home,PC_SET_CARD,PC_SET_ANY,ME_SET_CBB);
+        break;
+      default: GECODE_NEVER;
+      }
+      x = x->next();
+    } while (x != NULL);
+  }
+
+  
+  SetVarImpBase::Processor SetVarImpBase::p;
+
+
+}}
+
+// STATISTICS: set-var

data/ext/gecode-1.3.1/gecode/set/var/imp-hdr.icc

@@ -0,0 +1,235 @@
+/*
+ *  CAUTION:
+ *    This file has been automatically generated.
+ *    Do not edit, edit the file "../trunk/gecode/set/var-imp.vis" instead.
+ *
+ *  This file contains generated code fragments which are 
+ *  copyrighted as follows:
+ *
+ *  Main author:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2006
+ *
+ *  The generated code fragments are part of Gecode, the generic
+ *  constraint development environment:
+ *     http://www.gecode.org
+ *
+ *  See the file "LICENSE" for information on usage and
+ *  redistribution of this file, and for a
+ *     DISCLAIMER OF ALL WARRANTIES.
+ *
+ */
+
+
+namespace Gecode { namespace Set {
+
+  /**
+   * \defgroup TaskActorSetMEPC Set modification events and propagation conditions
+   * \ingroup TaskActorSet
+   */
+
+  //@{
+  /// Domain operation has resulted in failure
+  const Gecode::ModEvent ME_SET_FAILED = Gecode::ME_GEN_FAILED;
+
+  /// Domain operation has not changed domain
+  const Gecode::ModEvent ME_SET_NONE = Gecode::ME_GEN_NONE;
+
+  /// Domain operation has resulted in a value (assigned variable)
+  const Gecode::ModEvent ME_SET_VAL = Gecode::ME_GEN_ASSIGNED;
+
+  /**
+   * \brief Domain operation has changed the variable cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value.
+   */
+  const Gecode::ModEvent ME_SET_CARD = Gecode::ME_GEN_ASSIGNED + 1;
+
+  /**
+   * \brief Domain operation has changed the least upper bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also neither cardinality nor the greatest lower bound
+   * have changed.
+   */
+  const Gecode::ModEvent ME_SET_LUB = Gecode::ME_GEN_ASSIGNED + 2;
+
+  /**
+   * \brief Domain operation has changed the greatest lower bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also neither cardinality nor the least upper bound
+   * have changed.
+   */
+  const Gecode::ModEvent ME_SET_GLB = Gecode::ME_GEN_ASSIGNED + 3;
+
+  /**
+   * \brief Domain operation has changed both greatest lower and least
+   * upper bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the cardinality has not changed.
+   */
+  const Gecode::ModEvent ME_SET_BB = Gecode::ME_GEN_ASSIGNED + 4;
+
+  /**
+   * \brief Domain operation has changed the least upper bound and the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the greatest lower bound has not changed.
+   */
+  const Gecode::ModEvent ME_SET_CLUB = Gecode::ME_GEN_ASSIGNED + 5;
+
+  /**
+   * \brief Domain operation has changed the greatest lower bound and the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the least upper bound has not changed.
+   */
+  const Gecode::ModEvent ME_SET_CGLB = Gecode::ME_GEN_ASSIGNED + 6;
+
+  /**
+   * \brief Domain operation has changed both the greatest lower bound and
+   * the least upper bound, as well as the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value.
+   *
+   * If a propagator subscribes to this variable, it will be processed
+   * assuming a ME_SET_CBB modification event.
+   *
+   */
+
+  const Gecode::ModEvent ME_SET_CBB = Gecode::ME_GEN_ASSIGNED + 7;
+
+  /**
+   * \brief Propagate when a view becomes assigned (single value)
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_VAL, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL.
+   */
+  const Gecode::PropCond PC_SET_VAL = Gecode::PC_GEN_ASSIGNED;
+
+  /**
+   * \brief Propagate when the cardinality of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CARD, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.
+   */
+  const Gecode::PropCond PC_SET_CARD = Gecode::PC_GEN_ASSIGNED + 1;
+
+  /**
+   * \brief Propagate when the cardinality or the least upper bound
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CLUB, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_LUB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB,
+   * or ME_SET_CBB.
+   */
+  const Gecode::PropCond PC_SET_CLUB = Gecode::PC_GEN_ASSIGNED + 2;
+
+  /**
+   * \brief Propagate when the cardinality or the greatest lower bound
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CGLB, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_GLB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB,
+   * or ME_SET_CBB.
+   */
+  const Gecode::PropCond PC_SET_CGLB = Gecode::PC_GEN_ASSIGNED + 3;
+
+  /**
+   * \brief Propagate when any bound or the cardinality
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_ANY, then \a p is propagated when a domain
+   * update operation on \a x returns any modification event but ME_SET_FAILED
+   * and ME_SET_NONE.
+   */
+  const Gecode::PropCond PC_SET_ANY = Gecode::PC_GEN_ASSIGNED + 4;
+
+  //@}
+
+  /// Modification event difference for Set-variable implementations
+  class SetMeDiff {
+  private:
+    GECODE_SET_EXPORT static const Gecode::ModEvent med[ME_SET_CBB+1][ME_SET_CBB+1];
+  public:
+    /// Return difference when changing modification event \a me2 to \a me1
+    ModEvent operator()(ModEvent me1, ModEvent me2) const;
+  };
+
+  /// Base-class for Set-variable implementations
+  class SetVarImpBase : public Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff> {
+  protected:
+    /// Variable procesor for variables of this type
+    class Processor : public Gecode::VarTypeProcessor<VTI_SET,PC_SET_ANY,SetMeDiff> {
+    public:
+      /// Process modified variables linked from \a x
+      GECODE_SET_EXPORT virtual void process(Space* home, VarBase* x);
+    };
+    /// The processor used
+    GECODE_SET_EXPORT static Processor p;
+    /// Constructor for cloning \a x
+    SetVarImpBase(Space* home, bool share, SetVarImpBase& x);
+  public:
+    /// Constructor for creating variable
+    SetVarImpBase(Space* home);
+    /// \name Dependencies
+    //@{
+    /** \brief Subscribe propagator \a p with propagation condition \a pc to variable
+     *
+     * In case \a process is false, the propagator is just subscribed but
+     * not processed for execution (this must be used when creating
+     * subscriptions during propagation).
+     *
+     * In case the variable is assigned (that is, \a assigned is 
+     * true), the subscribing propagator is processed for execution.
+     * Otherwise, the propagator subscribes and is processed for execution
+     * with modification event \a me provided that \a pc is different
+     * from \a PC_GEN_ASSIGNED.
+     */
+    void subscribe(Space* home, Propagator* p, PropCond pc, bool assigned, bool process);
+    /// Notify that variable implementation has been modified with modification event \a me
+    void notify(Space* home, ModEvent me);
+    //@}
+
+
+  };
+
+
+  forceinline ModEvent
+  SetMeDiff::operator()(ModEvent me1, ModEvent me2) const {
+    return med[me1][me2];
+  }
+
+  forceinline
+  SetVarImpBase::SetVarImpBase(Space* home)
+    : Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>(home) {}
+
+  forceinline
+  SetVarImpBase::SetVarImpBase(Space* home, bool share, SetVarImpBase& x)
+    : Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>(home,share,x) {}
+
+  forceinline void
+  SetVarImpBase::subscribe(Space* home, Propagator* p, PropCond pc, bool assigned, bool process) {
+    Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>::subscribe(home,p,pc,assigned,ME_SET_CBB,process);
+  }
+
+  forceinline void
+  SetVarImpBase::notify(Space* home, ModEvent me) {
+    Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>::notify(home,me);
+  }
+
+}}
+
+// STATISTICS: set-var

data/ext/gecode-1.3.1/gecode/set/var/imp.cc

@@ -0,0 +1,127 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-08-25 10:43:21 +0200 (Fri, 25 Aug 2006) $ by $Author: schulte $
+ *     $Revision: 3568 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  See the file "LICENSE" for information on usage and
+ *  redistribution of this file, and for a
+ *     DISCLAIMER OF ALL WARRANTIES.
+ *
+ */
+
+#include "gecode/set.hh"
+
+#include "gecode/set/var/imp-body.icc"
+
+namespace Gecode { namespace Set {
+
+  /*
+   * "Standard" tell operations
+   *
+   */
+  ModEvent
+  SetVarImp::cardMin_full(Space* home,unsigned int newMin) {
+    ModEvent me = ME_SET_CARD;
+    if (_cardMin == _cardMax)
+      me = checkLubCardAssigned(home,ME_SET_CARD);
+    if (!me_failed(me))
+      notify(home, me);
+    return me;
+  }
+
+  ModEvent
+  SetVarImp::cardMax_full(Space* home,unsigned int newMax) {
+    ModEvent me = ME_SET_CARD;
+    if (_cardMin == _cardMax)
+      me = checkGlbCardAssigned(home,ME_SET_CARD);
+    if (!me_failed(me))
+      notify(home, me);
+    return me;
+  }
+
+  ModEvent
+  SetVarImp::processLubChange(Space* home) {
+    if (!boundsConsistent()) {
+      return ME_SET_FAILED;
+    }
+    ModEvent me;
+    if (_cardMax > lub.size()) {
+      _cardMax = lub.size();
+      if (cardMin() > cardMax())
+        return ME_SET_FAILED;
+      if (assigned()) {
+        lub.linkTo(home, glb);
+        me = ME_SET_VAL;
+      } else {
+        me = checkLubCardAssigned(home, ME_SET_CLUB);
+      }
+    } else {
+      me = checkLubCardAssigned(home, ME_SET_LUB);
+    }
+    if (!me_failed(me))
+      notify(home, me);
+    return me;
+  }
+
+  ModEvent
+  SetVarImp::processGlbChange(Space* home) {
+    if (!boundsConsistent())
+      return ME_SET_FAILED;
+    ModEvent me;
+    if (_cardMin < glb.size()) {
+      _cardMin = glb.size();
+      if (cardMin() > cardMax())
+        return ME_SET_FAILED;
+      if (assigned()) {
+        lub.linkTo(home, glb);
+        me = ME_SET_VAL;
+      } else {
+        me = checkGlbCardAssigned(home, ME_SET_CGLB);
+      }
+    } else {
+      me = checkGlbCardAssigned(home, ME_SET_GLB);
+    }
+    if (me!=ME_SET_FAILED)
+      notify(home, me);
+    return me;
+  }
+
+  /*
+   * Copying variables
+   *
+   */
+
+  forceinline
+  SetVarImp::SetVarImp(Space* home, bool share, SetVarImp& x)
+    : SetVarImpBase(home,share,x),
+      _cardMin(x._cardMin), _cardMax(x._cardMax) {
+    lub.update(home, x.lub);
+    if (x.assigned()) {
+      glb.linkTo(home,lub);
+    } else {
+      glb.update(home,x.glb);
+    }
+  }
+
+
+  SetVarImp*
+  SetVarImp::perform_copy(Space* home, bool share) {
+    return new (home) SetVarImp(home,share,*this);
+  }
+
+}}
+
+// STATISTICS: set-var
+