dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=. More...
#include <concepts.h>
Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=.
T | type to check |
Definition at line 65 of file concepts.h.