265 lines
7.5 KiB
C++
265 lines
7.5 KiB
C++
/* ----------------------------------------------------------------------------
|
|
|
|
* GTSAM Copyright 2010, Georgia Tech Research Corporation,
|
|
* Atlanta, Georgia 30332-0415
|
|
* All Rights Reserved
|
|
* Authors: Frank Dellaert, et al. (see THANKS for the full author list)
|
|
|
|
* See LICENSE for the license information
|
|
|
|
* -------------------------------------------------------------------------- */
|
|
|
|
/**
|
|
* @file Conditional.h
|
|
* @brief Base class for conditional densities
|
|
* @author Frank Dellaert
|
|
*/
|
|
|
|
// \callgraph
|
|
#pragma once
|
|
|
|
#include <gtsam/inference/Factor.h>
|
|
|
|
#include <iostream>
|
|
#include <list>
|
|
|
|
namespace gtsam {
|
|
|
|
/**
|
|
* Base class for conditional densities, templated on KEY type. This class
|
|
* provides storage for the keys involved in a conditional, and iterators and
|
|
* access to the frontal and separator keys.
|
|
*
|
|
* Derived classes *must* redefine the Factor and shared_ptr typedefs to refer
|
|
* to the associated factor type and shared_ptr type of the derived class. See
|
|
* IndexConditional and GaussianConditional for examples.
|
|
* \nosubgrouping
|
|
*/
|
|
template<typename KEY>
|
|
class Conditional: public gtsam::Factor<KEY> {
|
|
|
|
private:
|
|
|
|
/** Create keys by adding key in front */
|
|
template<typename ITERATOR>
|
|
static std::vector<KEY> MakeKeys(KEY key, ITERATOR firstParent,
|
|
ITERATOR lastParent) {
|
|
std::vector<KeyType> keys((lastParent - firstParent) + 1);
|
|
std::copy(firstParent, lastParent, keys.begin() + 1);
|
|
keys[0] = key;
|
|
return keys;
|
|
}
|
|
|
|
protected:
|
|
|
|
/** The first nFrontal variables are frontal and the rest are parents. */
|
|
size_t nrFrontals_;
|
|
|
|
// Calls the base class assertInvariants, which checks for unique keys
|
|
void assertInvariants() const {
|
|
Factor<KEY>::assertInvariants();
|
|
}
|
|
|
|
public:
|
|
|
|
typedef KEY KeyType;
|
|
typedef Conditional<KeyType> This;
|
|
typedef Factor<KeyType> Base;
|
|
|
|
/**
|
|
* Typedef to the factor type that produces this conditional and that this
|
|
* conditional can be converted to using a factor constructor. Derived
|
|
* classes must redefine this.
|
|
*/
|
|
typedef gtsam::Factor<KeyType> FactorType;
|
|
|
|
/** A shared_ptr to this class. Derived classes must redefine this. */
|
|
typedef boost::shared_ptr<This> shared_ptr;
|
|
|
|
/** Iterator over keys */
|
|
typedef typename FactorType::iterator iterator;
|
|
|
|
/** Const iterator over keys */
|
|
typedef typename FactorType::const_iterator const_iterator;
|
|
|
|
/** View of the frontal keys (call frontals()) */
|
|
typedef boost::iterator_range<const_iterator> Frontals;
|
|
|
|
/** View of the separator keys (call parents()) */
|
|
typedef boost::iterator_range<const_iterator> Parents;
|
|
|
|
/// @name Standard Constructors
|
|
/// @{
|
|
|
|
/** Empty Constructor to make serialization possible */
|
|
Conditional() :
|
|
nrFrontals_(0) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** No parents */
|
|
Conditional(KeyType key) :
|
|
FactorType(key), nrFrontals_(1) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** Single parent */
|
|
Conditional(KeyType key, KeyType parent) :
|
|
FactorType(key, parent), nrFrontals_(1) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** Two parents */
|
|
Conditional(KeyType key, KeyType parent1, KeyType parent2) :
|
|
FactorType(key, parent1, parent2), nrFrontals_(1) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** Three parents */
|
|
Conditional(KeyType key, KeyType parent1, KeyType parent2, KeyType parent3) :
|
|
FactorType(key, parent1, parent2, parent3), nrFrontals_(1) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/// @}
|
|
/// @name Advanced Constructors
|
|
/// @{
|
|
|
|
/** Constructor from a frontal variable and a vector of parents */
|
|
Conditional(KeyType key, const std::vector<KeyType>& parents) :
|
|
FactorType(MakeKeys(key, parents.begin(), parents.end())), nrFrontals_(
|
|
1) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** Constructor from keys and nr of frontal variables */
|
|
Conditional(const std::vector<Index>& keys, size_t nrFrontals) :
|
|
FactorType(keys), nrFrontals_(nrFrontals) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/** Constructor from keys and nr of frontal variables */
|
|
Conditional(const std::list<Index>& keys, size_t nrFrontals) :
|
|
FactorType(keys.begin(),keys.end()), nrFrontals_(nrFrontals) {
|
|
assertInvariants();
|
|
}
|
|
|
|
/// @}
|
|
/// @name Testable
|
|
/// @{
|
|
|
|
/** print with optional formatter */
|
|
void print(const std::string& s = "Conditional",
|
|
const IndexFormatter& formatter = DefaultIndexFormatter) const;
|
|
|
|
/** check equality */
|
|
template<class DERIVED>
|
|
bool equals(const DERIVED& c, double tol = 1e-9) const {
|
|
return nrFrontals_ == c.nrFrontals_ && FactorType::equals(c, tol);
|
|
}
|
|
|
|
/// @}
|
|
/// @name Standard Interface
|
|
/// @{
|
|
|
|
/** return the number of frontals */
|
|
size_t nrFrontals() const {
|
|
return nrFrontals_;
|
|
}
|
|
|
|
/** return the number of parents */
|
|
size_t nrParents() const {
|
|
return FactorType::size() - nrFrontals_;
|
|
}
|
|
|
|
/** Special accessor when there is only one frontal variable. */
|
|
KeyType firstFrontalKey() const {
|
|
assert(nrFrontals_>0);
|
|
return FactorType::front();
|
|
}
|
|
KeyType lastFrontalKey() const {
|
|
assert(nrFrontals_>0);
|
|
return *(endFrontals() - 1);
|
|
}
|
|
|
|
/** return a view of the frontal keys */
|
|
Frontals frontals() const {
|
|
return boost::make_iterator_range(beginFrontals(), endFrontals());
|
|
}
|
|
|
|
/** return a view of the parent keys */
|
|
Parents parents() const {
|
|
return boost::make_iterator_range(beginParents(), endParents());
|
|
}
|
|
|
|
/** Iterators over frontal and parent variables. */
|
|
const_iterator beginFrontals() const {
|
|
return FactorType::begin();
|
|
} ///<TODO: comment
|
|
const_iterator endFrontals() const {
|
|
return FactorType::begin() + nrFrontals_;
|
|
} ///<TODO: comment
|
|
const_iterator beginParents() const {
|
|
return FactorType::begin() + nrFrontals_;
|
|
} ///<TODO: comment
|
|
const_iterator endParents() const {
|
|
return FactorType::end();
|
|
} ///<TODO: comment
|
|
|
|
/// @}
|
|
/// @name Advanced Interface
|
|
/// @{
|
|
|
|
/** Mutable iterators and accessors */
|
|
iterator beginFrontals() {
|
|
return FactorType::begin();
|
|
} ///<TODO: comment
|
|
iterator endFrontals() {
|
|
return FactorType::begin() + nrFrontals_;
|
|
} ///<TODO: comment
|
|
iterator beginParents() {
|
|
return FactorType::begin() + nrFrontals_;
|
|
} ///<TODO: comment
|
|
iterator endParents() {
|
|
return FactorType::end();
|
|
} ///<TODO: comment
|
|
|
|
///TODO: comment
|
|
boost::iterator_range<iterator> frontals() {
|
|
return boost::make_iterator_range(beginFrontals(), endFrontals());
|
|
}
|
|
|
|
///TODO: comment
|
|
boost::iterator_range<iterator> parents() {
|
|
return boost::make_iterator_range(beginParents(), endParents());
|
|
}
|
|
|
|
private:
|
|
/** Serialization function */
|
|
friend class boost::serialization::access;
|
|
template<class ARCHIVE>
|
|
void serialize(ARCHIVE & ar, const unsigned int version) {
|
|
ar & BOOST_SERIALIZATION_BASE_OBJECT_NVP(Base);
|
|
ar & BOOST_SERIALIZATION_NVP(nrFrontals_);
|
|
}
|
|
|
|
/// @}
|
|
|
|
};
|
|
|
|
/* ************************************************************************* */
|
|
template<typename KEY>
|
|
void Conditional<KEY>::print(const std::string& s,
|
|
const IndexFormatter& formatter) const {
|
|
std::cout << s << " P(";
|
|
BOOST_FOREACH(KeyType key, frontals())
|
|
std::cout << " " << formatter(key);
|
|
if (nrParents() > 0)
|
|
std::cout << " |";
|
|
BOOST_FOREACH(KeyType parent, parents())
|
|
std::cout << " " << formatter(parent);
|
|
std::cout << ")" << std::endl;
|
|
}
|
|
|
|
} // gtsam
|