properties.h File Reference

#include <boost/optional.hpp>
#include <map>
#include <memory>
#include <set>
#include <string>
#include <vector>

Include dependency graph for properties.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::parser
	Contains all file parsers and helper classes.
namespace	storm::jani
namespace	storm::expressions
namespace	storm::prism
namespace	storm::storage
namespace	storm::logic
namespace	storm::api

Functions
boost::optional< std::set< std::string > >	storm::api::parsePropertyFilter (std::string const &propertyFilter)
std::vector< storm::jani::Property >	storm::api::parseProperties (storm::parser::FormulaParser &formulaParser, std::string const &inputString, boost::optional< std::set< std::string > > const &propertyFilter)
std::vector< storm::jani::Property >	storm::api::parseProperties (std::string const &inputString, boost::optional< std::set< std::string > > const &propertyFilter)
std::vector< storm::jani::Property >	storm::api::parsePropertiesForPrismProgram (std::string const &inputString, storm::prism::Program const &program, boost::optional< std::set< std::string > > const &propertyFilter)
std::vector< storm::jani::Property >	storm::api::parsePropertiesForJaniModel (std::string const &inputString, storm::jani::Model const &model, boost::optional< std::set< std::string > > const &propertyFilter)
std::vector< storm::jani::Property >	storm::api::parsePropertiesForSymbolicModelDescription (std::string const &inputString, storm::storage::SymbolicModelDescription const &modelDescription, boost::optional< std::set< std::string > > const &propertyFilter)