gecoder-with-gecode 0.7.1

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

@@ -0,0 +1,201 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Contributing authors:
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004, 2005
+ *
+ *  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/iter.hh"
+#include "gecode/set/rel.hh"
+#include "gecode/set/rel-op.hh"
+#include "gecode/set/int.hh"
+
+namespace Gecode {
+  using namespace Set;
+  using namespace Set::Rel;
+  using namespace Set::RelOp;
+  
+  template <class View0, class View1>
+  void
+  rel_post(Space* home, View0 x0, SetRelType r, View1 x1) {
+    if (home->failed()) return;
+    switch(r) {
+    case SRT_EQ:
+      {
+	GECODE_ES_FAIL(home,
+		       (Eq<View0,View1>::post(home,x0,x1)));
+      }
+      break;
+    case SRT_NQ:
+      {
+	GECODE_ES_FAIL(home,
+		       (Distinct<View0,View1>::post(home,x0,x1)));
+      }
+      break;
+    case SRT_SUB:
+      {
+	GECODE_ES_FAIL(home,
+		       (SubSet<View0,View1>::post(home, x0,x1)));
+      }
+      break;
+    case SRT_SUP:
+      {
+	GECODE_ES_FAIL(home,
+		       (SubSet<View1,View0>::post(home, x1,x0)));
+      }
+      break;
+    case SRT_DISJ:
+      {
+	EmptyView emptyset;
+	GECODE_ES_FAIL(home,(SuperOfInter<View0,View1,EmptyView>
+			     ::post(home, x0, x1, emptyset)));
+      }
+      break;
+    case SRT_CMPL:
+      {
+	ComplementView<View0> cx0(x0);
+	GECODE_ES_FAIL(home,
+		       (Eq<ComplementView<View0>, View1>
+			::post(home, cx0, x1)));
+      }
+      break;
+    }
+  }
+
+  template <class View0, class View1>
+  void
+  rel_re(Space* home, View0 x, SetRelType r, View1 y, BoolVar b) {
+    if (home->failed()) return;
+    switch(r) {
+    case SRT_EQ:
+      {
+	GECODE_ES_FAIL(home,
+		       (ReEq<View0,View1>::post(home, x,y,b)));
+      }
+      break;
+    case SRT_NQ:
+      {
+	BoolVar notb(home, 0, 1);
+	bool_not(home, b, notb);
+	GECODE_ES_FAIL(home,
+		       (ReEq<View0,View1>::post(home,
+							   x,y,notb)));
+      }
+      break;
+    case SRT_SUB:
+      {
+	GECODE_ES_FAIL(home,
+		       (ReSubset<View0,View1>::post(home, x,y,b)));
+      }
+      break;
+    case SRT_SUP:
+      {
+	GECODE_ES_FAIL(home,
+		       (ReSubset<View1,View0>::post(home, y,x,b)));
+      }
+      break;
+    case SRT_DISJ:
+      {
+	// x||y <=> b is equivalent to
+	// ( y <= complement(x) and x<=complement(y) ) <=> b
+
+	// set up BoolVars for the conjunction
+	BoolVar b1(home, 0, 1);
+	BoolVar b2(home, 0, 1);
+	bool_and(home, b1, b2, b);	
+
+	ComplementView<View0> xc(x);
+	ComplementView<View1> yc(y);
+
+	GECODE_ES_FAIL(home,
+		       (ReSubset<View0,ComplementView<View1> >
+			::post(home, x, yc, b1)));
+	GECODE_ES_FAIL(home,
+		       (ReSubset<View1,ComplementView<View0> >
+			::post(home, y, xc, b2)));
+      }
+      break;
+    case SRT_CMPL:
+      {
+	ComplementView<View0> cx(x);
+	GECODE_ES_FAIL(home,
+		       (ReEq<ComplementView<View0>,
+			View1>::post(home, cx, y, b)));
+      }
+      break;
+    }
+  }
+
+  void
+  rel(Space* home, SetVar x, SetRelType r, SetVar y) {
+    rel_post<SetView,SetView>(home,x,r,y);
+  }
+
+  void
+  rel(Space* home, SetVar s, SetRelType r, IntVar x) {
+    Gecode::Int::IntView xv(x);
+    SingletonView xsingle(xv);
+    rel_post<SetView,SingletonView>(home,s,r,xv);
+  }
+
+  void
+  rel(Space* home, IntVar x, SetRelType r, SetVar s) {
+    switch(r) {
+    case SRT_SUB:
+      rel(home, s, SRT_SUP, x);
+      break;
+    case SRT_SUP:
+      rel(home, s, SRT_SUB, x);
+      break;
+    default:
+      rel(home, s, r, x);
+    }
+  }
+
+  void
+  rel(Space* home, SetVar x, SetRelType r, SetVar y, BoolVar b) {
+    rel_re<SetView,SetView>(home,x,r,y,b);
+  }
+
+  void
+  rel(Space* home, SetVar s, SetRelType r, IntVar x, BoolVar b) {
+    Gecode::Int::IntView xv(x);
+    SingletonView xsingle(xv);
+    rel_re<SetView,SingletonView>(home,s,r,xsingle,b);
+  }
+
+  void
+  rel(Space* home, IntVar x, SetRelType r, SetVar s, BoolVar b) {
+    switch(r) {
+    case SRT_SUB:
+      rel(home, s, SRT_SUP, x, b);
+      break;
+    case SRT_SUP:
+      rel(home, s, SRT_SUB, x, b);
+      break;
+    default:
+      rel(home, s, r, x, b);
+    }
+  }
+
+}
+
+// STATISTICS: set-post

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

