#include <SymbolicBayesNet.h>

Inheritance diagram for gtsam::SymbolicBayesNet:

Collaboration diagram for gtsam::SymbolicBayesNet:

Public Types
typedef BayesNet< SymbolicConditional >	Base

typedef SymbolicBayesNet	This

typedef SymbolicConditional	ConditionalType

typedef std::shared_ptr< This >	shared_ptr

typedef std::shared_ptr< ConditionalType >	sharedConditional

typedef SymbolicConditional	FactorType
	factor type

typedef std::shared_ptr< SymbolicConditional >	sharedFactor
	Shared pointer to a factor.

typedef sharedFactor	value_type

typedef FastVector< sharedFactor >::iterator	iterator

typedef FastVector< sharedFactor >::const_iterator	const_iterator

Public Member Functions
Standard Constructors
	SymbolicBayesNet ()

template<typename ITERATOR >
	SymbolicBayesNet (ITERATOR firstConditional, ITERATOR lastConditional)

template<class CONTAINER >
	SymbolicBayesNet (const CONTAINER &conditionals)

template<class DERIVEDCONDITIONAL >
	SymbolicBayesNet (const FactorGraph< DERIVEDCONDITIONAL > &graph)

	SymbolicBayesNet (std::initializer_list< std::shared_ptr< SymbolicConditional >> conditionals)

	SymbolicBayesNet (SymbolicConditional &&c)
	Construct from a single conditional.

SymbolicBayesNet &	operator() (SymbolicConditional &&c)
	Add a single conditional and return a reference. This allows for chaining, e.g., SymbolicBayesNet bn = SymbolicBayesNet(SymbolicConditional(...))(SymbolicConditional(...));.

Testable
GTSAM_EXPORT bool	equals (const This &bn, double tol=1e-9) const

GTSAM_EXPORT void	print (const std::string &s="SymbolicBayesNet", const KeyFormatter &formatter=DefaultKeyFormatter) const override
	print

Graph Display
void	dot (std::ostream &os, const KeyFormatter &keyFormatter=DefaultKeyFormatter, const DotWriter &writer=DotWriter()) const
	Output to graphviz format, stream version.

std::string	dot (const KeyFormatter &keyFormatter=DefaultKeyFormatter, const DotWriter &writer=DotWriter()) const
	Output to graphviz format string.

void	saveGraph (const std::string &filename, const KeyFormatter &keyFormatter=DefaultKeyFormatter, const DotWriter &writer=DotWriter()) const
	output to file with graphviz format.

HybridValues methods
double	logProbability (const HybridValues &x) const

double	evaluate (const HybridValues &c) const

Adding Single Factors
void	reserve (size_t size)

IsDerived< DERIVEDFACTOR >	push_back (std::shared_ptr< DERIVEDFACTOR > factor)
	Add a factor directly using a shared_ptr.

IsDerived< DERIVEDFACTOR >	push_back (const DERIVEDFACTOR &factor)

IsDerived< DERIVEDFACTOR >	emplace_shared (Args &&... args)
	Emplace a shared pointer to factor of given type.

IsDerived< DERIVEDFACTOR >	add (std::shared_ptr< DERIVEDFACTOR > factor)
	`add` is a synonym for push_back.

Adding via iterators
HasDerivedElementType< ITERATOR >	push_back (ITERATOR firstFactor, ITERATOR lastFactor)

HasDerivedValueType< ITERATOR >	push_back (ITERATOR firstFactor, ITERATOR lastFactor)
	Push back many factors with an iterator (factors are copied)

Adding via container
HasDerivedElementType< CONTAINER >	push_back (const CONTAINER &container)

HasDerivedValueType< CONTAINER >	push_back (const CONTAINER &container)
	Push back non-pointer objects in a container (factors are copied).

void	add (const FACTOR_OR_CONTAINER &factorOrContainer)

Specialized versions
std::enable_if< std::is_base_of< This, typename CLIQUE::FactorGraphType >::value >::type	push_back (const BayesTree< CLIQUE > &bayesTree)

FactorIndices	add_factors (const CONTAINER &factors, bool useEmptySlots=false)

Testable
bool	equals (const This &fg, double tol=1e-9) const
	Check equality up to tolerance.

Standard Interface
size_t	size () const

bool	empty () const

const sharedFactor	at (size_t i) const

sharedFactor &	at (size_t i)

const sharedFactor	operator[] (size_t i) const

sharedFactor &	operator[] (size_t i)

const_iterator	begin () const

const_iterator	end () const

sharedFactor	front () const

sharedFactor	back () const

double	error (const HybridValues &values) const

Modifying Factor Graphs (imperative, discouraged)
iterator	begin ()

iterator	end ()

virtual void	resize (size_t size)

void	remove (size_t i)

void	replace (size_t index, sharedFactor factor)

iterator	erase (iterator item)

