main page namespaces classes files
CPSP home

src/cpsp/gecode/old_GC_Neighbored3.hh

Go to the documentation of this file.

#ifndef GC_NEIGHBORED3_HH_
#define GC_NEIGHBORED3_HH_



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

#include <biu/LatticeFrame.hh>

namespace cpsp
{
  namespace gecode
  {
    
    typedef Gecode::TernaryPropagator<  Gecode::Int::IntView, 
                                        Gecode::Int::PC_INT_DOM> GC_TriProp;

    class GC_Neighbored3 : public GC_TriProp
    {
    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,
                                                Gecode::Int::IntView& a, 
                                                Gecode::Int::IntView& b); 

        Gecode::ModEvent removeNonNeighbors(    Gecode::Space* home,
                                                Gecode::Int::IntView& a, 
                                                Gecode::Int::IntView& b, 
                                                Gecode::Int::IntView& c); 

        static const unsigned int MAXPROPSIZEINIT;

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

        bool                            maxPropSizeBin;
        
        unsigned int                    minPropSize;

        GC_Neighbored3(Gecode::Space* home, bool share, GC_Neighbored3& p);
        
        GC_Neighbored3( Gecode::Space* home, 
                        Gecode::Int::IntView x0, 
                        Gecode::Int::IntView x1,
                        Gecode::Int::IntView x2,
                        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, 
                                    Gecode::Int::IntView x2, 
                                    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_NEIGHBORED3_HH_*/