This is a wrapper around a given TNLP class that takes out a list of constraints that are given to the constructor. More...
#include <IpTNLPReducer.hpp>
Public Member Functions  
Constructors/Destructors  
TNLPReducer (TNLP &tnlp, Index n_g_skip, const Index *index_g_skip, Index n_xL_skip, const Index *index_xL_skip, Index n_xU_skip, const Index *index_xU_skip, Index n_x_fix, const Index *index_f_fix)  
Constructor is given the indices of the constraints that should be taken out of the problem statement, as well as the original TNLP. More...  
virtual  ~TNLPReducer () 
Default destructor. More...  
Overloaded methods from TNLP  
virtual bool  get_nlp_info (Index &n, Index &m, Index &nnz_jac_g, Index &nnz_h_lag, IndexStyleEnum &index_style) 
virtual bool  get_bounds_info (Index n, Number *x_l, Number *x_u, Index m, Number *g_l, Number *g_u) 
Method to request bounds on the variables and constraints. More...  
virtual bool  get_scaling_parameters (Number &obj_scaling, bool &use_x_scaling, Index n, Number *x_scaling, bool &use_g_scaling, Index m, Number *g_scaling) 
Method to request scaling parameters. More...  
virtual bool  get_variables_linearity (Index n, LinearityType *var_types) 
Method to request the variables linearity. More...  
virtual bool  get_constraints_linearity (Index m, LinearityType *const_types) 
Method to request the constraints linearity. More...  
virtual bool  get_starting_point (Index n, bool init_x, Number *x, bool init_z, Number *z_L, Number *z_U, Index m, bool init_lambda, Number *lambda) 
Method to request the starting point before iterating. More...  
virtual bool  get_warm_start_iterate (IteratesVector &warm_start_iterate) 
Method to provide an Ipopt warm start iterate which is already in the form Ipopt requires it internally for warm starts. More...  
virtual bool  eval_f (Index n, const Number *x, bool new_x, Number &obj_value) 
Method to request the value of the objective function. More...  
virtual bool  eval_grad_f (Index n, const Number *x, bool new_x, Number *grad_f) 
Method to request the gradient of the objective function. More...  
virtual bool  eval_g (Index n, const Number *x, bool new_x, Index m, Number *g) 
Method to request the constraint values. More...  
virtual bool  eval_jac_g (Index n, const Number *x, bool new_x, Index m, Index nele_jac, Index *iRow, Index *jCol, Number *values) 
Method to request either the sparsity structure or the values of the Jacobian of the constraints. More...  
virtual bool  eval_h (Index n, const Number *x, bool new_x, Number obj_factor, Index m, const Number *lambda, bool new_lambda, Index nele_hess, Index *iRow, Index *jCol, Number *values) 
Method to request either the sparsity structure or the values of the Hessian of the Lagrangian. More...  
virtual void  finalize_solution (SolverReturn status, Index n, const Number *x, const Number *z_L, const Number *z_U, Index m, const Number *g, const Number *lambda, Number obj_value, const IpoptData *ip_data, IpoptCalculatedQuantities *ip_cq) 
This method is called when the algorithm has finished (successfully or not) so the TNLP can digest the outcome, e.g., store/write the solution, if any. More...  
virtual bool  intermediate_callback (AlgorithmMode mode, Index iter, Number obj_value, Number inf_pr, Number inf_du, Number mu, Number d_norm, Number regularization_size, Number alpha_du, Number alpha_pr, Index ls_trials, const IpoptData *ip_data, IpoptCalculatedQuantities *ip_cq) 
Intermediate Callback method for the user. More...  
virtual Index  get_number_of_nonlinear_variables () 
Return the number of variables that appear nonlinearly in the objective function or in at least one constraint function. More...  
virtual bool  get_list_of_nonlinear_variables (Index num_nonlin_vars, Index *pos_nonlin_vars) 
Return the indices of all nonlinear variables. More...  
Public Member Functions inherited from Ipopt::TNLP  
DECLARE_STD_EXCEPTION (INVALID_TNLP)  
TNLP ()  
virtual  ~TNLP () 
Default destructor. More...  
virtual bool  get_nlp_info (Index &n, Index &m, Index &nnz_jac_g, Index &nnz_h_lag, IndexStyleEnum &index_style)=0 
Method to request the initial information about the problem. More...  
virtual bool  get_var_con_metadata (Index n, StringMetaDataMapType &var_string_md, IntegerMetaDataMapType &var_integer_md, NumericMetaDataMapType &var_numeric_md, Index m, StringMetaDataMapType &con_string_md, IntegerMetaDataMapType &con_integer_md, NumericMetaDataMapType &con_numeric_md) 
Method to request meta data for the variables and the constraints. More...  
virtual void  finalize_metadata (Index n, const StringMetaDataMapType &var_string_md, const IntegerMetaDataMapType &var_integer_md, const NumericMetaDataMapType &var_numeric_md, Index m, const StringMetaDataMapType &con_string_md, const IntegerMetaDataMapType &con_integer_md, const NumericMetaDataMapType &con_numeric_md) 
This method returns any metadata collected during the run of the algorithm. More...  
bool  get_curr_iterate (const IpoptData *ip_data, IpoptCalculatedQuantities *ip_cq, bool scaled, Index n, Number *x, Number *z_L, Number *z_U, Index m, Number *g, Number *lambda) const 
Get primal and dual variable values of the current iterate. More...  
bool  get_curr_violations (const IpoptData *ip_data, IpoptCalculatedQuantities *ip_cq, bool scaled, Index n, Number *x_L_violation, Number *x_U_violation, Number *compl_x_L, Number *compl_x_U, Number *grad_lag_x, Index m, Number *nlp_constraint_violation, Number *compl_g) const 
Get primal and dual infeasibility of the current iterate. More...  
Public Member Functions inherited from Ipopt::ReferencedObject  
ReferencedObject ()  
virtual  ~ReferencedObject () 
Index  ReferenceCount () const 
void  AddRef (const Referencer *referencer) const 
void  ReleaseRef (const Referencer *referencer) const 
Private Member Functions  
Default Compiler Generated Methods  
(Hidden to avoid implicit creation/calling). These methods are not implemented and we do not want the compiler to implement them for us, so we declare them private and do not define them. This ensures that they will not be implicitly created/called.  
TNLPReducer ()  
Default Constructor. More...  
TNLPReducer (const TNLPReducer &)  
Copy Constructor. More...  
void  operator= (const TNLPReducer &) 
Default Assignment Operator. More...  
Private Attributes  
Index  n_g_skip_ 
Number of constraints to be skipped. More...  
Index *  index_g_skip_ 
Array of indices of the constraints that are to be skipped. More...  
IndexStyleEnum  index_style_orig_ 
Index style for original problem. More...  
Index *  g_keep_map_ 
Map from original constraints to new constraints. More...  
Index  m_reduced_ 
Number of constraints in reduced NLP. More...  
Index  nnz_jac_g_reduced_ 
Number of Jacobian nonzeros in the reduced NLP. More...  
Index  nnz_jac_g_skipped_ 
Number of Jacobian nonzeros that are skipped. More...  
Index *  jac_g_skipped_ 
Array of Jacobian elements that are to be skipped in increasing order. More...  
Index  n_xL_skip_ 
Number of lower variable bounds to be skipped. More...  
Index *  index_xL_skip_ 
Array of indices of the lower variable bounds to be skipped. More...  
Index  n_xU_skip_ 
Number of upper variable bounds to be skipped. More...  
Index *  index_xU_skip_ 
Array of indices of the upper variable bounds to be skipped. More...  
Index  n_x_fix_ 
Number of variables that are to be fixed to initial value. More...  
Index *  index_x_fix_ 
Array of indices of the variables that are to be fixed. More...  
original TNLP  
SmartPtr< TNLP >  tnlp_ 
Index  m_orig_ 
Index  nnz_jac_g_orig_ 
Additional Inherited Members  
Public Types inherited from Ipopt::TNLP  
enum  LinearityType { LINEAR, NON_LINEAR } 
Linearitytypes of variables and constraints. More...  
enum  IndexStyleEnum { C_STYLE = 0, FORTRAN_STYLE = 1 } 
typedef std::map< std::string, std::vector< std::string > >  StringMetaDataMapType 
typedef std::map< std::string, std::vector< Index > >  IntegerMetaDataMapType 
typedef std::map< std::string, std::vector< Number > >  NumericMetaDataMapType 
This is a wrapper around a given TNLP class that takes out a list of constraints that are given to the constructor.
It is provided for convenience, if one wants to experiment with problems that consist of only a subset of the constraints. But keep in mind that this is not efficient, since behind the scenes we are still evaluation all functions and derivatives, and are making copies of the original data.
Definition at line 23 of file IpTNLPReducer.hpp.
Ipopt::TNLPReducer::TNLPReducer  (  TNLP &  tnlp, 
Index  n_g_skip,  
const Index *  index_g_skip,  
Index  n_xL_skip,  
const Index *  index_xL_skip,  
Index  n_xU_skip,  
const Index *  index_xU_skip,  
Index  n_x_fix,  
const Index *  index_f_fix  
) 
Constructor is given the indices of the constraints that should be taken out of the problem statement, as well as the original TNLP.

