Class TracesExporter

Defined in File traces_exporter.hpp

Inheritance Relationships

Derived Types

public smc_storm::samples::CompressedStateTraceExporter (Class CompressedStateTraceExporter)
public smc_storm::samples::UncompressedStateTraceExporter (Class UncompressedStateTraceExporter)

Class Documentation

class TracesExporter

An helper class to export the generated traces to a CSV file.

Subclassed by smc_storm::samples::CompressedStateTraceExporter, smc_storm::samples::UncompressedStateTraceExporter

Public Functions

TracesExporter(const std::filesystem::path &path_to_file, const int thread_id)

Constructor for the TraceExporter helper class.

Parameters:

path_to_file – Path to the CSV file to write the traces in
var_info – Reference to the VariableInformation instance related to the loaded model, to expand CompressedStates

virtual ~TracesExporter()

inline void setExportOnlyFailures()

void addCurrentTraceResult(const TraceInformation &result)

Write the current trace’s verification result and start the next trace.

Parameters:: result – The result of the current trace

virtual void startNewTrace() = 0

Protected Functions

void createNewTraceFile()

const std::string generateNewFilename(const smc_storm::samples::TraceResult &res)

Protected Attributes

std::ofstream _current_file

const std::filesystem::path _traces_folder

bool _export_only_failures = false

size_t _trace_counter

size_t _n_variables

const int _thread_id

const std::string _tmp_filename_path