|
|
dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
| ▼Ndlinear | Global namespace for the dlinear library |
| RIsAnyOf | Check if the type T is any of the types U |
| RIsNotAnyOf | Check if the type T is not any of the types U |
| RArithmetic | Check if the type T supports the arithmetic operations +, -, *, / |
| RNumeric | Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >= |