linsol_ldl.hpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 
26 #ifndef CASADI_LINSOL_LDL_HPP
27 #define CASADI_LINSOL_LDL_HPP
28 
39 #include "casadi/core/linsol_internal.hpp"
40 #include <casadi/solvers/casadi_linsol_ldl_export.h>
41 
42 namespace casadi {
43  struct LinsolLdlMemory : public LinsolMemory {
44  std::vector<double> l, d, w;
45  };
46 
51  class LinsolLdl : public LinsolInternal {
52  public:
53 
54  // Create a linear solver given a sparsity pattern and a number of right hand sides
55  LinsolLdl(const std::string& name, const Sparsity& sp);
56 
58  static LinsolInternal* creator(const std::string& name, const Sparsity& sp) {
59  return new LinsolLdl(name, sp);
60  }
61 
62  // Destructor
63  ~LinsolLdl() override;
64 
66 
67  static const Options options_;
68  const Options& get_options() const override { return options_;}
70 
71  // Initialize the solver
72  void init(const Dict& opts) override;
73 
75  void* alloc_mem() const override { return new LinsolLdlMemory();}
76 
78  int init_mem(void* mem) const override;
79 
81  void free_mem(void *mem) const override { delete static_cast<LinsolLdlMemory*>(mem);}
82 
83  // Symbolic factorization
84  int sfact(void* mem, const double* A) const override;
85 
86  // Factorize the linear system
87  int nfact(void* mem, const double* A) const override;
88 
89  // Solve the linear system
90  int solve(void* mem, const double* A, double* x, casadi_int nrhs, bool tr) const override;
91 
93  void generate(CodeGenerator& g, const std::string& A, const std::string& x,
94  casadi_int nrhs, bool tr) const override;
95 
97  casadi_int neig(void* mem, const double* A) const override;
98 
100  casadi_int rank(void* mem, const double* A) const override;
101 
103  static const std::string meta_doc;
104 
105  // Get name of the plugin
106  const char* plugin_name() const override { return "ldl";}
107 
108  // Get name of the class
109  std::string class_name() const override { return "LinsolLdl";}
110 
111  // Symbolic factorization
112  std::vector<casadi_int> p_;
113  Sparsity sp_Lt_;
114 
116  // Options
117  bool incomplete_, amd_;
119 
121  void serialize_body(SerializingStream &s) const override;
122 
124  static ProtoFunction* deserialize(DeserializingStream& s) { return new LinsolLdl(s); }
125 
126  protected:
128  explicit LinsolLdl(DeserializingStream& s);
129  };
130 
131 } // namespace casadi
132 
134 
135 #endif // CASADI_LINSOL_LDL_HPP
The casadi namespace.
GenericType::Dict Dict
C++ equivalent of Python's dict or MATLAB's struct.