template<class Value, class Point, class Line typename Point::Dual>
&& requires(const Point& pt_p, const Line& ln_l) {
{ pt_p.perp() } -> std::convertible_to<Line>;
}
Cayley-Klein plane Concept.
Definition ck_concepts.hpp:42
Projective plane Concept.
Definition pg_concepts.hpp:46
Cayley-Klein plane Concept.
- Template Parameters
-