3
* Christian Schulte <schulte@gecode.org>
6
* Christian Schulte, 2004
9
* $Date: 2005-08-10 20:28:01 +0200 (Wed, 10 Aug 2005) $ by $Author: schulte $
12
* This file is part of Gecode, the generic constraint
13
* development environment:
14
* http://www.gecode.org
16
* See the file "LICENSE" for information on usage and
17
* redistribution of this file, and for a
18
* DISCLAIMER OF ALL WARRANTIES.
22
namespace Gecode { namespace Search {
25
DfsReCoEngine::DfsReCoEngine(Space* s, unsigned int c_d0, unsigned int a_d0,
27
: PlainEngine(sz), ds(a_d0), cur(s), c_d(c_d0), d(0) {}
31
// STATISTICS: search-any