LpInterface.h File Reference

Class representing a polytope ( credal set ) by a set of linear constraints. More...

#include <iostream>
#include <sstream>
#include <string>
#include <agrum/base/core/hashTable.h>
#include <agrum/CN/polytope/LrsWrapper.h>
#include <agrum/base/core/utils_misc.h>
#include <agrum/CN/polytope/LpInterface_tpl.h>
#include <agrum/CN/polytope/LpInterface_inl.h>

Include dependency graph for LpInterface.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	gum::credal::lp::LpCol
	Class representing a variable ( a column ) of a linear program, i.e. More...
class	gum::HashFunc< credal::lp::LpCol >
class	gum::credal::lp::LpExpr
	Class representing a linear expression. More...
class	gum::credal::lp::LpRow
	Class representing a row of the linear program, i.e. More...
class	gum::credal::lp::LpInterface< GUM_SCALAR >
	Class representing a linear program. More...

Namespaces
namespace	gum
	gum is the global namespace for all aGrUM entities
namespace	gum::credal
	namespace for all credal networks entities
namespace	gum::credal::lp
	namespace for constraint-based description of credal sets

Functions
void	gum::credal::lp::swap (HashTable< LpCol, double > *&a, HashTable< LpCol, double > *&b)
	Swap the addresses of two pointers to hashTables.
Non-members operators +
template<typename T2>
LpExpr	gum::credal::lp::operator+ (LpExpr &&lhs, const T2 &rhs)
	Overload of operator + between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T2>
LpExpr	gum::credal::lp::operator+ (LpExpr &lhs, const T2 &rhs)
	Overload of operator + between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T1, forbidden_type< T1, LpExpr > = 0>
LpExpr	gum::credal::lp::operator+ (const T1 &lhs, LpExpr &&rhs)
	Overload of operator + between anything ( a scalar, a variable or an expression ) and a temporary expression.
template<typename T1, forbidden_type< T1, LpExpr > = 0>
LpExpr	gum::credal::lp::operator+ (const T1 &lhs, LpExpr &rhs)
	Overload of operator + between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T2, forbidden_type< T2, LpExpr > = 0>
LpExpr	gum::credal::lp::operator+ (const LpCol &lhs, const T2 &rhs)
	operator+ between LpCol lhs and not LpExpr rhs
template<typename T1, forbidden_type< T1, LpExpr > = 0, forbidden_type< T1, LpCol > = 0>
LpExpr	gum::credal::lp::operator+ (const T1 &lhs, const LpCol &rhs)
	operator+ between neither LpExpr nor LpCol lhs and LpCol rhs
Non-members operators -
template<typename T2>
LpExpr	gum::credal::lp::operator- (LpExpr &&lhs, const T2 &rhs)
	Overload of operator - between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T2>
LpExpr	gum::credal::lp::operator- (LpExpr &lhs, const T2 &rhs)
	Overload of operator - between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T1, forbidden_type< T1, LpExpr > = 0>
LpExpr	gum::credal::lp::operator- (const T1 &lhs, LpExpr &&rhs)
	Overload of operator - between anything ( a scalar, a variable or an expression ) and a temporary expression.
template<typename T1, forbidden_type< T1, LpExpr > = 0>
LpExpr	gum::credal::lp::operator- (const T1 &lhs, LpExpr &rhs)
	Overload of operator - between anything ( a scalar, a variable or an expression ) and anything except a temporary expression.
template<typename T2, forbidden_type< T2, LpExpr > = 0>
LpExpr	gum::credal::lp::operator- (const LpCol &lhs, const T2 &rhs)
	operator- between LpCol lhs and not LpExpr rhs
template<typename T1, forbidden_type< T1, LpExpr > = 0, forbidden_type< T1, LpCol > = 0>
LpExpr	gum::credal::lp::operator- (const T1 &lhs, const LpCol &rhs)
	operator- between neither LpExpr nor LpCol lhs and LpCol rhs
Non-members operators *
template<typename SCALAR>
LpExpr	gum::credal::lp::operator* (const SCALAR &lhs, const LpCol &rhs)
	Overload of operator * between a scalar and a variable.
template<typename SCALAR>
LpExpr	gum::credal::lp::operator* (const LpCol &lhs, const SCALAR &rhs)
	Overload of operator * between a variable and a scalar.
Non-members operators <=
template<typename T2>
LpExpr	gum::credal::lp::operator<= (const LpExpr &lhs, T2 &&rhs)
	Overload of operator <= between anything and anything.
template<typename T2>
LpExpr	gum::credal::lp::operator<= (const LpCol &lhs, T2 &&rhs)
	Overload of operator <= between anything and anything.
template<typename T1, forbidden_type< T1, LpExpr & > = 0, forbidden_type< T1, LpCol & > = 0>
LpExpr	gum::credal::lp::operator<= (T1 &&lhs, const LpExpr &rhs)
	Overload of operator <= between anything and anything.
template<typename T1, forbidden_type< T1, LpExpr & > = 0, forbidden_type< T1, LpCol & > = 0>
LpExpr	gum::credal::lp::operator<= (T1 &&lhs, const LpCol &rhs)
	Overload of operator <= between anything and anything.
template<typename T2>
LpExpr	gum::credal::lp::operator<= (LpExpr &&lhs, T2 &&rhs)
	Overload of operator <= between anything and anything.
template<typename T2>
LpExpr	gum::credal::lp::operator<= (LpCol &&lhs, T2 &&rhs)
	Overload of operator <= between anything and anything.
template<typename T1, forbidden_type< T1, LpExpr > = 0, forbidden_type< T1, LpCol > = 0>
LpExpr	gum::credal::lp::operator<= (T1 &&lhs, LpExpr &&rhs)
	Overload of operator <= between anything and anything.
template<typename T1, forbidden_type< T1, LpExpr > = 0, forbidden_type< T1, LpCol > = 0>
LpExpr	gum::credal::lp::operator<= (T1 &&lhs, LpCol &&rhs)
	Overload of operator <= between anything and anything.

Detailed Description

Class representing a polytope ( credal set ) by a set of linear constraints.

Author

Matthieu HOURBRACQ and Pierre-Henri WUILLEMIN(_at_LIP6)

Definition in file LpInterface.h.