@@ -0,0 +1,250 @@
+/*
+ *  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-05-29 09:42:21 +0200 (Mon, 29 May 2006) $ by $Author: schulte $
+ *     $Revision: 3246 $
+ *
+ *  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_REL_HH__
+#define __GECODE_SET_REL_HH__
+
+#include "gecode/set.hh"
+#include "gecode/iter.hh"
+
+namespace Gecode { namespace Set { namespace Rel {
+
+  /**
+   * \namespace Gecode::Set::Rel
+   * \brief Standard set relation propagators
+   */
+
+  /**
+   * \brief %Propagator for the subset constraint
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp
+   */
+
+  template <class View0, class View1>
+  class SubSet :
+    public InhomBinaryPropagator<View0,PC_SET_CGLB,View1,PC_SET_CLUB> {
+  protected:
+    using InhomBinaryPropagator<View0,PC_SET_CGLB,View1,PC_SET_CLUB>::x0;
+    using InhomBinaryPropagator<View0,PC_SET_CGLB,View1,PC_SET_CLUB>::x1;
+    /// Constructor for cloning \a p
+    SubSet(Space* home, bool share,SubSet& p);
+    /// Constructor for posting
+    SubSet(Space* home,View0, View1);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Perform propagation
+    virtual ExecStatus propagate(Space* home);
+    /// Post propagator \f$ x\subseteq y\f$
+    static  ExecStatus post(Space* home,View0 x,View1 y);
+  };
+
+  /**
+   * \brief %Propagator for the negated subset constraint
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp
+   */
+
+  template <class View0, class View1>
+  class NoSubSet :
+    public InhomBinaryPropagator<View0,PC_SET_CLUB,View1,PC_SET_CGLB> {
+  protected:
+    using InhomBinaryPropagator<View0,PC_SET_CLUB,View1,PC_SET_CGLB>::x0;
+    using InhomBinaryPropagator<View0,PC_SET_CLUB,View1,PC_SET_CGLB>::x1;
+    /// Constructor for cloning \a p
+    NoSubSet(Space* home, bool share,NoSubSet& p);
+    /// Constructor for posting
+    NoSubSet(Space* home,View0,View1);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Perform propagation
+    virtual ExecStatus propagate(Space* home);
+    /// Post propagator \f$ x\subseteq y\f$
+    static  ExecStatus post(Space* home,View0 x,View1 y);
+  };
+
+  /**
+   * \brief %Reified subset propagator
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp
+   */
+  template <class View0, class View1>
+  class ReSubset :
+    public Propagator {
+  protected:
+    View0 x0;
+    View1 x1;
+    Gecode::Int::BoolView b;
+
+    /// Constructor for cloning \a p
+    ReSubset(Space* home, bool share,ReSubset&);
+    /// Constructor for posting
+    ReSubset(Space* home,View0, View1, Gecode::Int::BoolView);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Cost function (defined as PC_TERNARY_LO)
+    virtual PropCost cost(void) const;
+    /// Delete propagator and return its size
+    virtual size_t dispose(Space* home);
+    /// Perform propagation
+    virtual ExecStatus propagate(Space* home);
+    /// Post propagator for \f$ (x\subseteq y) \Leftrightarrow b \f$ 
+    static ExecStatus post(Space* home,View0 x, View1 y,
+			   Gecode::Int::BoolView b);
+  };
+
+  /**
+   * \brief %Propagator for set equality
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp
+   */
+
+  template <class View0, class View1>
+  class Eq : 
+    public InhomBinaryPropagator<View0,PC_SET_ANY,View1,PC_SET_ANY> {
+  protected:
+    using InhomBinaryPropagator<View0,PC_SET_ANY,View1,PC_SET_ANY>::x0;
+    using InhomBinaryPropagator<View0,PC_SET_ANY,View1,PC_SET_ANY>::x1;
+    /// Constructor for cloning \a p
+    Eq(Space* home, bool share,Eq& p);
+    /// Constructor for posting
+    Eq(Space* home,View0, View1);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Perform propagation
+    virtual ExecStatus  propagate(Space* home);
+    /// Post propagator \f$ x=y \f$ 
+    static  ExecStatus  post(Space* home,View0,View1);
+  };
+
+  /**
+   * \brief %Reified equality propagator
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp
+   */
+  template <class View0, class View1>
+  class ReEq :
+    public Propagator {
+  protected:
+    View0 x0;
+    View1 x1;
+    Gecode::Int::BoolView b;
+
+    /// Constructor for cloning \a p
+    ReEq(Space* home, bool share,ReEq&);
+    /// Constructor for posting
+    ReEq(Space* home,View0, View1, Gecode::Int::BoolView);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Cost function (defined as PC_TERNARY_LO)
+    virtual PropCost cost(void) const;
+    /// Delete propagator and return its size
+    virtual size_t dispose(Space* home);
+    /// Perform propagation
+    virtual ExecStatus propagate(Space* home);
+  /// Post propagator for \f$ (x=y) \Leftrightarrow b\f$ 
+    static ExecStatus post(Space* home,View0 x, View1 y,
+			   Gecode::Int::BoolView b);
+  };
+
+  /**
+   * \brief %Propagator for negated equality
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp   
+   */
+
+  template <class View0, class View1>
+  class Distinct :
+    public InhomBinaryPropagator<View0,PC_SET_VAL,View1,PC_SET_VAL> {
+  protected:
+    using InhomBinaryPropagator<View0,PC_SET_VAL,View1,PC_SET_VAL>::x0;
+    using InhomBinaryPropagator<View0,PC_SET_VAL,View1,PC_SET_VAL>::x1;
+    /// Constructor for cloning \a p
+    Distinct(Space* home, bool share,Distinct& p);
+    /// Constructor for posting
+    Distinct(Space* home,View0,View1);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home,bool);
+    /// Perform propagation
+    virtual ExecStatus  propagate(Space* home);
+    /// Post propagator \f$ x\neq y \f$ 
+    static  ExecStatus  post(Space* home,View0,View1);
+  };
+
+  /**
+   * \brief %Propagator for negated equality
+   *
+   * This propagator actually propagates the distinctness, after the
+   * Distinct propagator waited for one variable to become
+   * assigned.
+   *
+   * Requires \code #include "gecode/set/rel.hh" \endcode
+   * \ingroup FuncSetProp   
+   */
+  template <class View0, class View1>
+  class DistinctDoit : public UnaryPropagator<View0,PC_SET_ANY> {
+  protected:
+    using UnaryPropagator<View0,PC_SET_ANY>::x0;
+    /// The view that is already assigned
+    View1 y;
+    /// Constructor for cloning \a p
+    DistinctDoit(Space* home, bool share,DistinctDoit&);
+    /// Constructor for posting
+    DistinctDoit(Space* home, View0, View1);
+  public:
+    /// Copy propagator during cloning
+    virtual Actor*      copy(Space* home, bool);
+    /// Perform propagation
+    virtual ExecStatus propagate(Space* home);
+    /// Post propagator \f$ x\neq y \f$ 
+    static ExecStatus post(Space* home, View0, View1);
+  };
+
+}}}
+
+#include "gecode/set/rel/common.icc"
+#include "gecode/set/rel/subset.icc"
+#include "gecode/set/rel/nosubset.icc"
+#include "gecode/set/rel/re-subset.icc"
+#include "gecode/set/rel/eq.icc"
+#include "gecode/set/rel/re-eq.icc"
+#include "gecode/set/rel/nq.icc"
+
+#endif
+
+// STATISTICS: set-prop