dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
Concepts
Here is a list of all documented concepts with brief descriptions:
[detail level 12]
 NdlinearGlobal namespace for the dlinear library
 RIsAnyOfCheck if the type T is any of the types U
 RIsNotAnyOfCheck if the type T is not any of the types U
 RArithmeticCheck if the type T supports the arithmetic operations +, -, *, /
 RNumericCheck if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=