RationalFunctionAdapter.cpp File Reference

#include "storm/adapters/RationalFunctionAdapter.h"

Include dependency graph for RationalFunctionAdapter.cpp:

Go to the source code of this file.

Namespaces
namespace	storm

Functions
RationalFunctionVariable	storm::createRFVariable (std::string const &name)
RationalFunctionVariable	storm::findRFVariable (std::string const &name)
	Retrieves the (already existing) rational-function variable with the given name.
void	storm::clearRFVariablePool ()
	Clears the global pool of rational-function variables.