ajout de terminate dans explorer

git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1643 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
verel 2010-01-15 13:23:05 +00:00
commit 958ab63d9c
3 changed files with 6 additions and 0 deletions

View file

@ -42,6 +42,8 @@ public:
num++;
} while (continuator(solution) && searchExplorer.isContinue(solution));
searchExplorer.terminate(solution);
};
private: