Function smc_storm::parser::parsePrismModelAndProperties

Defined in File parsers.hpp

Function Documentation

SymbolicModelAndProperty smc_storm::parser::parsePrismModelAndProperties(const smc_storm::settings::UserSettings &settings)