main page namespaces classes files
CPSP home

src/cpsp/gecode/GC_LatticeNeighbored2.hh

Go to the documentation of this file.

/*
 *  Main authors:
 *     Martin Mann http://www.bioinf.uni-freiburg.de/~mmann/
 *
 *  Contributing authors:
 *     Sebastian Will http://www.bioinf.uni-freiburg.de/~will/
 *
 *  Copyright:
 *     Martin Mann, 2007
 *
 *  This file is part of the CPSP-tools package:
 *     http://www.bioinf.uni-freiburg.de/sw/cpsp/
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

#ifndef GC_LATTICENEIGHBORED2_HH_
#define GC_LATTICENEIGHBORED2_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_LatticeNeighbored2 : public GC_BinProp

    {
    private:

        //TODO rausnehmen wenn moeglich
        biu::IndexSet& getIndexedNeighbors(
            const biu::LatticeFrame::index_type center, biu::IndexSet& toFill) 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::IndexVec *           neighborhood;

        Gecode::IntConLevel             conLevel;

        unsigned int                    maxPropSize;

        bool                            maxPropSizeBin;

        unsigned int                    minPropSize;

        bool                            cancelProp;

        GC_LatticeNeighbored2(Gecode::Space* home, bool share, GC_LatticeNeighbored2& p);

        GC_LatticeNeighbored2(  Gecode::Space* home,
                        Gecode::Int::IntView x0,
                        Gecode::Int::IntView x1,
                        const biu::IndexVec * indexedNeighVecs,
                        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::IndexVec * indexedNeighVecs,
                                    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_LATTICENEIGHBORED2_HH_*/