smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::Numeric Concept Reference

#include <concepts.h>

Concept definition

template<class T>
concept smats::Numeric = std::totally_ordered<T> && Arithmetic<T>
Definition concepts.h:60
Definition concepts.h:76

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