+ // The time offset that originates from a simtime different than zero
+ // at initialization time of the fdm.
+ double get_cache_time_offset() const
+ { return cache_time_offset; }
+ void set_cache_time_offset(double time_offset)
+ { cache_time_offset = time_offset; }