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