serialSaveData.h

Go to the documentation of this file.

#ifndef SERIALSAVEDATA_H
#define SERIALSAVEDATA_H

#include <string>
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include "simData.h"
#include "saveData.h"
#include "serialEnv.h"

using namespace std;


class SerialSaveData : public SaveData
{

  public:

    SerialEnv * env; 

    void saveCons();

    void savePrims();

    void saveAux();

    void saveDomain();

    void saveConsts();


    SerialSaveData(Data * data, SerialEnv * env, int test=0) : SaveData(data, test), env(env) { }

    virtual ~SerialSaveData() { }     


    void saveAll(bool timeSeries=false);


    void saveVar(string variable, int num=1);

};

#endif