Class CompressedStateTraceExporter

Defined in File traces_exporter.hpp

Inheritance Relationships

Base Type

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

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

void addNextState(const storm::generator::CompressedState &state)