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

Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=. More...

#include <concepts.h>

Concept definition

template<class T>
concept dlinear::Numeric = std::totally_ordered<T> && Arithmetic<T>
Check if the type T supports the arithmetic operations +, -, *, /.
Definition concepts.h:49
Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <,...
Definition concepts.h:65

Detailed Description

Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=.

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

Definition at line 65 of file concepts.h.