main page namespaces classes files
CPSP home

src/cpsp/gecode/GC_IntRankView.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_INTRANKVIEW_HH_
#define GC_INTRANKVIEW_HH_

#include <gecode/int.hh>

namespace Gecode { 
  namespace Int {
    
    class IntRankView : public Gecode::Int::IntView {
    protected:
        unsigned int rank;
    public:
      
      IntRankView(void) : Gecode::Int::IntView(), rank(0)
      {}
      IntRankView(const Gecode::IntVar& x) : Gecode::Int::IntView(x), rank(0)
      {}
      IntRankView(const Gecode::IntVar& x, unsigned int r) : Gecode::Int::IntView(x), rank(r)
      {}
      
      unsigned int getRank(void) const { return rank; } 
      void setRank(unsigned int r) { rank = r; }
      
      void update(Space* home, bool share, IntRankView& x) {
        IntView::update(home, share, (IntView&)x);
        rank = x.getRank();
      }
            
    }; 


  }  // namespace Int
}  // namespace Gecode

#endif /*GC_INTRANKVIEW_HH_*/