~ubuntu-branches/debian/stretch/gecode/stretch

« back to all changes in this revision

Viewing changes to examples/kakuro.cpp

  • Committer: Package Import Robot
  • Author(s): Kari Pahula
  • Date: 2013-05-25 15:57:32 UTC
  • mfrom: (1.1.17)
  • Revision ID: package-import@ubuntu.com-20130525155732-bltd8lu9my9borhk
Tags: 4.0.0-2
Give make check LD_LIBRARY_PATH=. to make test work without gecode
already installed, to fix FTBFS.

Show diffs side-by-side

added added

removed removed

Lines of Context:
11
11
 *     Mikael Lagerkivst, 2007
12
12
 *
13
13
 *  Last modified:
14
 
 *     $Date: 2011-09-19 22:02:26 +1000 (Mon, 19 Sep 2011) $ by $Author: schulte $
15
 
 *     $Revision: 12400 $
 
14
 *     $Date: 2013-02-19 13:26:08 +0100 (Tue, 19 Feb 2013) $ by $Author: schulte $
 
15
 *     $Revision: 13313 $
16
16
 *
17
17
 *  This file is part of Gecode, the generic constraint
18
18
 *  development environment:
382
382
    DistinctLinear(int n, int s) : x(*this,n,1,9) {
383
383
      distinct(*this, x);
384
384
      linear(*this, x, IRT_EQ, s);
385
 
      branch(*this, x, INT_VAR_NONE, INT_VAL_SPLIT_MIN);
 
385
      branch(*this, x, INT_VAR_NONE(), INT_VAL_SPLIT_MIN());
386
386
    }
387
387
    /// Constructor for cloning \a s
388
388
    DistinctLinear(bool share, DistinctLinear& s) : Space(share,s) {
574
574
        row[i]=init(b(x+i+1,y));
575
575
      distinctlinear(cache,row,s,opt);
576
576
    }
577
 
    branch(*this, f, INT_VAR_SIZE_AFC_MIN, INT_VAL_SPLIT_MIN);
 
577
    branch(*this, f, INT_VAR_AFC_SIZE_MAX(opt.decay()), INT_VAL_SPLIT_MIN());
578
578
  }
579
579
  /// Constructor for cloning \a s
580
580
  Kakuro(bool share, Kakuro& s) : Script(share,s), w(s.w), h(s.h) {