nav: various cleanup (#21521)

* nav: various cleanup

* eta resize instant

* show
old-commit-hash: 9ea913bcc8
This commit is contained in:
Willem Melching
2021-07-08 14:33:58 +02:00
committed by GitHub
parent cc75e9ba9f
commit c042bbf09c
3 changed files with 87 additions and 94 deletions
+1
View File
@@ -127,6 +127,7 @@ public:
return x_;
}
inline void reset(float x) { x_ = x; }
inline float x(){ return x_; }
private:
float x_, k_;