Class CompressedStateTraceExporter

Inheritance Relationships

Base Type

Class Documentation

class CompressedStateTraceExporter : public smc_storm::samples::TracesExporter

Public Functions

CompressedStateTraceExporter(const std::filesystem::path &path_to_file, const storm::generator::VariableInformation &var_info, const int thread_id)
virtual void startNewTrace() override
void addNextState(const storm::generator::CompressedState &state)