Function smc_storm::model_checker::areModelAndSettingsValid

Defined in File model_and_settings_validation.hpp

Function Documentation

bool smc_storm::model_checker::areModelAndSettingsValid(const ModelAndProperties &model_and_properties, const settings::SmcSettings &settings): Check that the provided model and settings are compatible.