GTSAM  4.0.2
C++ library for smoothing and mapping (SAM)
LinearEquality.h
Go to the documentation of this file.
1 /* ----------------------------------------------------------------------------
2 
3  * GTSAM Copyright 2010, Georgia Tech Research Corporation,
4  * Atlanta, Georgia 30332-0415
5  * All Rights Reserved
6  * Authors: Frank Dellaert, et al. (see THANKS for the full author list)
7 
8  * See LICENSE for the license information
9 
10  * -------------------------------------------------------------------------- */
11 
19 #pragma once
20 
22 
23 namespace gtsam {
24 
30 public:
31  typedef LinearEquality This;
32  typedef JacobianFactor Base;
33  typedef std::shared_ptr<This> shared_ptr;
34 
35 private:
36  Key dualKey_;
37 
38 public:
41  Base() {
42  }
43 
47  explicit LinearEquality(const JacobianFactor& jf, Key dualKey) :
48  Base(jf), dualKey_(dualKey) {
49  if (!jf.isConstrained()) {
50  throw std::runtime_error(
51  "Cannot convert an unconstrained JacobianFactor to LinearEquality");
52  }
53  }
54 
56  explicit LinearEquality(const HessianFactor& hf) {
57  throw std::runtime_error("Cannot convert HessianFactor to LinearEquality");
58  }
59 
61  LinearEquality(Key i1, const Matrix& A1, const Vector& b, Key dualKey) :
62  Base(i1, A1, b, noiseModel::Constrained::All(b.rows())), dualKey_(dualKey) {
63  }
64 
66  LinearEquality(Key i1, const Matrix& A1, Key i2, const Matrix& A2,
67  const Vector& b, Key dualKey) :
68  Base(i1, A1, i2, A2, b, noiseModel::Constrained::All(b.rows())), dualKey_(
69  dualKey) {
70  }
71 
73  LinearEquality(Key i1, const Matrix& A1, Key i2, const Matrix& A2, Key i3,
74  const Matrix& A3, const Vector& b, Key dualKey) :
75  Base(i1, A1, i2, A2, i3, A3, b, noiseModel::Constrained::All(b.rows())), dualKey_(
76  dualKey) {
77  }
78 
82  template<typename TERMS>
83  LinearEquality(const TERMS& terms, const Vector& b, Key dualKey) :
84  Base(terms, b, noiseModel::Constrained::All(b.rows())), dualKey_(dualKey) {
85  }
86 
88  ~LinearEquality() override {
89  }
90 
92  bool equals(const GaussianFactor& lf, double tol = 1e-9) const override {
93  return Base::equals(lf, tol);
94  }
95 
97  void print(const std::string& s = "", const KeyFormatter& formatter =
98  DefaultKeyFormatter) const override {
99  Base::print(s, formatter);
100  }
101 
104  return std::static_pointer_cast < GaussianFactor
105  > (std::make_shared < LinearEquality > (*this));
106  }
107 
109  Key dualKey() const {
110  return dualKey_;
111  }
112 
114  bool active() const {
115  return true;
116  }
117 
119  Vector error_vector(const VectorValues& c) const {
120  return unweighted_error(c);
121  }
122 
127  double error(const VectorValues& c) const override {
128  return 0.0;
129  }
130 
131 };
132 // \ LinearEquality
133 
135 template<> struct traits<LinearEquality> : public Testable<LinearEquality> {
136 };
137 
138 } // \ namespace gtsam
139 
JacobianFactor Base
Typedef to base class.
Definition: LinearEquality.h:32
LinearEquality(Key i1, const Matrix &A1, const Vector &b, Key dualKey)
Definition: LinearEquality.h:61
LinearEquality(const TERMS &terms, const Vector &b, Key dualKey)
Definition: LinearEquality.h:83
bool equals(const GaussianFactor &lf, double tol=1e-9) const override
assert equality up to a tolerance
void print(const std::string &s="", const KeyFormatter &formatter=DefaultKeyFormatter) const override
print with optional string
LinearEquality()
Definition: LinearEquality.h:40
Definition: Testable.h:152
double error(const VectorValues &c) const override
Definition: LinearEquality.h:127
Definition: Group.h:43
Definition: VectorValues.h:74
Definition: GaussianFactor.h:38
bool isConstrained() const
Definition: JacobianFactor.h:270
size_t rows() const
Definition: JacobianFactor.h:284
Definition: LinearEquality.h:29
LinearEquality(const JacobianFactor &jf, Key dualKey)
Definition: LinearEquality.h:47
Vector error_vector(const VectorValues &c) const
Definition: LinearEquality.h:119
LinearEquality(Key i1, const Matrix &A1, Key i2, const Matrix &A2, const Vector &b, Key dualKey)
Definition: LinearEquality.h:66
GaussianFactor::shared_ptr clone() const override
Definition: LinearEquality.h:103
LinearEquality(Key i1, const Matrix &A1, Key i2, const Matrix &A2, Key i3, const Matrix &A3, const Vector &b, Key dualKey)
Definition: LinearEquality.h:73
std::function< std::string(Key)> KeyFormatter
Typedef for a function to format a key, i.e. to convert it to a string.
Definition: Key.h:35
Definition: JacobianFactor.h:91
std::shared_ptr< This > shared_ptr
shared_ptr to this class
Definition: GaussianFactor.h:42
bool active() const
for active set method: equality constraints are always active
Definition: LinearEquality.h:114
Definition: chartTesting.h:28
void print(const std::string &s="", const KeyFormatter &formatter=DefaultKeyFormatter) const override
Definition: LinearEquality.h:97
std::shared_ptr< This > shared_ptr
shared_ptr to this class
Definition: LinearEquality.h:33
LinearEquality This
Typedef to this class.
Definition: LinearEquality.h:31
A Gaussian factor using the canonical parameters (information form)
Definition: HessianFactor.h:100
LinearEquality(const HessianFactor &hf)
Definition: LinearEquality.h:56
Key dualKey() const
dual key
Definition: LinearEquality.h:109
bool equals(const GaussianFactor &lf, double tol=1e-9) const override
Definition: LinearEquality.h:92
~LinearEquality() override
Definition: LinearEquality.h:88
std::uint64_t Key
Integer nonlinear key type.
Definition: types.h:102