fun::ProjectivePlane Concept Reference

Projective plane Concept. More...

#include <pg_concepts.hpp>

Concept definition

template<typename Value, class Point, class Line>
concept fun::ProjectivePlane =  std::equality_comparable<Point> && ProjectivePlanePrimitive<Point, Line>  
          && requires(const Point& pt_p, const Point& pt_q, const Line& ln_l, const Value& a) {
                 { pt_p.aux() } -> std::convertible_to<Line>;       
                 { pt_p.dot(ln_l) } -> std::convertible_to<Value>;  
                 { Point::parametrize(a, pt_p, a, pt_q) } -> std::convertible_to<Point>;
             }

Detailed Description

Projective plane Concept.

Projective plane Concept (full)

Template Parameters

Value
Point	Point
Line	Line
Point	Point
Line	Line