main page namespaces classes files
CPSP home

src/cpsp/gecode/GC_FirstSolBranching.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_FIRSTSOLBRANCHING_HH_
#define GC_FIRSTSOLBRANCHING_HH_

#include <gecode/kernel.hh>


namespace cpsp
{
  namespace gecode
  {
    
    int solutionLvl;

   template <class View, class Val, class ViewSel, class ValSel>
   class FirstSolBranching : public Gecode::ViewValBranching<View,Val,ViewSel,ValSel> {
   protected:
       mutable bool firstSolFound; 
       
//     static int solutionLvl;
       mutable int myLvl;
       
       using Gecode::ViewValBranching<View,Val,ViewSel,ValSel>::x;
       
       FirstSolBranching(Gecode::Space* home, bool share, FirstSolBranching& b);
   public:
       FirstSolBranching(Gecode::Space* home, Gecode::ViewArray<View>& x);
       
       virtual bool 
       status(const Gecode::Space* home) const;
       
       virtual Gecode::Actor* 
       copy(Gecode::Space* home, bool share);
       
       virtual Gecode::ExecStatus 
       commit(Gecode::Space* home, const Gecode::BranchingDesc* d, unsigned int a);
   };
   
#include "cpsp/gecode/GC_FirstSolBranching.icc"

  } // namespace gecode
} // namespace cpsp


#endif /*GC_FIRSTSOLBRANCHING_HH_*/