Function smc_storm::parser::getRequestedProperties

Defined in File parsers.hpp

Function Documentation

std::vector<std::string> smc_storm::parser::getRequestedProperties(const std::string &properties_string)