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::jani
namespace	storm::expressions
namespace	storm::prism
namespace	storm::storage
namespace	storm::logic
namespace	storm::api

Functions
std::vector< storm::jani::Property >	storm::api::substituteConstantsInProperties (std::vector< storm::jani::Property > const &properties, std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution)
std::vector< storm::jani::Property >	storm::api::substituteTranscendentalNumbersInProperties (std::vector< storm::jani::Property > const &properties)
std::vector< storm::jani::Property >	storm::api::filterProperties (std::vector< storm::jani::Property > const &properties, boost::optional< std::set< std::string > > const &propertyFilter)
std::vector< std::shared_ptr< storm::logic::Formula const > >	storm::api::extractFormulasFromProperties (std::vector< storm::jani::Property > const &properties)
storm::jani::Property	storm::api::createMultiObjectiveProperty (std::vector< storm::jani::Property > const &properties)