diff options
Diffstat (limited to 'impl')
| -rw-r--r-- | impl/MaxStrategy.hpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/impl/MaxStrategy.hpp b/impl/MaxStrategy.hpp index 5534597..71ea4f4 100644 --- a/impl/MaxStrategy.hpp +++ b/impl/MaxStrategy.hpp @@ -40,8 +40,6 @@ struct DynamicMaxStrategy : public MaxStrategy<Domain> { _stable(system.maxExpressionCount()), _influence(system.maxExpressionCount(), IdSet<MaxExpression<Domain> >(system.maxExpressionCount())), - _var_influence(system.variableCount(), - IdSet<MaxExpression<Domain> >(system.maxExpressionCount())), _changed(false) {} @@ -70,9 +68,8 @@ struct DynamicMaxStrategy : public MaxStrategy<Domain> { void invalidate(const Variable<Domain>& v) { log::strategy << indent() << "Invalidating " << v << " - " << *_system[v] << std::endl; - //log::debug << indent() << " var-influence sets " << _var_influence << std::endl; - IdSet<MaxExpression<Domain> > infl = _var_influence[v]; + IdSet<MaxExpression<Domain> > infl = _influence[*_system[v]]; for (typename IdSet<MaxExpression<Domain> >::iterator it = infl.begin(), end = infl.end(); @@ -154,7 +151,6 @@ private: const Domain operator[](const Variable<Domain>& var) { // solve the strategy for this variable, too _strat.solve(*_strat._system[var]); - _strat._var_influence[var].insert(_expr); _strat._influence[*_strat._system[var]].insert(_expr); return _rho[var]; } @@ -190,7 +186,6 @@ private: IdMap<MaxExpression<Domain>,unsigned int> _values; IdSet<MaxExpression<Domain> > _stable; IdMap<MaxExpression<Domain>,IdSet<MaxExpression<Domain> > > _influence; - IdMap<Variable<Domain>,IdSet<MaxExpression<Domain> > > _var_influence; bool _changed; }; |