diff options
Diffstat (limited to 'src/patch/patch.hh')
-rw-r--r-- | src/patch/patch.hh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/patch/patch.hh b/src/patch/patch.hh index c89fd78..d4b28ac 100644 --- a/src/patch/patch.hh +++ b/src/patch/patch.hh @@ -277,7 +277,16 @@ public: : (e.is_rho() ? max_rho_ghost_zone() : max_sigma_ghost_zone()); } - + // get *interpatch* ghost zone on specified edge + // ... verifies that ghost zone is indeed interpatch + interpatch_ghost_zone& interpatch_ghost_zone_on_edge + (const patch_edge &e) + const + { + ghost_zone &g = ghost_zone_on_edge(e); + assert(g.is_interpatch()); + return static_cast<interpatch_ghost_zone &>(g); + } // |