Class TracesExporter

Class Documentation

class TracesExporter

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

Public Functions

TracesExporter(const std::filesystem::path &path_to_file, const storm::generator::VariableInformation &var_info)

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

~TracesExporter()
inline void setExportOnlyFailures()
void addNextState(const storm::generator::CompressedState &state)

Add a new line to the current trace, using the provided state.

Parameters:

state – The Compressed state containing the internal variables values.

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