#include <tvm/constraint/BasicLinearConstraint.h>

Inheritance diagram for tvm::constraint::BasicLinearConstraint:

[legend]

Collaboration diagram for tvm::constraint::BasicLinearConstraint:

[legend]

Public Member Functions
	BasicLinearConstraint (const MatrixConstRef &A, VariablePtr x, Type ct)

	BasicLinearConstraint (const std::vector< MatrixConstRef > &A, const std::vector< VariablePtr > &x, Type ct)

	BasicLinearConstraint (const MatrixConstRef &A, VariablePtr x, const VectorConstRef &b, Type ct, RHS cr=RHS::AS_GIVEN)

	BasicLinearConstraint (const std::vector< MatrixConstRef > &A, const std::vector< VariablePtr > &x, const VectorConstRef &b, Type ct, RHS cr=RHS::AS_GIVEN)

	BasicLinearConstraint (const MatrixConstRef &A, VariablePtr x, const VectorConstRef &l, const VectorConstRef &u, RHS cr=RHS::AS_GIVEN)

	BasicLinearConstraint (const std::vector< MatrixConstRef > &A, const std::vector< VariablePtr > &x, const VectorConstRef &l, const VectorConstRef &u, RHS cr=RHS::AS_GIVEN)

	BasicLinearConstraint (int m, VariablePtr x, Type ct, RHS cr=RHS::AS_GIVEN)

	BasicLinearConstraint (int m, std::vector< VariablePtr > &x, Type ct, RHS cr=RHS::AS_GIVEN)

void	A (const MatrixConstRef &A, const Variable &x, const tvm::internal::MatrixProperties &p=tvm::internal::MatrixProperties())

void	A (const MatrixConstRef &A, const tvm::internal::MatrixProperties &p=tvm::internal::MatrixProperties())

void	b (const VectorConstRef &b)

void	l (const VectorConstRef &l)

void	u (const VectorConstRef &u)

Public Member Functions inherited from tvm::constraint::abstract::LinearConstraint
void	updateValue ()

Public Member Functions inherited from tvm::constraint::abstract::Constraint
virtual const Eigen::VectorXd &	l () const

virtual const Eigen::VectorXd &	u () const

virtual const Eigen::VectorXd &	e () const

Type	type () const

bool	isEquality () const

RHS	rhs () const

Public Member Functions inherited from tvm::internal::ObjWithId
	ObjWithId (const ObjWithId &)=delete

	ObjWithId (ObjWithId &&other)

ObjWithId &	operator= (const ObjWithId &)=delete

ObjWithId &	operator= (ObjWithId &&other)

int	id () const

Public Member Functions inherited from tvm::graph::abstract::OutputSelector< Constraint, tvm::internal::FirstOrderProvider >
	OutputSelector (Args &&... args)

void	lock ()

void	unlock ()

bool	isLocked () const

Public Member Functions inherited from tvm::internal::FirstOrderProvider
virtual const Eigen::VectorXd &	value () const

virtual MatrixConstRefWithProperties	jacobian (const Variable &x) const

bool	linearIn (const Variable &x) const

const Space &	imageSpace () const

int	size () const

int	rSize () const

int	tSize () const

const VariableVector &	variables () const

Public Member Functions inherited from tvm::graph::internal::AbstractNode
template<typename EnumT >
bool	isUpdateEnabled (EnumT e) const

virtual bool	isUpdateStaticallyEnabled (int) const

virtual bool	isUpdateCustomEnabled (int) const

virtual	~AbstractNode ()=default

void	update (int i)

Public Member Functions inherited from tvm::graph::internal::Inputs
virtual	~Inputs ()=default

template<typename T , typename EnumI , typename... Args>
void	addInput (std::shared_ptr< T > source, EnumI i, Args... args)

template<typename T , typename EnumI , typename... Args, typename std::enable_if< std::is_base_of< abstract::Outputs, T >::value, int >::type = 0>
void	addInput (T &source, EnumI i, Args... args)

template<typename T >
void	removeInput (T *source)

template<typename T , typename... Args>
void	removeInput (T *source, Args... args)

template<typename T >
Iterator	getInput (T *source)

template<typename T >
Iterator	getInput (const std::shared_ptr< T > &source)

Public Member Functions inherited from tvm::graph::abstract::Outputs
virtual	~Outputs ()=default

template<typename EnumT >
bool	isOutputEnabled (EnumT e) const

