gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/gecode/set/sequence.cc

@@ -0,0 +1,48 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
+ *     $Revision: 3188 $
+ *
+ *  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/sequence.hh"
+
+using namespace Gecode::Set;
+
+namespace Gecode {
+
+  void
+  sequence(Space* home, const SetVarArgs& xa) {
+    if (home->failed()) return;
+    if (xa.size()==0)
+      throw ArgumentEmpty("Set::seq");
+    ViewArray<SetView> x(home,xa);
+    GECODE_ES_FAIL(home,Sequence::Seq::post(home, x));
+  }
+
+  void
+  sequentialUnion(Space* home, const SetVarArgs& xa, SetVar y) {
+    if (home->failed()) return;
+    ViewArray<SetView> x(home,xa);
+    GECODE_ES_FAIL(home,Sequence::SeqU::post(home, x,y));
+  }
+
+}
+
+// STATISTICS: set-post

data/ext/gecode-1.3.1/gecode/set/sequence.hh

@@ -0,0 +1,97 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
+ *     $Revision: 3188 $
+ *
+ *  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.
+ *
+ */
+
+#ifndef __GECODE_SET_SEQUENCE_HH__
+#define __GECODE_SET_SEQUENCE_HH__
+
+#include "gecode/set.hh"
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  /**
+   * \namespace Gecode::Set::Sequence
+   * \brief Propagators for ordered sequences of sets
+   */
+
+  /**
+   * \brief %Propagator for the sequence constraint
+   *
+   * Requires \code #include "gecode/set/sequence.hh" \endcode
+   * \ingroup FuncSetProp   
+   */
+
+  class Seq :
+    public NaryPropagator<SetView, PC_SET_CGLB> {
+  protected:
+    /// Constructor for cloning \a p
+    Seq(Space* home, bool share,Seq& p);
+    /// Constructor for posting
+    Seq(Space* home,ViewArray<SetView>&);
+  public:
+    /// Copy propagator during cloning
+    GECODE_SET_EXPORT virtual Actor*      copy(Space* home, bool);
+    /// Perform propagation
+    GECODE_SET_EXPORT virtual ExecStatus propagate(Space* home);
+    /// Post propagator \f$\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})\f$
+    static ExecStatus post(Space* home,ViewArray<SetView>);
+  };
+
+  /**
+   * \brief %Propagator for the sequenced union constraint
+   *
+   * Requires \code #include "gecode/set/sequence.hh" \endcode
+   * \ingroup FuncSetProp   
+   */
+
+  class SeqU : public NaryOnePropagator<SetView,PC_SET_ANY> {
+  protected:
+    GLBndSet unionOfDets; //Union of determined variables dropped form x.
+    /// Constructor for cloning \a p
+    SeqU(Space* home, bool share,SeqU& p);
+    /// Constructor for posting
+    SeqU(Space* home,ViewArray<SetView>&, SetView);
+  public:
+    /// Copy propagator during cloning
+    GECODE_SET_EXPORT virtual Actor*     copy(Space* home, bool);
+    /// Perform propagation
+    GECODE_SET_EXPORT virtual ExecStatus propagate(Space* home);
+    /// Post propagator \f$\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})\f$ and \f$ x = \bigcup_{i\in\{0,\dots,n-1\}} y_i \f$ 
+    static ExecStatus post(Space* home,ViewArray<SetView>, SetView);
+  };
+
+
+}}}
+
+#include "gecode/set/rel.hh"
+#include "gecode/set/rel-op/common.icc"
+#include "gecode/set/sequence/common.icc"
+#include "gecode/set/sequence/seq.icc"
+#include "gecode/set/sequence/seq-u.icc"
+
+#endif
+
+// STATISTICS: set-prop

data/ext/gecode-1.3.1/gecode/set/sequence/common.icc

@@ -0,0 +1,79 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-08-25 17:31:32 +0200 (Fri, 25 Aug 2006) $ by $Author: tack $
+ *     $Revision: 3573 $
+ *
+ *  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.
+ *
+ */
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  forceinline
+  ExecStatus propagateSeq(Space* home,
+			  bool& modified, bool& assigned,
+			  ViewArray<SetView>& x) {
+
+    int lastElem = x.size()-1;
+    int cur_max = BndSet::MAX_OF_EMPTY;
+    int cur_min = BndSet::MIN_OF_EMPTY;
+
+    for (int i=0; i<lastElem; i++) {
+      if (x[i].glbSize() > 0) {
+	int glbMax = x[i].glbMax();
+	cur_max = std::max(cur_max, glbMax);
+      }
+      if (cur_max>=Limits::Set::int_min)
+	GECODE_SET_ME_CHECK_VAL_B(modified,
+			      x[i+1].exclude(home, Limits::Set::int_min,
+					     cur_max),
+			      assigned);
+
+      if (x[lastElem-i].lubSize() > 0) {
+	int glbMin = x[lastElem-i].glbMin();
+	cur_min = std::min(cur_min, glbMin);
+      }
+      if (Limits::Set::int_max>=cur_min)
+	GECODE_SET_ME_CHECK_VAL_B(modified,
+			      x[lastElem-i-1].exclude(home, cur_min,
+						      Limits::Set::int_max),
+			      assigned);
+    }
+    return ES_FIX;
+  }
+
+  forceinline
+  ExecStatus propagateSeqUnion(Space* home,
+		      bool& modified, ViewArray<SetView>& x, SetView& y) {
+
+    GECODE_AUTOARRAY(GlbRanges<SetView>, XLBs,x.size());
+    for (int i=x.size(); i--; ){
+      GlbRanges<SetView> lb(x[i]);
+      XLBs[i]=lb;
+    }
+    Iter::Ranges::NaryAppend<GlbRanges<SetView> > u(XLBs,x.size());
+    GECODE_ME_CHECK_MODIFIED(modified, y.includeI(home,u));
+    return ES_FIX;
+  }
+
+}}}
+
+// STATISTICS: set-prop

