Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
carl Namespace Reference

Classes

class  Cache
 
class  FactorizedPolynomial
 
class  Interval
 
class  RationalFunction
 

Functions

template<typename C , typename O , typename P >
size_t hash_value (carl::MultivariatePolynomial< C, O, P > const &p)
 
template<typename Pol >
size_t hash_value (carl::FactorizedPolynomial< Pol > const &p)
 
template<typename Pol , bool AutoSimplify>
size_t hash_value (carl::RationalFunction< Pol, AutoSimplify > const &f)
 
template<typename Number >
size_t hash_value (carl::Interval< Number > const &i)
 

Function Documentation

◆ hash_value() [1/4]

template<typename Pol >
size_t carl::hash_value ( carl::FactorizedPolynomial< Pol > const &  p)
inline

Definition at line 24 of file RationalFunctionAdapter_Private.h.

◆ hash_value() [2/4]

template<typename Number >
size_t carl::hash_value ( carl::Interval< Number > const &  i)
inline

Definition at line 36 of file RationalFunctionAdapter_Private.h.

◆ hash_value() [3/4]

template<typename C , typename O , typename P >
size_t carl::hash_value ( carl::MultivariatePolynomial< C, O, P > const &  p)
inline

Definition at line 18 of file RationalFunctionAdapter_Private.h.

◆ hash_value() [4/4]

template<typename Pol , bool AutoSimplify>
size_t carl::hash_value ( carl::RationalFunction< Pol, AutoSimplify > const &  f)
inline

Definition at line 30 of file RationalFunctionAdapter_Private.h.