Ponca::ProvidesAlgebraicSphere Concept Reference

Concept definition

template<typename T>
concept Ponca::ProvidesAlgebraicSphere = 
        ProvidesImplicitPrimitive<T> && requires(T t, const T ct, typename T::VectorType v, typename T::Scalar s) {
            ct.algebraicSphere();
 
            { ct.algebraicSphere().isPlane() } -> std::same_as<bool>;
            { ct.algebraicSphere().isValid() } -> std::same_as<bool>;
            { ct.algebraicSphere().isNormalized() } -> std::same_as<bool>;
            { ct.algebraicSphere().isApprox(ct, s) } -> std::same_as<bool>;
 
            { t.algebraicSphere().applyPrattNorm() } -> std::same_as<bool>;
            { ct.algebraicSphere().prattNorm() } -> std::same_as<typename T::Scalar>;
            { ct.algebraicSphere().prattNorm2() } -> std::same_as<typename T::Scalar>;
 
            { ct.algebraicSphere().radius() } -> std::convertible_to<typename T::Scalar>;
            { ct.algebraicSphere().center() } -> std::convertible_to<typename T::VectorType>;
        }

Detailed Description

Definition at line 39 of file concepts.h.