iterator	erase (iterator first, iterator last)

Advanced Interface
size_t	nrFactors () const

KeySet	keys () const

KeyVector	keyVector () const

bool	exists (size_t idx) const

Protected Member Functions
bool	isEqual (const FactorGraph &other) const
	Check exact equality of the factor pointers. Useful for derived ==.

Protected Attributes
FastVector< sharedFactor >	factors_

Detailed Description

A SymbolicBayesNet is a Bayes Net of purely symbolic conditionals.

Constructor & Destructor Documentation

◆ SymbolicBayesNet() [1/5]

gtsam::SymbolicBayesNet::SymbolicBayesNet ( )

inline

Construct empty factor graph

◆ SymbolicBayesNet() [2/5]

template<typename ITERATOR >

gtsam::SymbolicBayesNet::SymbolicBayesNet	(	ITERATOR	firstConditional,
		ITERATOR	lastConditional
	)

inline

Construct from iterator over conditionals

◆ SymbolicBayesNet() [3/5]

template<class CONTAINER >

gtsam::SymbolicBayesNet::SymbolicBayesNet ( const CONTAINER & conditionals )

inlineexplicit

Construct from container of factors (shared_ptr or plain objects)

◆ SymbolicBayesNet() [4/5]

template<class DERIVEDCONDITIONAL >

gtsam::SymbolicBayesNet::SymbolicBayesNet ( const FactorGraph< DERIVEDCONDITIONAL > & graph )

inlineexplicit

Implicit copy/downcast constructor to override explicit template container constructor

◆ SymbolicBayesNet() [5/5]

gtsam::SymbolicBayesNet::SymbolicBayesNet ( std::initializer_list< std::shared_ptr< SymbolicConditional >> conditionals )

inline

Constructor that takes an initializer list of shared pointers. SymbolicBayesNet bn = {make_shared<SymbolicConditional>(), ...};

Member Function Documentation

◆ add()

void gtsam::FactorGraph< SymbolicConditional >::add ( const FACTOR_OR_CONTAINER & factorOrContainer )

inlineinherited

Add a factor or container of factors, including STL collections, BayesTrees, etc.

◆ add_factors()

FactorIndices gtsam::FactorGraph< SymbolicConditional >::add_factors	(	const CONTAINER &	factors,
		bool	useEmptySlots = `false`
	)

inherited

Add new factors to a factor graph and returns a list of new factor indices, optionally finding and reusing empty factor slots.

◆ at() [1/2]

const sharedFactor gtsam::FactorGraph< SymbolicConditional >::at ( size_t i ) const

inlineinherited

Get a specific factor by index (this checks array bounds and may throw an exception, as opposed to operator[] which does not).

◆ at() [2/2]

sharedFactor& gtsam::FactorGraph< SymbolicConditional >::at ( size_t i )

inlineinherited

Get a specific factor by index (this checks array bounds and may throw an exception, as opposed to operator[] which does not).

◆ back()

sharedFactor gtsam::FactorGraph< SymbolicConditional >::back ( ) const

inlineinherited

Get the last factor

◆ begin() [1/2]

const_iterator gtsam::FactorGraph< SymbolicConditional >::begin ( ) const

inlineinherited

Iterator to beginning of factors.

◆ begin() [2/2]

iterator gtsam::FactorGraph< SymbolicConditional >::begin ( )

inlineinherited

non-const STL-style begin()

◆ empty()

bool gtsam::FactorGraph< SymbolicConditional >::empty ( ) const

inlineinherited

Check if the graph is empty (null factors set by remove() will cause this to return false).

◆ end() [1/2]

const_iterator gtsam::FactorGraph< SymbolicConditional >::end ( ) const

inlineinherited

Iterator to end of factors.

◆ end() [2/2]

iterator gtsam::FactorGraph< SymbolicConditional >::end ( )

inlineinherited

non-const STL-style end()

◆ equals()

GTSAM_EXPORT bool gtsam::SymbolicBayesNet::equals	(	const This &	bn,
		double	tol = `1e-9`
	)		const

Check equality

◆ erase() [1/2]

iterator gtsam::FactorGraph< SymbolicConditional >::erase ( iterator item )

inlineinherited

Erase factor and rearrange other factors to take up the empty space

◆ erase() [2/2]

iterator gtsam::FactorGraph< SymbolicConditional >::erase	(	iterator	first,
		iterator	last
	)

inlineinherited

Erase factors and rearrange other factors to take up the empty space

◆ error()

double gtsam::FactorGraph< SymbolicConditional >::error ( const HybridValues & values ) const

inherited

Add error for all factors.

◆ exists()

bool gtsam::FactorGraph< SymbolicConditional >::exists ( size_t idx ) const

inlineinherited

MATLAB interface utility: Checks whether a factor index idx exists in the graph and is a live pointer

◆ front()

