state.cpp

Go to the documentation of this file.

#include "state.h"
#include "helper_functions.h"

class Variable;

State::State(istream &in, const vector<Variable *> &variables) {
    check_magic(in, "begin_state");
    for(int i = 0; i < variables.size(); i++) {
        double value;
        cin >> value; //for axioms, this is default value
        values[variables[i]] = value;
    }
    check_magic(in, "end_state");
}

double State::operator[](Variable *var) const {
    return values.find(var)->second;
}

void State::dump() const {
    for(map<Variable *, double>::const_iterator it = values.begin();
            it != values.end(); ++it)
        cout << "  " << it->first->get_name() << ": " << it->second << endl;
}