00001 #ifndef STATE_H 00002 #define STATE_H 00003 00004 #include <iostream> 00005 #include <map> 00006 #include <vector> 00007 using namespace std; 00008 00009 class Variable; 00010 00011 class State { 00012 map<Variable *, double> values; 00013 public: 00014 State() {} // TODO: Entfernen (erfordert kleines Redesign) 00015 State(istream &in, const vector<Variable *> &variables); 00016 00017 double operator[](Variable *var) const; 00018 void dump() const; 00019 }; 00020 00021 #endif