constraint.h File Reference

#include <limits>
#include <list>
#include <map>
#include <memory>
#include <optional>
#include <stdexcept>
#include <string>
#include <unordered_map>
#include <utility>
#include <vector>
#include <Eigen/Core>
#include <Eigen/SparseCore>
#include "drake/common/drake_assert.h"
#include "drake/common/drake_copyable.h"
#include "drake/common/eigen_types.h"
#include "drake/common/polynomial.h"
#include "drake/common/symbolic/expression.h"
#include "drake/solvers/decision_variable.h"
#include "drake/solvers/evaluator_base.h"
#include "drake/solvers/function.h"
#include "drake/solvers/sparse_and_dense_matrix.h"

Include dependency graph for constraint.h:

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

Classes
class	Constraint
	A constraint is a function + lower and upper bounds. More...
class	QuadraticConstraint
	lb ≤ .5 xᵀQx + bᵀx ≤ ub Without loss of generality, the class stores a symmetric matrix Q. More...
class	LorentzConeConstraint
	Constraining the linear expression \( z=Ax+b \) lies within the Lorentz cone. More...
class	RotatedLorentzConeConstraint
	Constraining that the linear expression \( z=Ax+b \) lies within rotated Lorentz cone. More...
class	EvaluatorConstraint< EvaluatorType >
	A constraint that may be specified using another (potentially nonlinear) evaluator. More...
class	PolynomialConstraint
	A constraint on the values of multivariate polynomials. More...
class	LinearConstraint
	Implements a constraint of the form \( lb <= Ax <= ub \). More...
class	LinearEqualityConstraint
	Implements a constraint of the form \( Ax = b \). More...
class	BoundingBoxConstraint
	Implements a constraint of the form \( lb <= x <= ub \). More...
class	LinearComplementarityConstraint
	Implements a constraint of the form: More...
class	PositiveSemidefiniteConstraint
	Implements a positive semidefinite constraint on a symmetric matrix S \[\text{ S is p.s.d }\] namely, all eigen values of S are non-negative. More...
class	LinearMatrixInequalityConstraint
	Impose the matrix inequality constraint on variable x \[ F_0 + x_1 F_1 + ... + x_n F_n \text{ is p.s.d} \] where p.s.d stands for positive semidefinite. More...
class	ExpressionConstraint
	Impose a generic (potentially nonlinear) constraint represented as a vector of symbolic Expression. More...
class	ExponentialConeConstraint
	An exponential cone constraint is a special type of convex cone constraint. More...

Namespaces
	drake
	drake::solvers