geom::ConvexObject Concept Reference

A convex shape which implements its convex support function. More...

#include <geomc/shape/ShapeTypes.h>

Concept definition

template<typename Shape>
concept geom::ConvexObject =  DimensionalObject<Shape> and BoundedObject<Shape> and 
    requires (const Shape s)
{
    { s.convex_support(Vec<typename Shape::elem_t, Shape::N>()) } -> std::convertible_to<typename Shape::point_t>;
}

Detailed Description

A convex shape which implements its convex support function.

ConvexObject implies BoundedObject, because the support function can be used to compute the bounding box.