dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::Arithmetic Concept Reference

Check if the type T supports the arithmetic operations +, -, *, /. More...

#include <concepts.h>

Concept definition

template<class T>
concept dlinear::Arithmetic = requires(T a, T b) {
{ a + b } -> std::convertible_to<T>;
{ a - b } -> std::convertible_to<T>;
{ a* b } -> std::convertible_to<T>;
{ a / b } -> std::convertible_to<T>;
}
Check if the type T supports the arithmetic operations +, -, *, /.
Definition concepts.h:49

Detailed Description

Check if the type T supports the arithmetic operations +, -, *, /.

template <Arithmetic T>
void foo(T a, T b); // a and b can be added, subtracted, multiplied and divided with the corresponding operator
Template Parameters
Ttype to check

Definition at line 49 of file concepts.h.