fun::ProjectivePlaneGenericH Concept Reference

Projective plane Concept (full) More...

#include <proj_plane_concepts.h>

Concept definition

template<class Point, class Line typename Point::Dual>
concept fun::ProjectivePlaneGenericH =  ProjectivePlanePrimH<Point, Line> && requires(const Point& pt_p, const Point& pt_q) {
              { pt_p.aux() } -> STD_ALT::convertible_to<Line>;  
              {
                  pt_p.aux2(pt_q)
              } -> STD_ALT::convertible_to<Point>;  
                                                    
          }

Detailed Description

Projective plane Concept (full)

Template Parameters

Point	Point
Line	Line