25 #ifndef CASADI_FMU_IMPL_HPP
26 #define CASADI_FMU_IMPL_HPP
29 #include "importer.hpp"
30 #include "shared_object.hpp"
31 #include "resource.hpp"
39 bool discrete_states_need_update;
40 bool terminate_simulation;
41 bool nominals_of_continuous_states_changed;
42 bool values_of_continuous_states_changed;
43 bool next_event_time_defined;
44 double next_event_time;
48 class DaeBuilderInternal;
61 class CASADI_EXPORT FmuInternal :
public SharedObjectInternal {
65 FmuInternal(
const std::string& name,
66 const std::vector<std::string>& scheme_in,
const std::vector<std::string>& scheme_out,
67 const std::map<std::string, std::vector<size_t>>& scheme,
const std::vector<std::string>& aux);
70 ~FmuInternal()
override;
73 virtual void init(
const DaeBuilderInternal* dae);
76 virtual void load_functions() = 0;
79 virtual int enter_initialization_mode(
void* instance)
const = 0;
82 virtual int exit_initialization_mode(
void* instance)
const = 0;
85 virtual int enter_continuous_time_mode(
void* instance)
const = 0;
88 virtual int update_discrete_states(
void* instance, EventMemory* eventmem)
const = 0;
90 virtual int get_derivatives(
void* instance,
double* derivatives,
size_t nx)
const = 0;
93 virtual int set_time(
void* instance,
double t)
const = 0;
96 virtual int set_real(
void* instance,
const unsigned int* vr,
size_t n_vr,
97 const double* values,
size_t n_values)
const = 0;
100 virtual int get_real(
void* instance,
const unsigned int* vr,
size_t n_vr,
101 double* values,
size_t n_values, FmuMemory* m =
nullptr)
const = 0;
104 virtual int get_directional_derivative(
void* instance,
const unsigned int* vr_out,
size_t n_out,
105 const unsigned int* vr_in,
size_t n_in,
const double* seed,
size_t n_seed,
106 double* sensitivity,
size_t n_sensitivity)
const = 0;
109 virtual int get_adjoint_derivative(
void* instance,
const unsigned int* vr_out,
size_t n_out,
110 const unsigned int* vr_in,
size_t n_in,
const double* seed,
size_t n_seed,
111 double* sensitivity,
size_t n_sensitivity)
const;
114 virtual int set_values(
void* instance)
const = 0;
117 virtual int get_aux(
void* instance) = 0;
120 virtual void finalize();
125 void disp(std::ostream& stream,
bool more)
const override;
130 size_t n_in()
const {
return iind_.size();}
135 size_t n_out()
const {
return oind_.size();}
138 size_t index_in(
const std::string& n)
const;
141 size_t index_out(
const std::string& n)
const;
144 Sparsity jac_sparsity(
const std::vector<size_t>& osub,
const std::vector<size_t>& isub)
const;
147 Sparsity hess_sparsity(
const std::vector<size_t>& r,
const std::vector<size_t>& c)
const;
153 std::vector<double> all_nominal_in(
size_t i)
const;
154 std::vector<double> all_nominal_out(
size_t i)
const;
158 std::string desc_in(FmuMemory* m,
size_t id,
bool more =
true)
const;
161 virtual std::string system_infix()
const = 0;
164 static std::string dll_suffix();
169 static std::string fmi3_dll_infix();
174 static Dict compile_fmu(
const std::string& name,
const Dict& files,
const Dict& opts);
178 static std::string pack_fmu(
const Dict& files,
const std::string& path);
182 T* load_function(
const std::string& symname);
185 int discrete_states_iter(
void* instance)
const;
190 virtual int init_mem(FmuMemory* m)
const;
195 virtual FmuMemory* alloc_mem(
const FmuFunction& f)
const = 0;
200 virtual void free_mem(
void *mem)
const = 0;
203 virtual void* instantiate()
const = 0;
206 virtual void free_instance(
void* c)
const = 0;
209 void set(FmuMemory* m,
size_t ind,
const double* value)
const;
212 void request(FmuMemory* m,
size_t ind)
const;
215 int set_all(FmuMemory* m,
const double* values,
size_t n_values)
const;
218 int get_all(FmuMemory* m,
double* values,
size_t n_values)
const;
221 int eval(FmuMemory* m)
const;
224 void get(FmuMemory* m,
size_t id,
double* value)
const;
227 void set_fwd(FmuMemory* m, casadi_int nseed,
228 const casadi_int*
id,
const double* v)
const;
231 void set_fwd(FmuMemory* m,
size_t ind,
const double* v)
const;
234 void request_fwd(FmuMemory* m, casadi_int nsens,
const casadi_int*
id,
235 const casadi_int* wrt_id)
const;
238 void request_fwd(FmuMemory* m, casadi_int ind)
const;
241 int eval_fwd(FmuMemory* m,
bool independent_seeds)
const;
244 int eval_ad(FmuMemory* m)
const;
247 int eval_fd(FmuMemory* m,
bool independent_seeds)
const;
250 void get_fwd(FmuMemory* m, casadi_int nsens,
251 const casadi_int*
id,
double* v)
const;
254 void get_fwd(FmuMemory* m,
size_t ind,
double* v)
const;
257 void set_adj(FmuMemory* m, casadi_int nseed,
258 const casadi_int*
id,
const double* v)
const;
261 void set_adj(FmuMemory* m,
size_t ind,
const double* v)
const;
264 void request_adj(FmuMemory* m, casadi_int nsens,
const casadi_int*
id,
265 const casadi_int* wrt_id)
const;
268 void request_adj(FmuMemory* m, casadi_int ind)
const;
271 int eval_adj(FmuMemory* m)
const;
274 void get_adj(FmuMemory* m, casadi_int nsens,
275 const casadi_int*
id,
double* v)
const;
278 void get_adj(FmuMemory* m,
size_t ind,
double* v)
const;
281 void gather_fwd(FmuMemory* m)
const;
284 void gather_adj(FmuMemory* m)
const;
287 void gather_io(FmuMemory* m)
const;
292 virtual void get_stats(FmuMemory* m,
Dict* stats,
293 const std::vector<std::string>& name_in,
const InputStruct* in)
const = 0;
295 void serialize(SerializingStream& s)
const;
297 virtual void serialize_type(SerializingStream& s)
const;
298 virtual void serialize_body(SerializingStream& s)
const;
300 static FmuInternal* deserialize(DeserializingStream& s);
303 explicit FmuInternal(DeserializingStream& s);
313 std::vector<std::string> scheme_in_, scheme_out_;
314 std::map<std::string, std::vector<size_t>> scheme_;
317 std::vector<std::string> aux_;
320 std::string resource_loc_;
326 std::string instance_name_;
329 std::string instantiation_token_;
335 casadi_int number_of_event_indicators_;
338 bool provides_directional_derivatives_, provides_adjoint_derivatives_;
341 bool can_be_instantiated_only_once_per_process_;
350 std::vector<size_t> iind_, iind_map_, oind_, oind_map_;
353 bool has_independent_;
356 unsigned int independent_vr_;
359 std::vector<double> nominal_in_, nominal_out_;
360 std::vector<double> min_in_, min_out_;
361 std::vector<double> max_in_, max_out_;
362 std::vector<std::string> vn_in_, vn_out_;
363 std::vector<unsigned int> vr_in_, vr_out_;
366 std::vector<double> value_in_;
369 std::vector<std::vector<size_t>> ired_, ored_;
372 Sparsity jac_sp_, hess_sp_;
374 mutable bool warning_fired_discrete_states_need_update_;
375 mutable bool warning_fired_terminate_simulation_;
376 mutable bool warning_fired_nominals_of_continuous_states_changed_;
377 mutable bool warning_fired_values_of_continuous_states_changed_;
378 mutable bool warning_fired_next_event_time_defined_;
382 bool do_evaluation_dance_;
386 T* FmuInternal::load_function(
const std::string& symname) {
388 signal_t f = li_.get_function(symname);
390 casadi_assert(f !=
nullptr,
"Cannot retrieve '" + symname +
"'");
392 return reinterpret_cast<T*
>(f);
GenericType::Dict Dict
C++ equivalent of Python's dict or MATLAB's struct.