virtual 
Default destructor.

private 
Default Constructor.

private 
Copy Constructor.

virtual 

virtual 
Method to request bounds on the variables and constraints.
n  (in) the number of variables \(x\) in the problem 
x_l  (out) the lower bounds \(x^L\) for the variables \(x\) 
x_u  (out) the upper bounds \(x^U\) for the variables \(x\) 
m  (in) the number of constraints \(g(x)\) in the problem 
g_l  (out) the lower bounds \(g^L\) for the constraints \(g(x)\) 
g_u  (out) the upper bounds \(g^U\) for the constraints \(g(x)\) 
The values of n
and m
that were specified in TNLP::get_nlp_info are passed here for debug checking. Setting a lower bound to a value less than or equal to the value of the option nlp_lower_bound_inf will cause Ipopt to assume no lower bound. Likewise, specifying the upper bound above or equal to the value of the option nlp_upper_bound_inf will cause Ipopt to assume no upper bound. These options are set to 10^{19} and 10^{19}, respectively, by default, but may be modified by changing these options.
Implements Ipopt::TNLP.

virtual 
Method to request scaling parameters.
This is only called if the options are set to retrieve user scaling, that is, if nlp_scaling_method is chosen as "userscaling". The method should provide scaling factors for the objective function as well as for the optimization variables and/or constraints. The return value should be true, unless an error occurred, and the program is to be aborted.
The value returned in obj_scaling determines, how Ipopt should internally scale the objective function. For example, if this number is chosen to be 10, then Ipopt solves internally an optimization problem that has 10 times the value of the original objective function provided by the TNLP. In particular, if this value is negative, then Ipopt will maximize the objective function instead of minimizing it.
The scaling factors for the variables can be returned in x_scaling, which has the same length as x in the other TNLP methods, and the factors are ordered like x. use_x_scaling needs to be set to true, if Ipopt should scale the variables. If it is false, no internal scaling of the variables is done. Similarly, the scaling factors for the constraints can be returned in g_scaling, and this scaling is activated by setting use_g_scaling to true.
As a guideline, we suggest to scale the optimization problem (either directly in the original formulation, or after using scaling factors) so that all sensitivities, i.e., all nonzero first partial derivatives, are typically of the order 0.110.
Reimplemented from Ipopt::TNLP.

