diff options
Diffstat (limited to 'src/GudhUI/gui/MainWindow.h')
-rw-r--r-- | src/GudhUI/gui/MainWindow.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GudhUI/gui/MainWindow.h b/src/GudhUI/gui/MainWindow.h index 506a1f3a..587f1c6f 100644 --- a/src/GudhUI/gui/MainWindow.h +++ b/src/GudhUI/gui/MainWindow.h @@ -84,6 +84,7 @@ public: void persistence_menu(); void compute_persistence(int p,double threshold,int max_dim,double min_pers); void critical_points_menu(); + void is_manifold_menu(); public: |