Function smc_storm::parser::parsePrismModelAndProperties

Defined in File parsers.hpp

Function Documentation

model_checker::ModelAndProperties smc_storm::parser::parsePrismModelAndProperties(const smc_storm::settings::UserSettings &settings)