diff options
Diffstat (limited to 'impl/VariableAssignment.hpp')
-rw-r--r-- | impl/VariableAssignment.hpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/impl/VariableAssignment.hpp b/impl/VariableAssignment.hpp index 371ba56..69eeef2 100644 --- a/impl/VariableAssignment.hpp +++ b/impl/VariableAssignment.hpp @@ -25,7 +25,7 @@ struct DynamicVariableAssignment : public VariableAssignment<Domain> { _values(system.variableCount(), infinity<Domain>()), _stable(system.variableCount()), _influence(system.variableCount(), - IdSet<Variable<Domain>>(system.variableCount())) + IdSet<Variable<Domain> >(system.variableCount())) { } const Domain& operator[](const Variable<Domain>& var) const { @@ -54,7 +54,7 @@ private: if (val != _values[x]) { log::fixpoint << x << " = " << val << std::endl; - auto oldInfluence = _influence[x]; + IdSet<Variable<Domain> > oldInfluence = _influence[x]; _influence[x].clear(); _values[x] = val; @@ -62,7 +62,7 @@ private: _stable.filter(oldInfluence); - for (auto it = oldInfluence.begin(); + for (typename IdSet<Variable<Domain> >::iterator it = oldInfluence.begin(); it != oldInfluence.end(); ++it) { solve(_system.variable(*it)); |