gecoder-with-gecode 0.7.1 → 0.8.0

data/ext/gecode-1.3.1/gecode/set/projectors-compiler.hh

@@ -1,148 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  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_GENERATOR_PROJECOTRS_COMPILER_HH
-#define __GECODE_GENERATOR_PROJECTORS_COMPILER_HH
-
-#include "gecode/set/projectors.hh"
-
-namespace Gecode {
-
-  /**
-   * \brief Specification for a C++ finite set propagator
-   *
-   */
-  class ProjectorPropagatorSpec {
-  public:
-    /// The name of the propagator
-    std::string _name;
-    /// The namespace to place the propagator in
-    std::string _namespace;
-
-    /// Arity of the generated propagator, 0 meaning n-ary
-    int _arity;
-    /// Whether this propagator is reified
-    bool _reified;
-    /// Whether this propagator is negated
-    bool _negated;
-
-    ProjectorSet _ps;
-  };
-
-  /**
-   * \brief Compiler from projector specifications to C++
-   *
-   */
-  class ProjectorCompiler {
-  public:
-    /// Indentation helper class
-    class Indent {
-    public:
-      /// current indentation
-      int i;
-      /// Default constructor
-      Indent(void);
-      /// Increment indentation level
-      void operator++(void);
-      /// Decrement indentation level
-      void operator--(void);
-    };
-  private:
-    /// Indentation to use
-    Indent indent;
-    /// The outstream for the header file (.hh)
-    std::ostream& hhos;
-    /// The outstream for the implementation header file (.icc)
-    std::ostream& iccos;
-
-    /// The projector specification that gets compiled
-    const ProjectorPropagatorSpec& spec;    
-
-    ///\name Internal helper functions
-    //@{
-    /// Test if this is an nary propagator
-    bool nary(void);
-    /// Return string representation of propagation cost
-    std::string propcost(void);
-    /// Emit test that checks if all variables are assigned
-    void allAssigned(std::ostream&);
-    /// Emit argument list for the views
-    void viewsarglist(std::ostream&);
-    /// Emit constructor initializer list for the views
-    void initarglist(std::ostream&);
-    /// Return string representation of propagation condition
-    std::string propcond(PropCond);
-    /// Emit template parameters for member functions
-    void templateparams(void);
-    /// Emit template head for member functions and class
-    void templatehead(std::ostream&);
-    /// Emit file header, including namespace
-    void header(std::ostream&);
-    /// Emit file footer
-    void footer(std::ostream&);
-    /// Emit class delcaration
-    void classdef(void);
-    /// Emit implementation
-    void standardMemberFunctions(void);
-    /// Emit iterator for set expression
-    int iterator(const SetExprCode& instrs,
-                 bool countSize=false,
-                 bool invert=false);
-    /// Emit propagation function
-    void propagation(void);
-    //@}
-
-  public:
-    /// Description of the fixpoint to compute
-    enum FixpointType {
-      NO_FIX,    ///< Do not compute fixpoint, return ES_NOFIX
-      ITER_FIX,  ///< Compute fixpoint by iteration
-    };
-    /// Description of how generic the propagator should be
-    enum ViewsType {
-      SINGLE_VIEW, ///< Make propagator parametric in a single view
-      MULTI_VIEW   ///< Make propagator parametric in one view per variable
-    };
-
-    ///\name Configuration options
-    //@{
-    /// Whether to generate a test case, default=false
-    bool compiletest;
-    /// What fixpoint to compute, default=ITER_FIX
-    FixpointType fixpoint;
-    /// How generic the propagator is, default=SINGLE_VIEW
-    ViewsType views; 
-    //@}
-
-    /// Construct compiler
-    GECODE_SET_EXPORT ProjectorCompiler(std::ostream& hhos,
-					std::ostream& iccos,
-					const ProjectorPropagatorSpec& spec);
-    /// Do the compilation
-    GECODE_SET_EXPORT void compile(void);
-  };
-
-
-}
-
-#endif
-
-// STATISTICS: set-prop

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

