carl
24.04
Computer ARithmetic Library
|
#include <carl-common/meta/SFINAE.h>
#include <carl-arith/constraint/BasicConstraint.h>
#include <carl-arith/poly/umvpoly/functions/Evaluation.h>
#include <carl-arith/constraint/Evaluation.h>
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Functions | |
template<typename Number , typename = std::enable_if_t<is_number_type<Number>::value>> | |
const Number & | carl::branching_point (const Number &n) |
template<typename Number , typename = std::enable_if_t<is_number_type<Number>::value>> | |
Number | carl::sample_above (const Number &n) |
template<typename Number , typename = std::enable_if_t<is_number_type<Number>::value>> | |
Number | carl::sample_below (const Number &n) |
template<typename Number , typename = std::enable_if_t<is_number_type<Number>::value>> | |
Number | carl::sample_between (const Number &lower, const Number &upper) |