lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::Numeric Concept Reference

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

#include <concept.h>

Concept definition

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

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