fun::ProjectivePlanePrimH Concept Reference

Projective plane Concept (half) More...

#include <proj_plane_concepts.h>

Concept definition

template<class Point, class Line>
concept fun::ProjectivePlanePrimH =  STD_ALT::equality_comparable<Point>
          && requires(const Point& pt_p, const Point& pt_q, const Line& ln_l) {
                 { incident(pt_p, ln_l) } -> STD_ALT::convertible_to<bool>;  
                 { pt_p * pt_q } -> STD_ALT::convertible_to<Line>;           
                 
                 
                 
             }

Detailed Description

Projective plane Concept (half)

Template Parameters

Point	Point
Line	Line