main page namespaces classes files
CPSP home

src/cpsp/gecode/old_GC_Neighbored2.hh

Go to the documentation of this file.

#ifndef GC_NEIGHBORED2_HH_
#define GC_NEIGHBORED2_HH_

#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/search.hh>

#include <biu/LatticeFrame.hh>

namespace cpsp
{
  namespace gecode
  {
    
    typedef Gecode::BinaryPropagator<   Gecode::Int::IntView, 
                                        Gecode::Int::PC_INT_DOM> GC_BinProp;
    
    class GC_Neighbored2 : public GC_BinProp
            
    {
    private:
        
        biu::IndexSet 
        getIndexedNeighbors( const biu::LatticeFrame::index_type center) const;
        
        Gecode::ModEvent removeNonNeighbors(    Gecode::Space* home,
                                                Gecode::Int::IntView& x, 
                                                int center);
        Gecode::ModEvent removeNonNeighbors(Gecode::Space* home);
        
        static const unsigned int MAXPROPSIZEINIT;

        
    protected:
            // variablen von superklasse uebernehmen
        using GC_BinProp::x0;
        using GC_BinProp::x1;
                                        
        const biu::LatticeFrame*        lattice;
        
        biu::IndexVec                   neighborhood;
        
        Gecode::IntConLevel             conLevel;
        
        unsigned int                    maxPropSize;
        
        bool                            maxPropSizeBin;
        
        unsigned int                    minPropSize;

        GC_Neighbored2(Gecode::Space* home, bool share, GC_Neighbored2& p);
        
        GC_Neighbored2( Gecode::Space* home, 
                        Gecode::Int::IntView x0, 
                        Gecode::Int::IntView x1,
                        const biu::LatticeFrame* lattice,
                        Gecode::IntConLevel conLvl,
                        unsigned int maxPrSize,
                        bool maxPrSizeBin,
                        unsigned int minPrSize);

    public:
        static Gecode::ExecStatus post( Gecode::Space* home, 
                                    Gecode::Int::IntView x0, 
                                    Gecode::Int::IntView x1, 
                                    const biu::LatticeFrame* lattice,
                                    Gecode::IntConLevel conLvl =Gecode::ICL_BND,
                                    unsigned int maxPrSize = MAXPROPSIZEINIT,
                                    bool maxPrSizeBin = false,
                                    unsigned int minPrSize = 0);

        virtual Gecode::Actor* copy(Gecode::Space* home, bool share);
        
        virtual Gecode::PropCost cost(void) const;
        
        virtual Gecode::ExecStatus propagate(Gecode::Space* home);
        
    };

  } // namespace gecode
} // namespace cpsp

#endif /*GC_NEIGHBORED2_HH_*/