|
| void | storm::cli::parseSymbolicModelDescription (storm::settings::modules::IOSettings const &ioSettings, SymbolicInput &input) |
| void | storm::cli::parseProperties (storm::settings::modules::IOSettings const &ioSettings, SymbolicInput &input, boost::optional< std::set< std::string > > const &propertyFilter) |
| SymbolicInput | storm::cli::parseSymbolicInputQvbs (storm::settings::modules::IOSettings const &ioSettings) |
| SymbolicInput | storm::cli::parseSymbolicInput () |
| void | storm::cli::getModelProcessingInformationAutomatic (SymbolicInput const &input, ModelProcessingInformation &mpi) |
| ModelProcessingInformation | storm::cli::getModelProcessingInformation (SymbolicInput const &input, std::shared_ptr< SymbolicInput > const &transformedJaniInput=nullptr) |
| | Sets the model processing information based on the given input.
|
| auto | storm::cli::castAndApply (std::shared_ptr< storm::models::ModelBase > const &model, auto const &callback) |
| auto | storm::cli::applyValueType (ModelProcessingInformation::ValueType vt, auto const &callback) |
| auto | storm::cli::applyDdLibValueType (storm::dd::DdType dd, ModelProcessingInformation::ValueType vt, auto const &callback) |
| void | storm::cli::ensureNoUndefinedPropertyConstants (std::vector< storm::jani::Property > const &properties) |
| std::pair< SymbolicInput, ModelProcessingInformation > | storm::cli::preprocessSymbolicInput (SymbolicInput const &input) |
| std::vector< std::shared_ptr< storm::logic::Formula const > > | storm::cli::createFormulasToRespect (std::vector< storm::jani::Property > const &properties) |
| template<storm::dd::DdType DdType, typename ValueType> |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildModelDd (storm::Environment const &env, SymbolicInput const &input) |
| storm::builder::BuilderOptions | storm::cli::createBuildOptionsSparseFromSettings (SymbolicInput const &input) |
| template<typename ValueType> |
| storm::builder::ExplicitModelBuilder< ValueType >::Options | storm::cli::createExplorationOptionsFromSettings () |
| template<typename ValueType> |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildModelSparse (SymbolicInput const &input, storm::builder::BuilderOptions const &options) |
| template<typename ValueType> |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildModelExplicit (storm::settings::modules::IOSettings const &ioSettings, storm::settings::modules::BuildSettings const &buildSettings) |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildModel (SymbolicInput const &input, storm::settings::modules::IOSettings const &ioSettings, ModelProcessingInformation const &mpi) |
| template<typename ValueType> |
| std::shared_ptr< storm::models::sparse::Model< ValueType > > | storm::cli::preprocessSparseMarkovAutomaton (std::shared_ptr< storm::models::sparse::MarkovAutomaton< ValueType > > const &model) |
| template<typename ValueType> |
| std::shared_ptr< storm::models::sparse::Model< ValueType > > | storm::cli::preprocessSparseModelBisimulation (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &model, SymbolicInput const &input, storm::settings::modules::BisimulationSettings const &bisimulationSettings, bool graphPreserving=true) |
| template<typename ValueType> |
| std::pair< std::shared_ptr< storm::models::ModelBase >, bool > | storm::cli::preprocessModel (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &model, SymbolicInput const &input, ModelProcessingInformation const &mpi) |
| template<typename ValueType> |
| void | storm::cli::exportModel (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &model, SymbolicInput const &input) |
| template<storm::dd::DdType DdType, typename ValueType> |
| void | storm::cli::exportModel (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model, SymbolicInput const &) |
| template<storm::dd::DdType DdType, typename ValueType> |
| std::enable_if< DdType!=storm::dd::DdType::Sylvan &&!std::is_same< ValueType, double >::value, std::shared_ptr< storm::models::Model< ValueType > > >::type | storm::cli::preprocessDdMarkovAutomaton (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model) |
| template<storm::dd::DdType DdType, typename ValueType> |
| std::enable_if< DdType==storm::dd::DdType::Sylvan||std::is_same< ValueType, double >::value, std::shared_ptr< storm::models::Model< ValueType > > >::type | storm::cli::preprocessDdMarkovAutomaton (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model) |
| template<storm::dd::DdType DdType, typename ValueType, typename ExportValueType = ValueType> |
| std::shared_ptr< storm::models::Model< ExportValueType > > | storm::cli::preprocessDdModelBisimulation (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model, SymbolicInput const &input, storm::settings::modules::BisimulationSettings const &bisimulationSettings, ModelProcessingInformation const &mpi) |
| template<typename ExportValueType, storm::dd::DdType DdType, typename ValueType> |
| std::pair< std::shared_ptr< storm::models::ModelBase >, bool > | storm::cli::preprocessDdModelImpl (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model, SymbolicInput const &input, ModelProcessingInformation const &mpi) |
| template<storm::dd::DdType DdType, typename ValueType> |
| std::pair< std::shared_ptr< storm::models::ModelBase >, bool > | storm::cli::preprocessModel (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model, SymbolicInput const &input, ModelProcessingInformation const &mpi) |
| void | storm::cli::printModelCheckingProperty (storm::jani::Property const &property) |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildPreprocessModel (SymbolicInput const &input, ModelProcessingInformation const &mpi) |
| std::shared_ptr< storm::models::ModelBase > | storm::cli::buildPreprocessExportModel (SymbolicInput const &input, ModelProcessingInformation const &mpi) |