virtual 
Method to request the variables linearity.
This method is never called by Ipopt, but is used by Bonmin to get information about which variables occur only in linear terms. Ipopt passes the array var_types of length at least n, which should be filled with the appropriate linearity type of the variables (TNLP::LINEAR or TNLP::NON_LINEAR).
The default implementation just returns false and does not fill the array.
Reimplemented from Ipopt::TNLP.

virtual 
Method to request the constraints linearity.
This method is never called by Ipopt, but is used by Bonmin to get information about which constraints are linear. Ipopt passes the array const_types of size m, which should be filled with the appropriate linearity type of the constraints (TNLP::LINEAR or TNLP::NON_LINEAR).
The default implementation just returns false and does not fill the array.
Reimplemented from Ipopt::TNLP.

virtual 
Method to request the starting point before iterating.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
init_x  (in) if true, this method must provide an initial value for \(x\) 
x  (out) the initial values for the primal variables \(x\) 
init_z  (in) if true, this method must provide an initial value for the bound multipliers \(z^L\) and \(z^U\) 
z_L  (out) the initial values for the bound multipliers \(z^L\) 
z_U  (out) the initial values for the bound multipliers \(z^U\) 
m  (in) the number of constraints \(g(x)\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
init_lambda  (in) if true, this method must provide an initial value for the constraint multipliers \(\lambda\) 
lambda  (out) the initial values for the constraint multipliers, \(\lambda\) 
The boolean variables indicate whether the algorithm requires to have x, z_L/z_u, and lambda initialized, respectively. If, for some reason, the algorithm requires initializations that cannot be provided, false should be returned and Ipopt will stop. The default options only require initial values for the primal variables \(x\).
Note, that the initial values for bound multiplier components for absent bounds ( \(x^L_i=\infty\) or \(x^U_i=\infty\)) are ignored.
Implements Ipopt::TNLP.

virtual 
Method to provide an Ipopt warm start iterate which is already in the form Ipopt requires it internally for warm starts.
This method is only for expert users. The default implementation does not provide a warm start iterate and returns false.
warm_start_iterate  storage for warm start iterate in the form Ipopt requires it internally 
Reimplemented from Ipopt::TNLP.

virtual 
Method to request the value of the objective function.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) the values for the primal variables \(x\) at which the objective function \(f(x)\) is to be evaluated 
new_x  (in) false if any evaluation method (eval_* ) was previously called with the same values in x, true otherwise. This can be helpful when users have efficient implementations that calculate multiple outputs at once. Ipopt internally caches results from the TNLP and generally, this flag can be ignored. 
obj_value  (out) storage for the value of the objective function \(f(x)\) 
Implements Ipopt::TNLP.

