diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-20 15:19:49 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-20 15:19:49 +1000 |
commit | bb9a899b7c45b830c6b70e2811130a41ebb31ee5 (patch) | |
tree | 070ca77682bf7e3b72a94e78fbe0fcf337bdd98a /impl/VariableAssignment.hpp | |
parent | 3d206f03985b50beacae843d880bccdc91a9f424 (diff) |
Remove exceptions and C++11 features for LLVM.
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)); |