@@ -1,109 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2006-07-12 15:53:12 +0200 (Wed, 12 Jul 2006) $ by $Author: tack $
- *     $Revision: 3349 $
- *
- *  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/projectors/propagator.hh"
-
-using namespace Gecode::Set;
-
-namespace Gecode {
-
-  void projector(Space* home, const SetVar& xa, const SetVar& ya,
-		 ProjectorSet& ps, bool negated) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 2);
-    x[0] = xa; x[1] = ya;
-    if (negated) {
-      GECODE_ES_FAIL(home,
-		     (Projection::NaryProjection<true>::post(home, 
-							     x, ps)));
-    } else {
-      GECODE_ES_FAIL(home,
-		     (Projection::NaryProjection<false>::post(home, 
-							      x, ps)));
-    }
-    
-  }
-
-  void projector(Space* home, const SetVar& xa, const SetVar& ya,
-		 const BoolVar& bv, ProjectorSet& ps) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 2);
-    x[0] = xa; x[1] = ya;
-    Gecode::Int::BoolView b(bv);
-    GECODE_ES_FAIL(home,
-		   (Projection::ReNaryProjection::post(home, 
-						       x, b, ps)));
-  }
-
-  void projector(Space* home,
-		 const SetVar& xa, const SetVar& ya, const SetVar& za,
-		 ProjectorSet& ps, bool negated) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 3);
-    x[0] = xa; x[1] = ya; x[2] = za;
-    if (negated) {
-      GECODE_ES_FAIL(home,
-		     (Projection::NaryProjection<true>::post(home, 
-							     x, ps)));
-    } else {
-      GECODE_ES_FAIL(home,
-		     (Projection::NaryProjection<false>::post(home, 
-							      x, ps)));
-    }
-    
-  }
-
-  void projector(Space* home,
-		 const SetVar& xa, const SetVar& ya, const SetVar& za,
-		 const BoolVar& bv, ProjectorSet& ps) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 3);
-    x[0] = xa; x[1] = ya; x[2] = za;
-    Gecode::Int::BoolView b(bv);
-    GECODE_ES_FAIL(home,
-		   (Projection::ReNaryProjection::post(home, 
-							  x, b, ps)));
-  }
-
-  void projector(Space* home, const SetVar& xa, const SetVar& ya,
-		 const IntVar& i, Projector& p) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 2);
-    x[0] = xa; x[1] = ya;
-    Gecode::Int::IntView iv(i);
-    GECODE_ES_FAIL(home,
-		   (Projection::CardProjection::post(home,x,i,p)));
-  }
-
-  void projector(Space* home, const SetVar& xa, const SetVar& ya,
-		 const SetVar& za, const IntVar& i, Projector& p) {
-    if (home->failed()) return;
-    ViewArray<SetView> x(home, 3);
-    x[0] = xa; x[1] = ya; x[2] = za;
-    Gecode::Int::IntView iv(i);
-    GECODE_ES_FAIL(home,
-		   (Projection::CardProjection::post(home,x,i,p)));
-  }
-  
-
-}
-
-// STATISTICS: set-post

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

