RationalFunctionAdapter.h File Reference

#include "storm/adapters/RationalFunctionForward.h"
#include <carl/core/FactorizedPolynomial.h>
#include <carl/core/MultivariatePolynomial.h>
#include <carl/core/RationalFunction.h>
#include <carl/core/Relation.h>
#include <carl/core/VariablePool.h>

Include dependency graph for RationalFunctionAdapter.h:

Go to the source code of this file.

Namespaces
namespace	carl
namespace	storm

Typedefs
typedef carl::Cache< carl::PolynomialFactorizationPair< RawPolynomial > >	storm::RawPolynomialCache
typedef carl::Relation	storm::CompareRelation

Functions
template<typename C, typename O, typename P>
size_t	carl::hash_value (carl::MultivariatePolynomial< C, O, P > const &p)
template<typename Pol>
size_t	carl::hash_value (carl::FactorizedPolynomial< Pol > const &p)
template<typename Pol, bool AutoSimplify>
size_t	carl::hash_value (carl::RationalFunction< Pol, AutoSimplify > const &f)
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.