Concept check class for variable types with Group properties. More...
#include <gtsam/base/Testable.h>
#include <boost/concept_check.hpp>
#include <boost/concept/requires.hpp>
#include <boost/type_traits/is_base_of.hpp>
#include <boost/static_assert.hpp>
#include <utility>
Go to the source code of this file.
Classes | |
struct | gtsam::additive_group_tag |
class | gtsam::DirectProduct |
class | gtsam::DirectSum< G, H > |
struct | gtsam::group_tag |
tag to assert a type is a group More... | |
class | gtsam::IsGroup< G > |
struct | gtsam::multiplicative_group_tag |
Group operator syntax flavors. More... | |
struct | gtsam::traits< T > |
struct | gtsam::traits< DirectProduct< G, H > > |
struct | gtsam::traits< DirectSum< G, H > > |
Namespaces | |
gtsam | |
traits | |
Macros | |
#define | GTSAM_CONCEPT_GROUP_INST(T) template class gtsam::IsGroup<T>; |
#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. More... | |
Variables | |
const G & | gtsam::b |
const G double | gtsam::tol |
Concept check class for variable types with Group properties.
Definition in file Group.h.
#define GTSAM_CONCEPT_GROUP_INST | ( | T | ) | template class gtsam::IsGroup<T>; |