prism.h File Reference

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

Include dependency graph for prism.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::expressions
namespace	storm::prism
namespace	storm::utility
namespace	storm::utility::prism

Functions
storm::prism::Program	storm::utility::prism::preprocess (storm::prism::Program const &program, std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantDefinitions)
storm::prism::Program	storm::utility::prism::preprocess (storm::prism::Program const &program, std::string const &constantDefinitionString)
void	storm::utility::prism::requireNoUndefinedConstants (storm::prism::Program const &program)