ipopt-src 0.2.3+3.14.16

Redistribution of Coin-OR Ipopt as a crate
// Copyright (C) 2004, 2007 International Business Machines and others.
// All Rights Reserved.
// This code is published under the Eclipse Public License.
//
// Authors:  Carl Laird, Andreas Waechter     IBM    2004-03-17

#ifndef __IPTSYMLINEARSOLVER_HPP__
#define __IPTSYMLINEARSOLVER_HPP__

#include "IpSymLinearSolver.hpp"
#include "IpSparseSymLinearSolverInterface.hpp"
#include "IpTSymScalingMethod.hpp"
#include "IpSymMatrix.hpp"
#include "IpTripletToCSRConverter.hpp"
#include <vector>
#include <list>

namespace Ipopt
{

/** General driver for linear solvers for sparse indefinite
 *  symmetric matrices.
 *
 *  This interface includes a call to a method
 *  for scaling of the matrix (if given).  This class takes in the
 *  constructor a pointer to the interface to an actual linear
 *  solver, and possibly a pointer to a method for computing scaling
 *  factors.  It translates the SymMatrix into the format required
 *  by the linear solver and calls the solver via the
 *  TSymLinearSolverInterface.  If a scaling method has been given,
 *  the matrix, the right hand side, and the solution are scaled.
 */
class TSymLinearSolver: public SymLinearSolver
{
public:
   /** @name Constructor/Destructor */
   ///@{
   /** Constructor.
    *
    *  The solver_interface is a pointer to a linear
    *  solver for symmetric matrices in triplet format.
    *  If scaling_method not NULL, it must be a pointer to a class for
    *  computing scaling factors for the matrix.
    */
   TSymLinearSolver(
      SmartPtr<SparseSymLinearSolverInterface> solver_interface,
      SmartPtr<TSymScalingMethod>              scaling_method
   );

   /** Destructor */
   virtual ~TSymLinearSolver();
   ///@}

   bool InitializeImpl(
      const OptionsList& options,
      const std::string& prefix);

   /** @name Methods for requesting solution of the linear system. */
   ///@{
   virtual ESymSolverStatus MultiSolve(
      const SymMatrix&                      A,
      std::vector<SmartPtr<const Vector> >& rhsV,
      std::vector<SmartPtr<Vector> >&       solV,
      bool                                  check_NegEVals,
      Index                                 numberOfNegEVals
   );

   virtual Index NumberOfNegEVals() const;
   ///@}

   //* @name Options of Linear solver */
   ///@{
   virtual bool IncreaseQuality();

   virtual bool ProvidesInertia() const;
   ///@}

   /** @name Methods related to the detection of linearly dependent
    *  rows in a matrix
    */
   ///@{
   bool ProvidesDegeneracyDetection() const;

   ESymSolverStatus DetermineDependentRows(
      Index             n_rows,
      Index             n_cols,
      Index             n_jac_nz,
      Number*           jac_c_vals,
      Index*            jac_c_iRow,
      Index*            jac_c_jCol,
      std::list<Index>& c_deps
   );
   ///@}

   /** Methods for OptionsList */
   ///@{
   static void RegisterOptions(
      SmartPtr<RegisteredOptions> roptions
   );
   ///@}

private:
   /**@name 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. */
   ///@{
   /** Default Constructor */
   TSymLinearSolver();

   /** Copy Constructor */
   TSymLinearSolver(
      const TSymLinearSolver&
   );

   /** Default Assignment Operator */
   void operator=(
      const TSymLinearSolver&
   );
   ///@}

   /** @name Information about the matrix */
   ///@{
   /** Tag for the incoming matrix */
   TaggedObject::Tag atag_;

   /** Number of rows and columns of the matrix */
   Index dim_;

   /** Number of nonzeros of the matrix in triplet format.
    *
    *  Note that some elements might appear multiple times in
    *  which case the values are added.
    */
   Index nonzeros_triplet_;
   /** Number of nonzeros in compressed format.
    *
    *  This is only computed if the sparse linear solver works
    *  with the CSR format.
    */
   Index nonzeros_compressed_;
   ///@}

   /** @name Initialization flags */
   ///@{
   /** Flag indicating if the internal structures are initialized.
    *
    *  For initialization, this object needs to have seen a matrix.
    */
   bool have_structure_;
   /** Flag indicating whether the scaling objected is to be switched
    *  on when increased quality is requested.
    */
   bool linear_scaling_on_demand_;
   /** Flag indicating if the InitializeStructure method has been
    *  called for the linear solver.
    */
   bool initialized_;
   ///@}

   /** Strategy Object for an interface to a linear solver. */
   SmartPtr<SparseSymLinearSolverInterface> solver_interface_;
   /** @name Stuff for scaling of the linear system. */
   ///@{
   /** Strategy Object for a method that computes scaling factors for
    *  the matrices.
    *
    *  If NULL, no scaling is performed.
    */
   SmartPtr<TSymScalingMethod> scaling_method_;
   /** Array storing the scaling factors */
   Number* scaling_factors_;
   /** Flag indicating whether scaling should be performed */
   bool use_scaling_;
   /** Flag indicating whether we just switched on the scaling */
   bool just_switched_on_scaling_;
   ///@}

   /** @name information about the matrix. */
   ///@{
   /** row indices of matrix in triplet (MA27) format. */
   Index* airn_;
   /** column indices of matrix in triplet (MA27) format. */
   Index* ajcn_;
   /** Pointer to object for conversion from triplet to compressed format.
    *
    *  This is only required if the linear solver works with
    *  the compressed representation.
    */
   SmartPtr<TripletToCSRConverter> triplet_to_csr_converter_;
   /** Flag indicating what matrix data format the solver requires. */
   SparseSymLinearSolverInterface::EMatrixFormat matrix_format_;
   ///@}

   /** @name Algorithmic parameters */
   ///@{
   /** Flag indicating whether the TNLP with identical structure has
    *  already been solved before.
    */
   bool warm_start_same_structure_;
   ///@}

   /** @name Internal functions */
   ///@{
   /** Initialize nonzero structure.
    *
    *  Set dim_ and nonzeros_, and copy the nonzero structure of symT_A
    *  into airn_ and ajcn_.
    */
   ESymSolverStatus InitializeStructure(
      const SymMatrix& symT_A
   );

   /** Copy the elements of the matrix in the required format into
    *  the array that is provided by the solver interface.
    */
   void GiveMatrixToSolver(
      bool             new_matrix,
      const SymMatrix& sym_A
   );
   ///@}
};

} // namespace Ipopt
#endif