bbm::concepts::backbone::has_math_functions Concept Reference

Concept to check if a type has all bbm math functions. More...

#include <math.h>

Concept definition

template<typename T>
concept bbm::concepts::backbone::has_math_functions =  requires(T a)
      {
        requires concepts::valid_trait<replace_scalar_t, T, T>;
                
        
        { bbm::fmod(a, a) } -> std::convertible_to<T>;
        { bbm::lerp(a, a, a) } -> std::convertible_to<T>;
        
        
        { bbm::exp(a) } -> std::convertible_to<T>;
        { bbm::log(a) } -> std::convertible_to<T>;
        { bbm::pow(a, a) } -> std::convertible_to<T>;
        { bbm::sqrt(a) } -> std::convertible_to<T>;
 
        
        { bbm::cossin(a) } -> std::convertible_to<vec2d<T>>;
        { bbm::cos(a) } -> std::convertible_to<T>;
        { bbm::acos(a) } -> std::convertible_to<T>;
        { bbm::sin(a) } -> std::convertible_to<T>;
        { bbm::asin(a) } -> std::convertible_to<T>;
        { bbm::tan(a) } -> std::convertible_to<T>;
        { bbm::atan(a) } -> std::convertible_to<T>;
        
 
        
        { bbm::cosh(a) } -> std::convertible_to<T>;
        { bbm::acosh(a) } -> std::convertible_to<T>;
        { bbm::sinh(a) } -> std::convertible_to<T>;
        { bbm::asinh(a) } -> std::convertible_to<T>;
        { bbm::tanh(a) } -> std::convertible_to<T>;
        { bbm::atanh(a) } -> std::convertible_to<T>;
 
        
        { bbm::abs(a) } -> std::convertible_to<T>;
        { bbm::copysign(a, a) } -> std::convertible_to<T>;
        { bbm::sign(a) } -> std::convertible_to<T>;
 
        
        { bbm::max(a,a) } -> std::convertible_to<T>;
        { bbm::min(a,a) } -> std::convertible_to<T>;
        { bbm::ceil(a) } -> std::convertible_to<T>;
        { bbm::floor(a) } -> std::convertible_to<T>;
        { bbm::round(a) } -> std::convertible_to<T>;
        { bbm::clamp(a,a,a) } ->std::convertible_to<T>;
        
        
        { bbm::safe_sqrt(a) } -> std::convertible_to<T>;
        { bbm::safe_asin(a) } -> std::convertible_to<T>;
        { bbm::safe_acos(a) } -> std::convertible_to<T>;
 
        
        { bbm::eq(a,a) } -> std::convertible_to<mask_t<T>>;
        { bbm::neq(a,a) } -> std::convertible_to<mask_t<T>>;
 
        { bbm::isnan(a) } -> std::convertible_to<mask_t<T>>;
        { bbm::isinf(a) } -> std::convertible_to<mask_t<T>>;
        { bbm::isfinite(a) } -> std::convertible_to<mask_t<T>>;
      }

Detailed Description

Concept to check if a type has all bbm math functions.

• fmod(a, b): modulo
• lerp(a, b, t): linear interpolation
• exp(a): \( e^a \)
• log(a): natural logarithm
• pow(a, b): \( a^b \)
• sqrt(a): \( \sqrt{a} \)
• cos(a), sin(a), tan(a): trig functions
• acos(a), asin(a), atan(a): inverse trig functions
• atan2(a, b) = atan(a/b)
• cossin(a) : vec2d(cos(a), sin(a))
• cosh(a), sinh(a), tanh(a); hyperbolic functions
• acosh(a), asinh(a), atanh(a); inversehyperbolic functions
• abs(a): absolute value
• copysign(a, b) : copy the sign of b and the magnitude of a
• sign(a) = copysign(1, a)
• max(a,b), min(a,b)
• ceil(a), floor(a)
• round(a)
• clamp(a, l, u): min(max(a, l), u)
• safe_sqrt(a) : \( \sqrt{ max(a,0) } \)
• safe_acos(a) : asin( clamp(a, -1, +1) )
• safe_asin(a) : acos( clamp(a, -1, +1) )
• eq, neq: equals and not equals; yields mask_t
• isnan, isinfinite, isinf; yields mask_t