carl  24.04
Computer ARithmetic Library
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)