virtual 
Method to request the gradient of the objective function.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) the values for the primal variables \(x\) at which the gradient \(\nabla f(x)\) is to be evaluated 
new_x  (in) false if any evaluation method (eval_* ) was previously called with the same values in x, true otherwise; see also TNLP::eval_f 
grad_f  (out) array to store values of the gradient of the objective function \(\nabla f(x)\). The gradient array is in the same order as the \(x\) variables (i.e., the gradient of the objective with respect to x[2] should be put in grad_f[2] ). 
Implements Ipopt::TNLP.

virtual 
Method to request the constraint values.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) the values for the primal variables \(x\) at which the constraint functions \(g(x)\) are to be evaluated 
new_x  (in) false if any evaluation method (eval_* ) was previously called with the same values in x, true otherwise; see also TNLP::eval_f 
m  (in) the number of constraints \(g(x)\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
g  (out) array to store constraint function values \(g(x)\), do not add or subtract the bound values \(g^L\) or \(g^U\). 
Implements Ipopt::TNLP.

virtual 
Method to request either the sparsity structure or the values of the Jacobian of the constraints.
The Jacobian is the matrix of derivatives where the derivative of constraint function \(g_i\) with respect to variable \(x_j\) is placed in row \(i\) and column \(j\). See Triplet Format for Sparse Matrices for a discussion of the sparse matrix format used in this method.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) first call: NULL; later calls: the values for the primal variables \(x\) at which the constraint Jacobian \(\nabla g(x)^T\) is to be evaluated 
new_x  (in) false if any evaluation method (eval_* ) was previously called with the same values in x, true otherwise; see also TNLP::eval_f 
m  (in) the number of constraints \(g(x)\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
nele_jac  (in) the number of nonzero elements in the Jacobian; it will have the same value that was specified in TNLP::get_nlp_info 
iRow  (out) first call: array of length nele_jac to store the row indices of entries in the Jacobian of the constraints; later calls: NULL 
jCol  (out) first call: array of length nele_jac to store the column indices of entries in the Jacobian of the constraints; later calls: NULL 
values  (out) first call: NULL; later calls: array of length nele_jac to store the values of the entries in the Jacobian of the constraints 
x
and values
will be NULL. If the arguments x
and values
are not NULL, then Ipopt expects that the value of the Jacobian as calculated from array x
is stored in array values
(using the same order as used when specifying the sparsity structure). At this call, the arguments iRow
and jCol
will be NULL. Implements Ipopt::TNLP.

virtual 
Method to request either the sparsity structure or the values of the Hessian of the Lagrangian.
The Hessian matrix that Ipopt uses is
\[ \sigma_f \nabla^2 f(x_k) + \sum_{i=1}^m\lambda_i\nabla^2 g_i(x_k) \]
for the given values for \(x\), \(\sigma_f\), and \(\lambda\). See Triplet Format for Sparse Matrices for a discussion of the sparse matrix format used in this method.
n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) first call: NULL; later calls: the values for the primal variables \(x\) at which the Hessian is to be evaluated 
new_x  (in) false if any evaluation method (eval_* ) was previously called with the same values in x, true otherwise; see also TNLP::eval_f 
obj_factor  (in) factor \(\sigma_f\) in front of the objective term in the Hessian 
m  (in) the number of constraints \(g(x)\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
lambda  (in) the values for the constraint multipliers \(\lambda\) at which the Hessian is to be evaluated 
new_lambda  (in) false if any evaluation method was previously called with the same values in lambda, true otherwise 
nele_hess  (in) the number of nonzero elements in the Hessian; it will have the same value that was specified in TNLP::get_nlp_info 
iRow  (out) first call: array of length nele_hess to store the row indices of entries in the Hessian; later calls: NULL 
jCol  (out) first call: array of length nele_hess to store the column indices of entries in the Hessian; later calls: NULL 
values  (out) first call: NULL; later calls: array of length nele_hess to store the values of the entries in the Hessian 
x
, lambda
, and values
will be NULL. If the arguments x
, lambda
, and values
are not NULL, then Ipopt expects that the value of the Hessian as calculated from arrays x
and lambda
are stored in array values
(using the same order as used when specifying the sparsity structure). At this call, the arguments iRow
and jCol
will be NULL.A default implementation is provided, in case the user wants to set quasiNewton approximations to estimate the second derivatives and doesn't not need to implement this method.
Reimplemented from Ipopt::TNLP.

virtual 
This method is called when the algorithm has finished (successfully or not) so the TNLP can digest the outcome, e.g., store/write the solution, if any.
status  (in) gives the status of the algorithm

n  (in) the number of variables \(x\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
x  (in) the final values for the primal variables 
z_L  (in) the final values for the lower bound multipliers 
z_U  (in) the final values for the upper bound multipliers 
m  (in) the number of constraints \(g(x)\) in the problem; it will have the same value that was specified in TNLP::get_nlp_info 
g  (in) the final values of the constraint functions 
lambda  (in) the final values of the constraint multipliers 
obj_value  (in) the final value of the objective function 
ip_data  (in) provided for expert users 
ip_cq  (in) provided for expert users 
Implements Ipopt::TNLP.

virtual 
Intermediate Callback method for the user.
This method is called once per iteration (during the convergence check), and can be used to obtain information about the optimization status while Ipopt solves the problem, and also to request a premature termination.
The information provided by the entities in the argument list correspond to what Ipopt prints in the iteration summary (see also Ipopt Output), except for inf_pr, which by default corresponds to the original problem in the log but to the scaled internal problem in this callback. Further information can be obtained from the ip_data and ip_cq objects. The current iterate and violations of feasibility and optimality can be accessed via the methods Ipopt::TNLP::get_curr_iterate() and Ipopt::TNLP::get_curr_violations(). These methods translate values for the internal representation of the problem from ip_data
and ip_cq
objects into the TNLP representation.
It is not required to implement (overload) this method. The default implementation always returns true.
Reimplemented from Ipopt::TNLP.

virtual 
Return the number of variables that appear nonlinearly in the objective function or in at least one constraint function.
If 1 is returned as number of nonlinear variables, Ipopt assumes that all variables are nonlinear. Otherwise, it calls get_list_of_nonlinear_variables with an array into which the indices of the nonlinear variables should be written  the array has the length num_nonlin_vars, which is identical with the return value of get_number_of_nonlinear_variables(). It is assumed that the indices are counted starting with 1 in the FORTRAN_STYLE, and 0 for the C_STYLE.
The default implementation returns 1, i.e., all variables are assumed to be nonlinear.
Reimplemented from Ipopt::TNLP.

virtual 
Return the indices of all nonlinear variables.
This method is called only if limitedmemory quasiNewton option is used and get_number_of_nonlinear_variables() returned a positive number. This number is provided in parameter num_nonlin_var.
The method must store the indices of all nonlinear variables in pos_nonlin_vars, where the numbering starts with 0 order 1, depending on the numbering style determined in get_nlp_info.
Reimplemented from Ipopt::TNLP.

private 
Default Assignment Operator.
Definition at line 215 of file IpTNLPReducer.hpp.

private 
Definition at line 216 of file IpTNLPReducer.hpp.

private 
Definition at line 217 of file IpTNLPReducer.hpp.

private 
Number of constraints to be skipped.
Definition at line 221 of file IpTNLPReducer.hpp.

private 
Array of indices of the constraints that are to be skipped.
This is provided at the beginning in the constructor.
Definition at line 227 of file IpTNLPReducer.hpp.

private 
Index style for original problem.
Internally, we use CStyle now.
Definition at line 233 of file IpTNLPReducer.hpp.

private 
Map from original constraints to new constraints.
A 1 means that a constraint is skipped.
Definition at line 239 of file IpTNLPReducer.hpp.

private 
Number of constraints in reduced NLP.
Definition at line 242 of file IpTNLPReducer.hpp.

private 
Number of Jacobian nonzeros in the reduced NLP.
Definition at line 245 of file IpTNLPReducer.hpp.

private 
Number of Jacobian nonzeros that are skipped.
Definition at line 248 of file IpTNLPReducer.hpp.

private 
Array of Jacobian elements that are to be skipped in increasing order.
Definition at line 251 of file IpTNLPReducer.hpp.

private 
Number of lower variable bounds to be skipped.
Definition at line 254 of file IpTNLPReducer.hpp.

private 
Array of indices of the lower variable bounds to be skipped.
Definition at line 257 of file IpTNLPReducer.hpp.

private 
Number of upper variable bounds to be skipped.
Definition at line 260 of file IpTNLPReducer.hpp.

private 
Array of indices of the upper variable bounds to be skipped.
Definition at line 263 of file IpTNLPReducer.hpp.

private 
Number of variables that are to be fixed to initial value.
Definition at line 266 of file IpTNLPReducer.hpp.

private 
Array of indices of the variables that are to be fixed.
Definition at line 269 of file IpTNLPReducer.hpp.