Class UncompressedStateTraceExporter

Defined in File traces_exporter.hpp

Inheritance Relationships

Base Type

public smc_storm::samples::TracesExporter (Class TracesExporter)

Class Documentation

class UncompressedStateTraceExporter : public smc_storm::samples::TracesExporter 

Public Functions

UncompressedStateTraceExporter(const std::filesystem::path &path_to_file, const state_properties::StateVariableInformation<double> &var_info)

void addNextState(const state_properties::StateVariableData<double> &state)