BoundType.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	std::hash< carl::BoundType >
	Specialization of std::hash for BoundType. More...

Namespaces
	carl
	carl is the main namespace for the library.

Enumerations
enum class	carl::BoundType { carl::STRICT = 0 , carl::WEAK = 1 , carl::INFTY = 2 }

Functions
std::ostream &	carl::operator<< (std::ostream &os, BoundType b)
static BoundType	carl::get_weakest_bound_type (BoundType type1, BoundType type2)
static BoundType	carl::get_strictest_bound_type (BoundType type1, BoundType type2)
static BoundType	carl::get_other_bound_type (BoundType type)