Function smc_storm::parser::substituteConstants

Defined in File parsers.hpp

Function Documentation

model_checker::ModelAndProperties smc_storm::parser::substituteConstants(const model_checker::ModelAndProperties &model_and_properties, const std::string constants)