Public Types | Protected Member Functions | List of all members
gtsam::Constraint Class Referenceabstract

#include <Constraint.h>

Inheritance diagram for gtsam::Constraint:
Inheritance graph
[legend]

Public Types

typedef std::shared_ptr< Constraintshared_ptr
 
- Public Types inherited from gtsam::DiscreteFactor
typedef Factor Base
 Our base class. More...
 
using Binary = std::function< double(const double, const double)>
 
typedef std::shared_ptr< DiscreteFactorshared_ptr
 shared_ptr to this class More...
 
typedef DiscreteFactor This
 This class. More...
 
using Unary = std::function< double(const double &)>
 
using UnaryAssignment = std::function< double(const Assignment< Key > &, const double &)>
 
using Values = DiscreteValues
 backwards compatibility More...
 
using Names = DiscreteValues::Names
 Translation table from values to strings. More...
 
- Public Types inherited from gtsam::Factor
typedef KeyVector::const_iterator const_iterator
 Const iterator over keys. More...
 
typedef KeyVector::iterator iterator
 Iterator over keys. More...
 

Public Member Functions

Standard Constructors
 Constraint ()
 Default constructor for I/O. More...
 
 ~Constraint () override
 Virtual destructor. More...
 
Standard Interface
virtual bool ensureArcConsistency (Key j, Domains *domains) const =0
 
virtual shared_ptr partiallyApply (const DiscreteValues &) const =0
 Partially apply known values. More...
 
virtual shared_ptr partiallyApply (const Domains &) const =0
 Partially apply known values, domain version. More...
 
Wrapper support
std::string markdown (const KeyFormatter &keyFormatter=DefaultKeyFormatter, const Names &names={}) const override
 Render as markdown table. More...
 
std::string html (const KeyFormatter &keyFormatter=DefaultKeyFormatter, const Names &names={}) const override
 Render as html table. More...
 
- Public Member Functions inherited from gtsam::DiscreteFactor
 DiscreteFactor ()
 
template<typename CONTAINER >
 DiscreteFactor (const CONTAINER &keys, const std::map< Key, size_t > cardinalities={})
 
virtual bool equals (const DiscreteFactor &lf, double tol=1e-9) const
 equals More...
 
void print (const std::string &s="DiscreteFactor\n", const KeyFormatter &formatter=DefaultKeyFormatter) const override
 print More...
 
DiscreteKeys discreteKeys () const
 Return all the discrete keys associated with this factor. More...
 
std::map< Key, size_tcardinalities () const
 
size_t cardinality (Key j) const
 
virtual double evaluate (const Assignment< Key > &values) const =0
 Calculate probability for given values. Calls specialized evaluation under the hood. More...
 
double operator() (const DiscreteValues &values) const
 Find value for given assignment of values to variables. More...
 
virtual double error (const DiscreteValues &values) const
 Error is just -log(value) More...
 
double error (const HybridValues &c) const override
 
virtual AlgebraicDecisionTree< KeyerrorTree () const
 Compute error for each assignment and return as a tree. More...
 
virtual DecisionTreeFactor operator* (const DecisionTreeFactor &) const =0
 
virtual DecisionTreeFactor toDecisionTreeFactor () const =0
 
- Public Member Functions inherited from gtsam::Factor
virtual ~Factor ()=default
 Default destructor. More...
 
bool empty () const
 Whether the factor is empty (involves zero variables). More...
 
Key front () const
 First key. More...
 
Key back () const
 Last key. More...
 
const_iterator find (Key key) const
 find More...
 
const KeyVectorkeys () const
 Access the factor's involved variable keys. More...
 
const_iterator begin () const
 
const_iterator end () const
 
size_t size () const
 
virtual void printKeys (const std::string &s="Factor", const KeyFormatter &formatter=DefaultKeyFormatter) const
 print only keys More...
 
bool equals (const This &other, double tol=1e-9) const
 check equality More...
 
KeyVectorkeys ()
 
iterator begin ()
 
iterator end ()
 

