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