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