|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
| ▼Nlucid | Root namespace for the lucid library |
| RSizedDataContainer | Check if the type T is a data container of type U having a data() method which returns a raw pointer and a size() method which returns the size of the container |
| 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 <, >, <=, >= |