MartyFileWriter.h

Go to the documentation of this file.

 
#ifndef MARTY_FILE_WRITER_H
#define MARTY_FILE_WRITER_H
 
#include <fstream>
#include <string>
 
#include "FileNameManager.h"
 
class MartyFileWriter {
public:
    MartyFileWriter(const std::string& wilson,
                    const std::string& model,
                    bool bsm_split_generation = false,
                    bool full_target_generation = false);
 
    void add_output_writer(std::ofstream& outputFile);
 
    void add_argpars(std::ofstream& outputFile);
 
    void add_input_reader(std::ofstream& outputFile);
 
private:
    bool should_set_mudim() const;
 
    std::string wilson; 
    std::string model;  
    bool bsm_split_generation{false}; 
    bool full_target_generation{false}; 
};
 
#endif