carl Namespace Reference

Classes
class	Interval
class	UnivariatePolynomial
class	FactorizedPolynomial
class	Cache
class	RationalFunction

Functions
template<typename Number>
size_t	hash_value (carl::Interval< Number > const &i)
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)

Function Documentation

hash_value() [1/4]

template<typename Pol>

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

inline

Definition at line 30 of file RationalFunctionAdapter.h.

hash_value() [2/4]

template<typename Number>

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

inline

Definition at line 9 of file IntervalAdapter.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 24 of file RationalFunctionAdapter.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 36 of file RationalFunctionAdapter.h.