@@ -1,319 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  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.
- *
- */
-
-#ifndef __GECODE_GENERATOR_PROJECOTRS_HH
-#define __GECODE_GENERATOR_PROJECTORS_HH
-
-#include "gecode/set.hh"
-#include "gecode/support/dynamic-array.hh"
-#include "gecode/support/shared-array.hh"
-
-namespace Gecode {
-
-  /**
-   * \defgroup TaskIntSetProjector Projector constraints
-   * \ingroup TaskIntSet
-   *
-   */
-
-  //@{
-
-  /**
-   * \brief Code representing set-valued expressions for finite set projectors
-   *
-   * Set-valued expressions are represented using a simple stack-based
-   * language.
-   */
-  class SetExprCode {
-  private:
-    /// The actual code
-    Support::SharedArray<int> c;
-    /// The number of instructions
-    int n;
-  public:
-    /// Instructions for set-valued expression code
-    enum Instruction {
-      COMPLEMENT, ///< Complement
-      INTER,	  ///< Intersection
-      UNION,	  ///< Union
-      GLB,	  ///< Greatest lower bound
-      LUB,	  ///< Least upper bound
-      EMPTY,	  ///< Constant empty set
-      UNIVERSE,   ///< Constant universal set
-      LAST	  ///< First integer to use for immediate arguments
-    };
-
-    ///\name Construction and initialization
-    //@{
-	
-    /// Default constructor
-    SetExprCode(void);
-
-    /// Copy constructor
-    SetExprCode(const SetExprCode& sc);
-
-    //@}
-
-    /// Copying
-    void update(bool share, SetExprCode& sc);
-    
-    /// Add instruction \a i to the end of the current code
-    void add(int i);
-
-    /// Return number of instructions
-    int size(void) const;
-
-    /// Return instruction at position \a i
-    int operator[](int i) const;
-
-  };
-  
-  /**
-   * \brief Set-valued expressions for finite set projectors
-   */
-  class SetExpr {
-  public:
-    /// Type of variable indices
-    typedef int var_idx;
-
-    /// Relation used to connect two set expressions
-    enum RelType {
-      REL_INTER, ///< Intersection relation
-      REL_UNION  ///< Union relation
-    };
-    
-  private:
-    /// Nodes for set expressions
-    class Node;
-
-    Node* ax; ///< Node for expression
-    int sign; ///< Sign for expression
-  public:
-
-    /// Construct constant set expression for the empty set
-    SetExpr(void);
-    /// Copy constructor
-    GECODE_SET_EXPORT SetExpr(const SetExpr& s);
-    /// Construct set expression for variable \a v
-    GECODE_SET_EXPORT SetExpr(var_idx v);
-    /// Construct set expression from \a s with sign \a sign
-    GECODE_SET_EXPORT SetExpr(const SetExpr& s, int sign);
-    /// Construct set expression from \a s with sign \a ssign and \a t with sign \a tsign under relation \a r
-    GECODE_SET_EXPORT SetExpr(const SetExpr& s, int ssign,
-			      RelType r,
-			      const SetExpr& t, int tsign);
-    /// Assignment operator
-    GECODE_SET_EXPORT const SetExpr& operator=(const SetExpr& e);
-    /// Returns the arity of the set expression
-    GECODE_SET_EXPORT int arity(void) const;
-    /// Returns code for this set expression
-    GECODE_SET_EXPORT SetExprCode encode(void) const;
-    /// Destructor
-    GECODE_SET_EXPORT ~SetExpr(void);
-  };
-
-  ///\name Specifying finite set projectors
-  //@{
-
-  /// Return set expression for the complement of \a s
-  SetExpr operator-(const SetExpr& s);
-  /// Return set expression for the union of \a s and \a t
-  SetExpr operator||(const SetExpr& s, const SetExpr& t);
-  /// Return set expression for the intersection of \a s and \a t
-  SetExpr operator&&(const SetExpr&, const SetExpr&);
-  /// Return set expression for the difference of \a s and \a t
-  SetExpr operator-(const SetExpr&, const SetExpr&);
-
-  ///@}
-
-  /**
-   * \brief Finite set projector specification
-   */
-  class Projector {
-  private:
-    SetExpr::var_idx i; ///< The variable for this projector
-    SetExprCode glb; ///< The greatest lower bound set expression code
-    SetExprCode lub; ///< The least upper bound set expression code
-    int _arity; ///< The arity of this projector
-  public:
-    /// Default constructor
-    Projector(void);
-    /// Construct a projector \f$(\mathrm{sglb}\subseteq x\subseteq\mathrm{slub})\f$
-    Projector(SetExpr::var_idx x, const SetExpr& sglb, const SetExpr& slub);
-
-    /// Returns the scope of the projector
-    GECODE_SET_EXPORT void scope(Support::DynamicArray<int>&) const;
-
-    /// Returns the arity of the projector
-    GECODE_SET_EXPORT int arity(void) const;
-	      
-    /// Propagate the projector
-    template <bool negated>
-    ExecStatus propagate(Space* home, ViewArray<Set::SetView>& x);
-
-    /// Check for subsumption or failure
-    GECODE_SET_EXPORT ExecStatus check(Space* home,
-				       ViewArray<Set::SetView>& x);
-
-    /// Compute size of greatest lower bound
-    unsigned int glbSize(ViewArray<Set::SetView>& x);
-    
-    /// Compute size of least upper bound
-    unsigned int lubSize(ViewArray<Set::SetView>& x);
-
-    /// Return the set expression code for the glb
-    const SetExprCode& getGlb(void) const;
-
-    /// Return the set expression code for the lub
-    const SetExprCode& getLub(void) const;
-
-    /// Return the variable index for this projector
-    SetExpr::var_idx getIdx(void) const;
-
-  };
-  
-  /**
-   * \brief Group of finite set projector specifications
-   */
-  class ProjectorSet {
-  private:
-    Support::SharedArray<Projector,true> _ps; ///< The projectors
-    int _count; ///< The number of projectors in the set
-    int _arity; ///< The maximum arity of the projectors in the set
-  public:
-    
-    /// Construct empty projector set
-    ProjectorSet(void);
-
-    /// Used for copying
-    void update(Space* home, bool share, ProjectorSet& p);
-
-    /// Add projector \a p to the set
-    GECODE_SET_EXPORT void add(const Projector& p);
-
-    /// Returns the arity of the projector set
-    int arity(void) const;
-
-    /// Returns the scope of the projector set
-    GECODE_SET_EXPORT void scope(Support::DynamicArray<int>&) const;
-    
-    /// Propagate the set
-    template <bool negated>
-    ExecStatus propagate(Space* home, ViewArray<Set::SetView>& x);
-
-    /// Check for subsumption or failure
-    GECODE_SET_EXPORT ExecStatus check(Space* home,
-				       ViewArray<Set::SetView>& x);
-
-    /// Return number of projectors int the set
-    int size(void) const;
-
-    /// Return projector \a i from the set
-    const Projector& operator[](int i) const;
-
-  };
-
-  ///\name Posting projection propagators
-  //@{
-
-  /**
-   * \brief Post projection propagators for binary constraint
-   *
-   * Post projection propagators for binary constraint on variables
-   * \a xa and \a ya, specified by \a ps. If \a negated is true, the
-   * negation of the specified constraint is propagated.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home, const SetVar& xa, const SetVar& ya,
-	    ProjectorSet& ps, bool negated=false);
-
-  /**
-   * \brief Post reified projection propagators for binary constraint
-   *
-   * Post projection propagators for binary constraint on variables
-   * \a xa and \a ya, specified by \a ps, reified with \a bv.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home, const SetVar& xa, const SetVar& ya,
-	    const BoolVar& bv,
-	    ProjectorSet& ps);
-
-  /**
-   * \brief Post projection propagators for ternary constraint
-   *
-   * Post projection propagators for ternary constraint on variables
-   * \a xa, \a ya and \a za, specified by \a ps. If \a negated is true, the
-   * negation of the specified constraint is propagated.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home,
-	    const SetVar& xa, const SetVar& ya, const SetVar& za,
-	    ProjectorSet& ps, bool negated=false);
-
-  /**
-   * \brief Post reified projection propagators for ternary constraint
-   *
-   * Post projection propagators for ternary constraint on variables
-   * \a xa, \a ya and \a za, specified by \a ps, reified with \a bv.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home,
-	    const SetVar& xa, const SetVar& ya, const SetVar& za,
-	    const BoolVar& bv,
-	    ProjectorSet& ps);
-  
-  /**
-   * \brief Post projection propagator for cardinality constraint
-   *
-   * Post propagator for the constraint that \a i is the
-   * cardinality of the set represented by \a p, interpreted over the
-   * variables \a xa and \a ya.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home, const SetVar& xa, const SetVar& ya,
-	    const IntVar& i,
-	    Projector& p);
-
-  /**
-   * \brief Post projection propagator for cardinality constraint
-   *
-   * Post propagator for the constraint that \a i is the
-   * cardinality of the set represented by \a p, interpreted over the
-   * variables \a xa, \a ya, and \a za.
-   */
-  GECODE_SET_EXPORT void
-  projector(Space* home, const SetVar& xa, const SetVar& ya,
-	    const SetVar& za, const IntVar& i,
-	    Projector& p);
-
-  //@}
-
-  //@}
-
-}
-
-#include "gecode/set/projectors/set-expr.icc"
-#include "gecode/set/projectors/projector.icc"
-#include "gecode/set/projectors/projector-set.icc"
-  
-#endif
-
-// STATISTICS: set-prop