IntervalAdapter.h File Reference

#include "storm/adapters/IntervalForward.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include <carl/interval/Interval.h>

Include dependency graph for IntervalAdapter.h:

Go to the source code of this file.

Namespaces
namespace	carl
namespace	storm

Typedefs
using	storm::BoundType = carl::BoundType
	Type describing the interval bounds.

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