state.h
Go to the documentation of this file.
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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06