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)