gecoder-with-gecode 0.7.1 → 0.8.0

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

@@ -1,192 +0,0 @@
-/*
- *  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

@@ -1,235 +0,0 @@
-/*
- *  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

@@ -1,127 +0,0 @@
-/*
- *  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
-