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 <, >, <=, >= |