upgrade to gecode5.x API

http://www.gecode.org/doc-latest/reference/PageHowToChange__5.html says that brancher handlers have been removed and that BrancherGroup should be used instead.

use the BrancherGroup:all static member to get the special brancher group that gathers all branchers in a space, and fetch the number of branchers it contains. cf. http://www.gecode.org/doc-latest/MPG.pdf

Do the same thing for propagators.

authorAdrien Di Mascio <Adrien.DiMascio@logilab.fr>
changeseta5c0cf9f6941
branchdefault
phasepublic
hiddenno
parent revision#11a23b86752b [tox] Use py3 environment instead of py34
child revision#fbe93b245bca beautify C++ code with clang-format
files modified by this revision
rql/gecode_solver.cpp
# HG changeset patch
# User Adrien Di Mascio <Adrien.DiMascio@logilab.fr>
# Date 1517233902 -3600
# Mon Jan 29 14:51:42 2018 +0100
# Node ID a5c0cf9f6941c894d66442d112353e96a05b4f98
# Parent 11a23b86752b233362e91a6c6f5beaaa6606d83a
upgrade to gecode5.x API

http://www.gecode.org/doc-latest/reference/PageHowToChange__5.html
says that brancher handlers have been removed and that `BrancherGroup`
should be used instead.

use the `BrancherGroup:all` static member to get the special brancher
group that gathers all branchers in a space, and fetch the number of branchers
it contains.
cf. http://www.gecode.org/doc-latest/MPG.pdf

Do the same thing for propagators.

diff --git a/rql/gecode_solver.cpp b/rql/gecode_solver.cpp
@@ -367,15 +367,21 @@
1  	RqlSolver* s = new RqlSolver( pb );
2  	t.start();
3  	unsigned int n_p = 0;
4  	unsigned int n_b = 0;
5  	if (s->status() != SS_FAILED) {
6 +#if GE_VERSION<PM_VERSION(3,2,0)
7  	    n_p = s->propagators();
8 -#if GE_VERSION<PM_VERSION(3,2,0)
9  	    n_b = s->branchings();
10  #else
11 +	#if GE_VERSION < PM_VERSION(5, 0, 0)
12 +	    n_p = s->propagators();
13  	    n_b = s->branchers();
14 +	#else
15 +	    n_p = PropagatorGroup::all.size(*s);
16 +	    n_b = BrancherGroup::all.size(*s);
17 +	#endif
18  #endif
19  	}
20  #if GE_VERSION<PM_VERSION(2,0,0)
21      Engine<RqlSolver> e(s);
22  #else