  bool lookupNowCalled() {return m_lookupNowCalled;}
  void clearLookupNowCalled() {m_lookupNowCalled = false;}
  void setValue(const State& state, double value, StateCacheId cache, bool update = true) {
    std::map<State, Value>::iterator it = m_values.find(state);
    if (it == m_values.end())