lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
Concepts
Here is a list of all documented concepts with brief descriptions:
[detail level 12]
 NlucidRoot namespace for the lucid library
 RSizedDataContainerCheck 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
 RMapFromToCheck if the type T constitutes a map from type From to type To
 RSelfReferenceCounterCheck if the type T is a self-reference counter type
 RIterableCheck if the type T is an iterable type
 RSizedIterableCheck if the type T is an iterable type with a size() method
 RTypedIterableCheck if the type T is an iterable type with elements of type U
 RSizedTypedIterableCheck if the type T is an iterable type with elements of type U and a size() method
 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 <, >, <=, >=