aikido
SO3.hpp
1 #ifndef AIKIDO_STATESPACE_SO3STATESPACE_HPP_
2 #define AIKIDO_STATESPACE_SO3STATESPACE_HPP_
3 #include <Eigen/Geometry>
4 
5 #include "aikido/statespace/ScopedState.hpp"
6 #include "aikido/statespace/StateSpace.hpp"
7 
8 namespace aikido {
9 namespace statespace {
10 
11 // Defined in detail/SO3-impl.hpp
12 template <class>
13 class SO3StateHandle;
14 
17 class SO3 : virtual public StateSpace
18 {
19 public:
21  class State : public StateSpace::State
22  {
23  public:
24  using Quaternion = Eigen::Quaternion<double, Eigen::DontAlign>;
25 
27  State();
28 
29  ~State() = default;
30 
34  explicit State(const Quaternion& _quaternion);
35 
39  const Quaternion& getQuaternion() const;
40 
44  void setQuaternion(const Quaternion& _quaternion);
45 
46  private:
47  Quaternion mValue;
48 
49  friend class SO3;
50  };
51 
54 
57 
58  using StateSpace::compose;
59 
60  using Quaternion = State::Quaternion;
61 
63  SO3() = default;
64 
68  ScopedState createState() const;
69 
71  ScopedState cloneState(const StateSpace::State* stateIn) const;
72 
77  const Quaternion& getQuaternion(const State* _state) const;
78 
83  void setQuaternion(State* _state, const Quaternion& _quaternion) const;
84 
85  // Documentation inherited.
86  std::size_t getStateSizeInBytes() const override;
87 
88  // Documentation inherited.
89  StateSpace::State* allocateStateInBuffer(void* _buffer) const override;
90 
91  // Documentation inherited.
92  void freeStateInBuffer(StateSpace::State* _state) const override;
93 
94  // Documentation inherited.
95  void compose(
96  const StateSpace::State* _state1,
97  const StateSpace::State* _state2,
98  StateSpace::State* _out) const override;
99 
100  // Documentation inherited
101  void getIdentity(StateSpace::State* _out) const override;
102 
103  // Documentation inherited
104  void getInverse(
105  const StateSpace::State* _in, StateSpace::State* _out) const override;
106 
107  // Documentation inherited
108  std::size_t getDimension() const override;
109 
110  // Documentation inherited
111  void copyState(
112  const StateSpace::State* _source,
113  StateSpace::State* _destination) const override;
114 
120  void expMap(
121  const Eigen::VectorXd& _tangent, StateSpace::State* _out) const override;
122 
128  void logMap(
129  const StateSpace::State* _in, Eigen::VectorXd& _tangent) const override;
130 
133  void print(const StateSpace::State* _state, std::ostream& _os) const override;
134 };
135 
136 } // namespace statespace
137 } // namespace aikido
138 
139 #include "detail/SO3-impl.hpp"
140 
141 #endif // ifndef AIKIDO_STATESPACE_SO3STATESPACE_HPP_
State()
Constructs the identity element.
void print(const StateSpace::State *_state, std::ostream &_os) const override
Print the quaternion represented by the state.
Definition: SO3.cpp:168
State in SO(3), a spatial rotation.
Definition: SO3.hpp:21
std::size_t getDimension() const override
Get the dimension of this Lie group.
Definition: SO3.cpp:117
void setQuaternion(const Quaternion &_quaternion)
Sets a state to a unit quaternion.
Definition: SO3.cpp:27
CRTP RAII wrapper for a StateHandle.
Definition: ScopedState.hpp:15
The two-dimensional special orthogonal group SO(3), i.e.
Definition: SO3.hpp:17
std::size_t getStateSizeInBytes() const override
Gets the size of a State, in bytes.
Definition: SO3.cpp:61
virtual void compose(const State *_state1, const State *_state2, State *_out) const =0
Lie group operation for this StateSpace.
void copyState(const StateSpace::State *_source, StateSpace::State *_destination) const override
Copy a state.
Definition: SO3.cpp:123
Format of serialized trajectory in YAML.
Definition: algorithm.hpp:4
StateSpace::State * allocateStateInBuffer(void *_buffer) const override
Create a new state in a pre-allocated buffer.
Definition: SO3.cpp:67
A tuple of states where the i-th state is from the i-th subspace.
Definition: CartesianProduct.hpp:162
const Quaternion & getQuaternion() const
Gets a state as a unit quaternion.
Definition: SO3.cpp:21
void expMap(const Eigen::VectorXd &_tangent, StateSpace::State *_out) const override
Exponential mapping of Lie algebra element to a Lie group element.
Definition: SO3.cpp:133
ScopedState cloneState(const StateSpace::State *stateIn) const
Creates an identical clone of stateIn.
Definition: SO3.cpp:40
ScopedState createState() const
Helper function to create a ScopedState.
Definition: SO3.cpp:34
void logMap(const StateSpace::State *_in, Eigen::VectorXd &_tangent) const override
Log mapping of Lie group element to a Lie algebra element.
Definition: SO3.cpp:154
Represents a Lie group and its associated Lie algebra, i.e.
Definition: StateSpace.hpp:33
StateHandle for a SO3.
Definition: SO3-impl.hpp:9