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;