Function smc_storm::parser::filterProperties

Defined in File parsers.hpp

Function Documentation

std::vector<storm::jani::Property> smc_storm::parser::filterProperties(const std::vector<storm::jani::Property> &properties, const std::vector<std::string> &properties_ids, const std::map<storm::expressions::Variable, storm::expressions::Expression> &model_constants_map)