|
gtsam
4.0.0
gtsam
|
Concept check class for variable types with Group properties. More...
Go to the source code of this file.
Classes | |
| struct | gtsam::group_tag |
| tag to assert a type is a group More... | |
| struct | gtsam::multiplicative_group_tag |
| Group operator syntax flavors. More... | |
| struct | gtsam::additive_group_tag |
| struct | gtsam::traits< T > |
| A manifold defines a space in which there is a notion of a linear tangent space that can be centered around a given point on the manifold. More... | |
| class | gtsam::IsGroup< G > |
| Group Concept. More... | |
| class | gtsam::DirectProduct |
| struct | gtsam::traits< DirectProduct< G, H > > |
| class | gtsam::DirectSum< G, H > |
| Template to construct the direct sum of two additive groups Assumes existence of three additive operators for both groups. More... | |
| struct | gtsam::traits< DirectSum< G, H > > |
Namespaces | |
| gtsam | |
| Global functions in a separate testing namespace. | |
Macros | |
| #define | GTSAM_CONCEPT_GROUP_INST(T) template class gtsam::IsGroup<T>; |
| Macros for using the IsGroup. More... | |
| #define | GTSAM_CONCEPT_GROUP_TYPE(T) typedef gtsam::IsGroup<T> _gtsam_IsGroup_##T; |
Functions | |
| template<typename G > | |
| gtsam::BOOST_CONCEPT_REQUIRES (((IsGroup< G >)),(bool)) check_group_invariants(const G &a | |
| Check invariants. | |
Variables | |
| const G & | gtsam::b |
| const G double | gtsam::tol |
Concept check class for variable types with Group properties.
| #define GTSAM_CONCEPT_GROUP_INST | ( | T | ) | template class gtsam::IsGroup<T>; |
Macros for using the IsGroup.
NOTE: intentionally not in the gtsam namespace to allow for classes not in the gtsam namespace to be more easily enforced as testable