Rename tag to Assume_d_equal_0

This commit is contained in:
Giles Bathgate 2022-03-08 08:18:16 +00:00
parent 57e9fa449d
commit 1e26a739c5
1 changed files with 3 additions and 3 deletions

View File

@ -112,7 +112,7 @@ Sphere_circle(Sphere_circle<R> c, const Sphere_point<R>& p)
/*{\Moperations 4 2}*/
Sphere_circle<R> opposite() const
/*{\Mop returns the opposite of |\Mvar|.}*/
{ return Sphere_circle<R>(Base::opposite(),Private_tag{}); }
{ return Sphere_circle<R>(Base::opposite(),Assume_d_equal_0{}); }
bool has_on(const Sphere_point<R>& p) const
/*{\Mop returns true iff |\Mvar| contains |p|.}*/
@ -142,8 +142,8 @@ is not part of it. Otherwise |\Mvar| is split at the
$x$-$z$-coordinate plane.}*/
private:
struct Private_tag{};
Sphere_circle(const Plane_3& h,Private_tag) : Base(h){}
struct Assume_d_equal_0{};
Sphere_circle(const Plane_3& h, Assume_d_equal_0) : Base(h){}
}; // Sphere_circle<R>