1 files changed, 1 insertions, 4 deletions
diff --git a/impl/FixpointAlgorithm.hpp b/impl/FixpointAlgorithm.hpp
index 4c84ff2..b39a915 100644
--- a/impl/FixpointAlgorithm.hpp
+++ b/impl/FixpointAlgorithm.hpp
@@ -32,14 +32,13 @@ struct SmartFixpointAlgorithm : public FixpointAlgorithm<Domain> {
   struct DynamicVariableAssignment : public VariableAssignment<Domain> {
     DynamicVariableAssignment(const EquationSystem<Domain>& system)
       : _system(system),
-        _evaluating(NULL),
         _values(system.variableCount(), infinity<Domain>()),
         _stable(system.variableCount()),
-        _haveValue(system.variableCount()),
         _influence(system.variableCount(), IdSet<Variable<Domain> >(system.variableCount())) { }
 
     const Domain& operator[](const Variable<Domain>& var) const {
       solve(var);
+      //std::cout << _values << std::endl;
       return _values[var];
     }
 
@@ -81,10 +80,8 @@ struct SmartFixpointAlgorithm : public FixpointAlgorithm<Domain> {
     };
 
     const EquationSystem<Domain>& _system;
-    mutable const Variable<Domain>* _evaluating;
     mutable IdMap<Variable<Domain>,Domain> _values;
     mutable IdSet<Variable<Domain> > _stable;
-    mutable IdSet<Variable<Domain> > _haveValue;
     mutable IdMap<Variable<Domain>,IdSet<Variable<Domain> > > _influence;
   };