main page namespaces classes files
CPSP home

src/cpsp/gecode/MinSizeMaxDegViewSel.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 MINSIZE_MAXDEG_VIEWSEL_HH
#define MINSIZE_MAXDEG_VIEWSEL_HH

#include "gecode/int/branch.hh"  // normal IntView view selections

/*
 * namespace Gecode::Int::Branch
 * == Integer branchings
 */

namespace Gecode { namespace Int { namespace Branch {

    
  class BySizeMinDegreeMax {
  protected:
    unsigned int degree;
    unsigned int size;
  public:
    ViewSelStatus init(const Space* home, IntView x);
    ViewSelStatus select(const Space* home, IntView x);
  };






  // Select variable with smallest degree (and smallest size in case of ties)
  forceinline ViewSelStatus
  BySizeMinDegreeMax::init(const Space*, IntView x) {
    degree = x.degree(); size = x.size();
    return VSS_SELECT;
  }

  forceinline ViewSelStatus
  BySizeMinDegreeMax::select(const Space*, IntView x) {
    if (x.size() < size) {
      degree = x.degree();
      size   = x.size();
      return VSS_SELECT;
    } else if ( (x.size() == size) && (x.degree() > degree) ) {
      degree = x.degree();
      return VSS_SELECT;
    }
    return VSS_NONE;
  }


    }
  }
}

#endif /*MINSIZE_MAXDEG_VIEWSEL_HH*/