Main Page | Class Hierarchy | Class List | File List | Class Members

src/heuristics/variables/Random.h

00001 // Random.h -- The `random' variable ordering heuristic interface.
00002 
00003 /*
00004  * Copyright (C) 1998,2003,2004 Tudor Hulubei <tudor@hulubei.net>.
00005  *
00006  * This library is free software; you can redistribute it and/or modify
00007  * it under the terms of the GNU Lesser General Public License as
00008  * published by the Free Software Foundation; either version 2, or (at
00009  * your option) any later version.
00010  *
00011  * This library is distributed in the hope that it will be useful,
00012  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00013  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00014  * GNU Lesser General Public License for more details.
00015  *
00016  * You should have received a copy of the GNU Lesser General Public
00017  * License along with this library; if not, write to the Free Software
00018  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA,
00019  * 02111-1307, USA.
00020  */
00021 
00022 // $Id: src_2heuristics_2variables_2Random_8h-source.html,v 1.1 2005/05/25 12:37:18 tudor Exp $
00023 
00024 #ifndef _CSP_HEURISTICS_VARIABLE_Random_H
00025 #define _CSP_HEURISTICS_VARIABLE_Random_H
00026 
00027 
00028 CSP_NAMESPACE_BEGIN(csp);
00029 CSP_NAMESPACE_BEGIN(heuristics);
00030 CSP_NAMESPACE_BEGIN(variables);
00031 
00032 
00036 class CSP_API Random :
00037     public VariableOH
00038 {
00039   public:
00051     Random(
00052         Decomposition& decomposition,
00053         Randomizer& randomizer,
00054         const vector<pair<double, double> >& intervals,
00055         double quality = 1);
00056 
00063     virtual void select(vlist_type& selectable, vlist_type& selected);
00064 
00065   private:
00067     Random(const Random&);
00068 
00070     Random& operator=(const Random&);
00071 
00073     Randomizer& m_randomizer;
00074 };
00075 
00076 
00077 CSP_NAMESPACE_END(variables);
00078 CSP_NAMESPACE_END(heuristics);
00079 CSP_NAMESPACE_END(csp);
00080 
00081 
00082 #endif // _CSP_HEURISTICS_VARIABLE_Random_H
00083 
00084 // Local Variables:
00085 // mode: C++
00086 // End:

Generated on Wed May 25 12:21:15 2005 for csp.kdevelop by  doxygen 1.3.9.1