From a5762fc2035cb902457ffd4e47ce109c14072df2 Mon Sep 17 00:00:00 2001 From: marieeleonore Date: Wed, 25 Aug 2010 15:07:45 +0000 Subject: [PATCH] ajout de std::vector git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1913 331e1502-861f-0410-8da2-ba01fb791d7f --- trunk/paradiseo-mo/src/problems/eval/moMaxSATincrEval.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/trunk/paradiseo-mo/src/problems/eval/moMaxSATincrEval.h b/trunk/paradiseo-mo/src/problems/eval/moMaxSATincrEval.h index 36f341508..69dfbdb2e 100644 --- a/trunk/paradiseo-mo/src/problems/eval/moMaxSATincrEval.h +++ b/trunk/paradiseo-mo/src/problems/eval/moMaxSATincrEval.h @@ -62,7 +62,7 @@ public : unsigned int bit = _neighbor.index(); // clauses which can be modified by the flipped bit - const vector & modifiedClauses = variables[bit + 1] ; // remember that the variables start at index 1 and not 0 + const std::vector & modifiedClauses = variables[bit + 1] ; // remember that the variables start at index 1 and not 0 unsigned int size = modifiedClauses.size(); int nc; @@ -108,11 +108,11 @@ protected: // list of clauses: // each clause has the number of the variable (from 1 to nbVar) // when the value, litteral = not(variable) - vector * clauses; + std::vector * clauses; // list of variables: // for each variable, the list of clauses - vector * variables; + std::vector * variables; //full eval of the max SAT MaxSATeval & fulleval;