dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Check if the type T is not any of the types U. More...
#include <concepts.h>
Check if the type T is not any of the types U.
T | type to check |
U | any number of types to check against |
Definition at line 38 of file concepts.h.