bool	isOutputEnabled (int i) const

virtual bool	isOutputStaticallyEnabled (int) const

Additional Inherited Members
Public Types inherited from tvm::graph::internal::AbstractNode
enum class	Update_

using	UpdateParent = AbstractNode

using	UpdateBase = AbstractNode

Public Types inherited from tvm::graph::internal::Inputs
using	inputs_t = std::unordered_map< abstract::Outputs *, std::set< int > >

using	store_t = std::unordered_set< std::shared_ptr< abstract::Outputs > >

Public Types inherited from tvm::graph::abstract::Outputs
enum class	Output_

using	OutputParent = Outputs

using	OutputBase = Outputs

Static Public Member Functions inherited from tvm::graph::internal::AbstractNode
static constexpr const char *	UpdateName (Update_)

template<typename EnumT >
static constexpr bool	UpdateStaticallyEnabled (EnumT)

Static Public Member Functions inherited from tvm::graph::abstract::Outputs
static constexpr const char *	OutputName (Output_)

template<typename EnumT >
static constexpr bool	OutputStaticallyEnabled (EnumT)

Static Public Attributes inherited from tvm::graph::internal::AbstractNode
static constexpr unsigned int	UpdateSize = 0

static constexpr auto	UpdateBaseName = "AbstractNode"

Static Public Attributes inherited from tvm::graph::abstract::Outputs
static constexpr unsigned int	OutputSize = 0

static constexpr auto	OutputBaseName = "Outputs"

Protected Types inherited from tvm::graph::internal::AbstractNode
using	input_dependency_t = std::map< Outputs *, std::set< int > >

Protected Member Functions inherited from tvm::constraint::abstract::LinearConstraint
	LinearConstraint (Type ct, RHS cr, int m)

Protected Member Functions inherited from tvm::constraint::abstract::Constraint
	Constraint (Type ct, RHS cr, int m=0)

void	resizeCache () override

Eigen::VectorXd &	lRef ()

Eigen::VectorXd &	uRef ()

Eigen::VectorXd &	eRef ()

Protected Member Functions inherited from tvm::internal::ObjWithId
	ObjWithId ()

Protected Member Functions inherited from tvm::graph::abstract::OutputSelector< Constraint, tvm::internal::FirstOrderProvider >
void	disableOutput (EnumT e)

void	disableOutput (EnumT e, Args... args)

void	enableOutput (EnumT e)

void	enableOutput (EnumT e, Args... args)

bool	isOutputCustomEnabled (int e) const override

Protected Member Functions inherited from tvm::internal::FirstOrderProvider
	FirstOrderProvider (int m)

	FirstOrderProvider (Space image)

void	resizeValueCache ()

void	resizeJacobianCache ()

void	addVariable (VariablePtr v, bool linear)

void	removeVariable (VariablePtr v)

void	addVariable (const VariableVector &v, bool linear)

virtual void	addVariable_ (VariablePtr)

virtual void	removeVariable_ (VariablePtr)

void	splitJacobian (const MatrixConstRef &J, const std::vector< VariablePtr > &vars, bool keepProperties=false)

void	splitJacobian (const MatrixConstRef &J, const VariableVector &vars, bool keepProperties=false)

void	resize (int m)

Protected Member Functions inherited from tvm::graph::abstract::Node< FirstOrderProvider >
void	registerUpdates (EnumT u, void(U::*fn)(), Args... args)

void	registerUpdates (EnumT u, void(U::*fn)())

void	addOutputDependency (EnumO o, EnumU u)

void	addOutputDependency (std::initializer_list< EnumO > os, EnumU u)

void	addInternalDependency (EnumU1 uDependent, EnumU2 u)

void	addInputDependency (EnumU u, std::shared_ptr< S > source, EnumO i, Args... args)

void	addInputDependency (EnumU u, S &source, EnumO i, Args... args)

void	addDirectDependency (EnumO o, std::shared_ptr< S > source, EnumI i)

void	addDirectDependency (EnumO o, S &source, EnumI i)

Protected Attributes inherited from tvm::constraint::abstract::Constraint
internal::RHSVectors	vectors_

Protected Attributes inherited from tvm::internal::FirstOrderProvider
Eigen::VectorXd	value_

utils::internal::MapWithVariableAsKey< MatrixWithProperties, slice_matrix, true >	jacobian_

