Merge remote-tracking branch 'PRIVATE/master' into ys_cut

This commit is contained in:
YuSanka 2022-10-03 11:30:49 +02:00
commit b4f38883a8
40 changed files with 2703 additions and 3057 deletions

View file

@ -139,6 +139,7 @@ public:
bool empty() const { return this->facets_count() == 0; }
bool repaired() const;
bool is_splittable() const;
bool has_zero_volume() const;
// Estimate of the memory occupied by this structure, important for keeping an eye on the Undo / Redo stack allocation.
size_t memsize() const;