data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.cc

@@ -0,0 +1,83 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
+ *     $Revision: 3188 $
+ *
+ *  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/sequence.hh"
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  /*
+   * "Sequenced union" propagator
+   *
+   */
+
+  Actor*
+  SeqU::copy(Space* home, bool share) {
+    return new (home) SeqU(home,share,*this);
+  }
+
+  //Enforces sequentiality and ensures y contains union of Xi lower bounds.
+  ExecStatus
+  SeqU::propagate(Space* home) {
+    ModEvent me0 = SetView::pme(this);
+    bool ubevent = Rel::testSetEventUB(me0);
+    bool lbevent = Rel::testSetEventLB(me0);
+    bool anybevent = Rel::testSetEventAnyB(me0);
+    bool cardevent = Rel::testSetEventCard(me0);
+
+    bool modified = false;
+    bool assigned=false;
+    bool oldModified = false;
+
+    do {
+      oldModified = modified;
+      modified = false;
+
+      if (oldModified || modified || lbevent)
+        GECODE_ME_CHECK(propagateSeq(home,modified,assigned,x));
+      if (oldModified || modified || lbevent)
+        GECODE_ME_CHECK(propagateSeqUnion(home,modified,x,y));
+      if (oldModified || modified || ubevent)
+        GECODE_ME_CHECK(RelOp::unionNXiUB(home,modified,x,y,unionOfDets));
+      if (oldModified || modified || ubevent)
+        GECODE_ME_CHECK(RelOp::partitionNYUB(home,modified,x,y,unionOfDets));
+      if (oldModified || modified || anybevent)
+        GECODE_ME_CHECK(RelOp::partitionNXiLB(home,modified,x,y,unionOfDets));
+      if (oldModified || modified || cardevent || ubevent)
+        GECODE_ME_CHECK(RelOp::partitionNCard(home,modified,x,y,unionOfDets));
+
+    } while (modified);
+
+    for (int i=x.size(); i--;)
+      if (!x[i].assigned())
+	return ES_FIX;
+    return ES_SUBSUMED;
+  }
+
+}}}
+
+// STATISTICS: set-prop

data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.icc

@@ -0,0 +1,63 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-03-29 14:18:06 +0200 (Wed, 29 Mar 2006) $ by $Author: tack $
+ *     $Revision: 3130 $
+ *
+ *  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.
+ *
+ */
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  /*
+   * "Sequenced union" propagator
+   *
+   */
+
+  forceinline
+  SeqU::SeqU(Space* home, ViewArray<SetView>& x, SetView y)
+    : NaryOnePropagator<SetView,PC_SET_ANY>(home,x, y) {}
+
+  forceinline
+  SeqU::SeqU(Space* home, bool share, SeqU& p)
+    : NaryOnePropagator<SetView,PC_SET_ANY>(home,share,p) {
+    unionOfDets.update(home, p.unionOfDets);
+  }
+
+  forceinline ExecStatus
+  SeqU::post(Space* home, ViewArray<SetView> x, SetView y) {
+    switch (x.size()) {
+    case 0:
+      GECODE_ME_CHECK(y.cardMax(home, 0));
+      return ES_OK;
+    case 1:
+      return Rel::Eq<SetView,SetView>::post(home, x[0], y);
+    default:
+      if (x.shared() || x.shared(y))
+	return ES_FAILED;
+      (void) new (home) SeqU(home,x,y);
+      return ES_OK;
+    }
+  }
+
+}}}
+
+// STATISTICS: set-prop

data/ext/gecode-1.3.1/gecode/set/sequence/seq.cc

@@ -0,0 +1,61 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
+ *     $Revision: 3188 $
+ *
+ *  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/sequence.hh"
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  /*
+   * "Sequence" propagator
+   *
+   */
+
+  Actor*
+  Seq::copy(Space* home, bool share) {
+    return new (home) Seq(home,share,*this);
+  }
+
+  ExecStatus
+  Seq::propagate(Space* home) {
+    bool modified = false;
+    bool assigned;
+    do {
+      assigned = false;
+      GECODE_ES_CHECK(propagateSeq(home, modified, assigned, x));
+    } while (assigned);
+
+    for (int i=x.size(); i--;) {
+      if (!x[i].assigned())
+	return ES_FIX;
+    }
+    return ES_SUBSUMED;
+  }
+
+}}}
+
+// STATISTICS: set-prop

data/ext/gecode-1.3.1/gecode/set/sequence/seq.icc

@@ -0,0 +1,53 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2005-11-24 18:03:01 +0100 (Thu, 24 Nov 2005) $ by $Author: tack $
+ *     $Revision: 2639 $
+ *
+ *  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.
+ *
+ */
+
+namespace Gecode { namespace Set { namespace Sequence {
+
+  /*
+   * "Sequence" propagator
+   *
+   */
+
+  forceinline
+  Seq::Seq(Space* home, ViewArray<SetView>& x)
+    : NaryPropagator<SetView, PC_SET_CGLB>(home,x) {}
+
+  forceinline
+  Seq::Seq(Space* home, bool share, Seq& p)
+    : NaryPropagator<SetView, PC_SET_CGLB>(home,share,p) {}
+
+  forceinline ExecStatus
+  Seq::post(Space* home, ViewArray<SetView> x) {
+    if (x.shared())
+      return ES_FAILED;
+    (void) new (home) Seq(home,x);
+    return ES_OK;
+  }
+
+}}}
+
+// STATISTICS: set-prop