fun::ProjectivePlanePrimitive Concept Reference

Projective plane Concept. More...

#include <pg_concepts.hpp>

Concept definition

template<class Point, class Line>
concept fun::ProjectivePlanePrimitive =    
        std::equality_comparable<Point>  
        && requires(const Point& pt_p, const Point& pt_q, const Line& ln_l) {
               { pt_p.incident(ln_l) } -> std::convertible_to<bool>;  
               { pt_p.meet(pt_q) } -> std::convertible_to<Line>;      
           }

Detailed Description

Projective plane Concept.

Template Parameters

Point	Point
Line	Line