Space	imageSpace_

VariableVector	variables_

utils::internal::MapWithVariableAsKey< bool, slice_linear >	linear_

Protected Attributes inherited from tvm::graph::internal::AbstractNode
std::map< int, std::function< void(AbstractNode &)> >	updates_

std::map< int, std::vector< int > >	outputDependencies_

std::map< int, std::vector< int > >	internalDependencies_

std::map< int, input_dependency_t >	inputDependencies_

std::map< int, std::pair< Outputs *, int > >	directDependencies_

Protected Attributes inherited from tvm::graph::abstract::Outputs
bool	is_node_ = false

Protected Attributes inherited from tvm::graph::abstract::SelectorMembers< add >
std::vector< bool >	dynamicallyEnabled_

bool	locked_ = false

Detailed Description

The most basic linear constraint where the matrix and the vector(s) are constant.

Constructor & Destructor Documentation

◆ BasicLinearConstraint() [1/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const MatrixConstRef &	A,
		VariablePtr	x,
		Type	ct
	)

Ax = 0, Ax <= 0 or Ax >= 0.

◆ BasicLinearConstraint() [2/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const std::vector< MatrixConstRef > &	A,
		const std::vector< VariablePtr > &	x,
		Type	ct
	)

A_{i}x_{i} = 0, A_{i}x_{i} <= 0 or A_{i}x_{i} >= 0

◆ BasicLinearConstraint() [3/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const MatrixConstRef &	A,
		VariablePtr	x,
		const VectorConstRef &	b,
		Type	ct,
		RHS	cr = `RHS::AS_GIVEN`
	)

Ax = +/-b, Ax <= +/-b or Ax >= +/-b

◆ BasicLinearConstraint() [4/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const std::vector< MatrixConstRef > &	A,
		const std::vector< VariablePtr > &	x,
		const VectorConstRef &	b,
		Type	ct,
		RHS	cr = `RHS::AS_GIVEN`
	)

A_{i}x_{i} = +/-b, A_{i}x_{i} <= +/-b or A_{i}x_{i} >= +/-b

◆ BasicLinearConstraint() [5/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const MatrixConstRef &	A,
		VariablePtr	x,
		const VectorConstRef &	l,
		const VectorConstRef &	u,
		RHS	cr = `RHS::AS_GIVEN`
	)

l <= Ax <= u

◆ BasicLinearConstraint() [6/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	const std::vector< MatrixConstRef > &	A,
		const std::vector< VariablePtr > &	x,
		const VectorConstRef &	l,
		const VectorConstRef &	u,
		RHS	cr = `RHS::AS_GIVEN`
	)

l <= A_{i}x_{i} <= u

◆ BasicLinearConstraint() [7/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	int	m,
		VariablePtr	x,
		Type	ct,
		RHS	cr = `RHS::AS_GIVEN`
	)

Uninitialized data. Allocate memory for a constraint with m rows.

◆ BasicLinearConstraint() [8/8]

tvm::constraint::BasicLinearConstraint::BasicLinearConstraint	(	int	m,
		std::vector< VariablePtr > &	x,
		Type	ct,
		RHS	cr = `RHS::AS_GIVEN`
	)

Uninitialized data. Allocate memory for a constraint with m rows.

Member Function Documentation

◆ A() [1/2]

void tvm::constraint::BasicLinearConstraint::A	(	const MatrixConstRef &	A,
		const tvm::internal::MatrixProperties &	p = `tvm::internal::MatrixProperties()`
	)

Shortcut for void A(const MatrixConstRef&, const Variable&, const tvm::internal::MatrixProperties&) when there is a single variable.

◆ A() [2/2]

void tvm::constraint::BasicLinearConstraint::A	(	const MatrixConstRef &	A,
		const Variable &	x,
		const tvm::internal::MatrixProperties &	p = `tvm::internal::MatrixProperties()`
	)

Set the matrix A corresponding to variable x. Optionally set the properties of A with p

◆ b()

void tvm::constraint::BasicLinearConstraint::b ( const VectorConstRef & b )

Set b

◆ l()

void tvm::constraint::BasicLinearConstraint::l ( const VectorConstRef & l )

Set l

◆ u()

void tvm::constraint::BasicLinearConstraint::u ( const VectorConstRef & u )

Set u

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

include/tvm/constraint/BasicLinearConstraint.h

Public Member Functions

Additional Inherited Members