Function smc_storm::parser::loadJaniModel

Defined in File parsers.hpp

Function Documentation

JaniModelPropertiesPlugins smc_storm::parser::loadJaniModel(const std::filesystem::path &jani_file, const std::vector<std::filesystem::path> &plugin_paths)