git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@2037 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
parent
57a1e39cf9
commit
e4da7f2329
1 changed files with 3 additions and 1 deletions
|
|
@ -93,7 +93,9 @@ public:
|
||||||
searchExplorer.updateParam(_solution);
|
searchExplorer.updateParam(_solution);
|
||||||
|
|
||||||
b = (*cont)(_solution);
|
b = (*cont)(_solution);
|
||||||
}while (b && searchExplorer.isContinue(_solution));
|
|
||||||
|
} while (b && searchExplorer.isContinue(_solution));
|
||||||
|
|
||||||
searchExplorer.terminate(_solution);
|
searchExplorer.terminate(_solution);
|
||||||
|
|
||||||
cont->lastCall(_solution);
|
cont->lastCall(_solution);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue