|
|
delpi
0.0.1
DElta-complete LP solver
|
| Ndelpi | Global namespace for the delpi library |
| RMapFromTo | Check if the type T constitutes a map from type From to type To |
| RSelfReferenceCounter | Check if the type T is a self-reference counter type |
| RIterable | Check if the type T is an iterable type |
| RSizedIterable | Check if the type T is an iterable type with a size() method |
| RTypedIterable | Check if the type T is an iterable type with elements of type U |
| RSizedTypedIterable | Check if the type T is an iterable type with elements of type U and a size() method |
| 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 <, >, <=, >= |