Protected Member Functions

 Constraint (const KeyVector &js)
 Construct n-way constraint factor. More...
 
 Constraint (Key j)
 Construct unary constraint factor. More...
 
 Constraint (Key j1, Key j2)
 Construct binary constraint factor. More...
 
template<class KeyIterator >
 Constraint (KeyIterator beginKey, KeyIterator endKey)
 construct from container More...
 
- Protected Member Functions inherited from gtsam::Factor
 Factor ()
 
template<typename CONTAINER >
 Factor (const CONTAINER &keys)
 
template<typename ITERATOR >
 Factor (ITERATOR first, ITERATOR last)
 

Additional Inherited Members

- Static Protected Member Functions inherited from gtsam::Factor
template<typename CONTAINER >
static Factor FromKeys (const CONTAINER &keys)
 
template<typename ITERATOR >
static Factor FromIterators (ITERATOR first, ITERATOR last)
 
- Protected Attributes inherited from gtsam::DiscreteFactor
std::map< Key, size_tcardinalities_
 Map of Keys and their cardinalities. More...
 
- Protected Attributes inherited from gtsam::Factor
KeyVector keys_
 The keys involved in this factor. More...
 

Detailed Description

Base class for constraint factors Derived classes include SingleValue, BinaryAllDiff, and AllDiff.

Definition at line 35 of file Constraint.h.

Member Typedef Documentation

◆ shared_ptr

typedef std::shared_ptr<Constraint> gtsam::Constraint::shared_ptr

Definition at line 37 of file Constraint.h.

Constructor & Destructor Documentation

◆ Constraint() [1/5]

gtsam::Constraint::Constraint ( Key  j)
inlineprotected

Construct unary constraint factor.

Definition at line 41 of file Constraint.h.

◆ Constraint() [2/5]

gtsam::Constraint::Constraint ( Key  j1,
Key  j2 
)
inlineprotected

Construct binary constraint factor.

Definition at line 44 of file Constraint.h.

◆ Constraint() [3/5]

gtsam::Constraint::Constraint ( const KeyVector js)
inlineprotected

Construct n-way constraint factor.

Definition at line 47 of file Constraint.h.

◆ Constraint() [4/5]

template<class KeyIterator >
gtsam::Constraint::Constraint ( KeyIterator  beginKey,
KeyIterator  endKey 
)
inlineprotected

construct from container

Definition at line 51 of file Constraint.h.

◆ Constraint() [5/5]

gtsam::Constraint::Constraint ( )

Default constructor for I/O.

◆ ~Constraint()

gtsam::Constraint::~Constraint ( )
inlineoverride

Virtual destructor.

Definition at line 62 of file Constraint.h.

Member Function Documentation

◆ ensureArcConsistency()

virtual bool gtsam::Constraint::ensureArcConsistency ( Key  j,
Domains domains 
) const
pure virtual

◆ html()

std::string gtsam::Constraint::html ( const KeyFormatter keyFormatter = DefaultKeyFormatter,
const Names names = {} 
) const
inlineoverridevirtual

Render as html table.

Implements gtsam::DiscreteFactor.

Definition at line 92 of file Constraint.h.

◆ markdown()

std::string gtsam::Constraint::markdown ( const KeyFormatter keyFormatter = DefaultKeyFormatter,
const Names names = {} 
) const
inlineoverridevirtual

Render as markdown table.

Implements gtsam::DiscreteFactor.

Definition at line 86 of file Constraint.h.

◆ partiallyApply() [1/2]

virtual shared_ptr gtsam::Constraint::partiallyApply ( const DiscreteValues ) const
pure virtual

Partially apply known values.

Implemented in gtsam::Domain, gtsam::SingleValue, gtsam::BinaryAllDiff, and gtsam::AllDiff.

◆ partiallyApply() [2/2]

virtual shared_ptr gtsam::Constraint::partiallyApply ( const Domains ) const
pure virtual

Partially apply known values, domain version.

Implemented in gtsam::Domain, gtsam::SingleValue, gtsam::BinaryAllDiff, and gtsam::AllDiff.


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


gtsam
Author(s):
autogenerated on Sun Dec 22 2024 04:23:41