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)

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

Protected Functions

virtual void writeCachedStates() = 0

virtual void clearTraces() = 0

Protected Attributes

std::ofstream _file

bool _export_only_failures = false

size_t _trace_counter

size_t _n_variables