storm::utility::prism Namespace Reference

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

Function Documentation

preprocess() [1/2]

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

Definition at line 19 of file prism.cpp.

preprocess() [2/2]

storm::prism::Program storm::utility::prism::preprocess	(	storm::prism::Program const &	program,
		std::string const &	constantDefinitionString
	)

Definition at line 26 of file prism.cpp.

requireNoUndefinedConstants()

void storm::utility::prism::requireNoUndefinedConstants

(

storm::prism::Program const &

program

)

Definition at line 30 of file prism.cpp.