sharedFactor gtsam::FactorGraph< SymbolicConditional >::front ( ) const

inlineinherited

Get the first factor

◆ keys()

KeySet gtsam::FactorGraph< SymbolicConditional >::keys ( ) const

inherited

Potentially slow function to return all keys involved, sorted, as a set

◆ keyVector()

KeyVector gtsam::FactorGraph< SymbolicConditional >::keyVector ( ) const

inherited

Potentially slow function to return all keys involved, sorted, as a vector

◆ nrFactors()

size_t gtsam::FactorGraph< SymbolicConditional >::nrFactors ( ) const

inherited

return the number of non-null factors

◆ operator[]() [1/2]

const sharedFactor gtsam::FactorGraph< SymbolicConditional >::operator[] ( size_t i ) const

inlineinherited

Get a specific factor by index (this does not check array bounds, as opposed to at() which does).

◆ operator[]() [2/2]

sharedFactor& gtsam::FactorGraph< SymbolicConditional >::operator[] ( size_t i )

inlineinherited

Get a specific factor by index (this does not check array bounds, as opposed to at() which does).

◆ push_back() [1/4]

IsDerived<DERIVEDFACTOR> gtsam::FactorGraph< SymbolicConditional >::push_back ( const DERIVEDFACTOR & factor )

inlineinherited

Add a factor by value, will be copy-constructed (use push_back with a shared_ptr to avoid the copy).

◆ push_back() [2/4]

HasDerivedElementType<ITERATOR> gtsam::FactorGraph< SymbolicConditional >::push_back	(	ITERATOR	firstFactor,
		ITERATOR	lastFactor
	)

inlineinherited

Push back many factors with an iterator over shared_ptr (factors are not copied)

◆ push_back() [3/4]

HasDerivedElementType<CONTAINER> gtsam::FactorGraph< SymbolicConditional >::push_back ( const CONTAINER & container )

inlineinherited

Push back many factors as shared_ptr's in a container (factors are not copied)

◆ push_back() [4/4]

std::enable_if< std::is_base_of<This, typename CLIQUE::FactorGraphType>::value>::type gtsam::FactorGraph< SymbolicConditional >::push_back ( const BayesTree< CLIQUE > & bayesTree )

inlineinherited

Push back a BayesTree as a collection of factors. NOTE: This should be hidden in derived classes in favor of a type-specialized version that calls this templated function.

◆ remove()

void gtsam::FactorGraph< SymbolicConditional >::remove ( size_t i )

inlineinherited

delete factor without re-arranging indexes by inserting a nullptr pointer

◆ replace()

void gtsam::FactorGraph< SymbolicConditional >::replace	(	size_t	index,
		sharedFactor	factor
	)

inlineinherited

replace a factor by index

◆ reserve()

void gtsam::FactorGraph< SymbolicConditional >::reserve ( size_t size )

inlineinherited

Reserve space for the specified number of factors if you know in advance how many there will be (works like FastVector::reserve).

◆ resize()

virtual void gtsam::FactorGraph< SymbolicConditional >::resize ( size_t size )

inlinevirtualinherited

Directly resize the number of factors in the graph. If the new size is less than the original, factors at the end will be removed. If the new size is larger than the original, null factors will be appended.

◆ size()

size_t gtsam::FactorGraph< SymbolicConditional >::size ( ) const

inlineinherited

return the number of factors (including any null factors set by remove() ).

Member Data Documentation

◆ factors_

FastVector<sharedFactor> gtsam::FactorGraph< SymbolicConditional >::factors_

protectedinherited

concept check, makes sure FACTOR defines print and equals Collection of factors

The documentation for this class was generated from the following file:

/home/docs/checkouts/readthedocs.org/user_builds/gtsam-jlblanco-docs/checkouts/latest/gtsam/symbolic/SymbolicBayesNet.h

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

◆ SymbolicBayesNet() [1/5]

◆ SymbolicBayesNet() [2/5]

◆ SymbolicBayesNet() [3/5]

◆ SymbolicBayesNet() [4/5]

◆ SymbolicBayesNet() [5/5]

Member Function Documentation

◆ add()

◆ add_factors()

◆ at() [1/2]

◆ at() [2/2]

◆ back()

◆ begin() [1/2]

◆ begin() [2/2]

◆ empty()

◆ end() [1/2]

◆ end() [2/2]

◆ equals()

◆ erase() [1/2]

◆ erase() [2/2]

◆ error()

◆ exists()

◆ front()

◆ keys()

◆ keyVector()

◆ nrFactors()

◆ operator[]() [1/2]

◆ operator[]() [2/2]

◆ push_back() [1/4]

◆ push_back() [2/4]

◆ push_back() [3/4]

◆ push_back() [4/4]

◆ remove()

◆ replace()

◆ reserve()

◆ resize()

◆ size()

Member Data Documentation

◆ factors_