main page modules namespaces classes files
Gecode home

search for 

projectors.hh

Go to the documentation of this file.

/*
 *  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 {


  class SetExprCode {
  private:
    Support::SharedArray<int> c;
    int n;
  public:
    enum Instruction {
      COMPLEMENT, 
      INTER,      
      UNION,      
      GLB,        
      LUB,        
      EMPTY,      
      UNIVERSE,   
      LAST        
    };


        
    SetExprCode(void);

    SetExprCode(const SetExprCode& sc);


    void update(bool share, SetExprCode& sc);
    
    void add(int i);

    int size(void) const;

    int operator[](int i) const;

  };
  
  class SetExpr {
  public:
    typedef int var_idx;

    enum RelType {
      REL_INTER, 
      REL_UNION  
    };
    
  private:
    class Node;

    Node* ax; 
    int sign; 
  public:

    SetExpr(void);
    GECODE_SET_EXPORT SetExpr(const SetExpr& s);
    GECODE_SET_EXPORT SetExpr(var_idx v);
    GECODE_SET_EXPORT SetExpr(const SetExpr& s, int sign);
    GECODE_SET_EXPORT SetExpr(const SetExpr& s, int ssign,
                              RelType r,
                              const SetExpr& t, int tsign);
    GECODE_SET_EXPORT const SetExpr& operator=(const SetExpr& e);
    GECODE_SET_EXPORT int arity(void) const;
    GECODE_SET_EXPORT SetExprCode encode(void) const;
    GECODE_SET_EXPORT ~SetExpr(void);
  };



  SetExpr operator-(const SetExpr& s);
  SetExpr operator||(const SetExpr& s, const SetExpr& t);
  SetExpr operator&&(const SetExpr&, const SetExpr&);
  SetExpr operator-(const SetExpr&, const SetExpr&);


  class Projector {
  private:
    SetExpr::var_idx i; 
    SetExprCode glb; 
    SetExprCode lub; 
    int _arity; 
  public:
    Projector(void);
    Projector(SetExpr::var_idx x, const SetExpr& sglb, const SetExpr& slub);

    GECODE_SET_EXPORT void scope(Support::DynamicArray<int>&) const;

    GECODE_SET_EXPORT int arity(void) const;
              
    template <bool negated>
    ExecStatus propagate(Space* home, ViewArray<Set::SetView>& x);

    GECODE_SET_EXPORT ExecStatus check(Space* home,
                                       ViewArray<Set::SetView>& x);

    unsigned int glbSize(ViewArray<Set::SetView>& x);
    
    unsigned int lubSize(ViewArray<Set::SetView>& x);

    const SetExprCode& getGlb(void) const;

    const SetExprCode& getLub(void) const;

    SetExpr::var_idx getIdx(void) const;

  };
  
  class ProjectorSet {
  private:
    Support::SharedArray<Projector,true> _ps; 
    int _count; 
    int _arity; 
  public:
    
    ProjectorSet(void);

    void update(Space* home, bool share, ProjectorSet& p);

    GECODE_SET_EXPORT void add(const Projector& p);

    int arity(void) const;

    GECODE_SET_EXPORT void scope(Support::DynamicArray<int>&) const;
    
    template <bool negated>
    ExecStatus propagate(Space* home, ViewArray<Set::SetView>& x);

    GECODE_SET_EXPORT ExecStatus check(Space* home,
                                       ViewArray<Set::SetView>& x);

    int size(void) const;

    const Projector& operator[](int i) const;

  };



  GECODE_SET_EXPORT void
  projector(Space* home, const SetVar& xa, const SetVar& ya,
            ProjectorSet& ps, bool negated=false);

  GECODE_SET_EXPORT void
  projector(Space* home, const SetVar& xa, const SetVar& ya,
            const BoolVar& bv,
            ProjectorSet& ps);

  GECODE_SET_EXPORT void
  projector(Space* home,
            const SetVar& xa, const SetVar& ya, const SetVar& za,
            ProjectorSet& ps, bool negated=false);

  GECODE_SET_EXPORT void
  projector(Space* home,
            const SetVar& xa, const SetVar& ya, const SetVar& za,
            const BoolVar& bv,
            ProjectorSet& ps);
  
  GECODE_SET_EXPORT void
  projector(Space* home, const SetVar& xa, const SetVar& ya,
            const IntVar& i,
            Projector& p);

  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