\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)
CGAL 5.0.2 - 2D Polygon Partitioning
CGAL::Partition_is_valid_traits_2< Traits, PolygonIsValid > Class Template Reference

#include <CGAL/Partition_is_valid_traits_2.h>

Inherits from

Traits.

Definition

Class that derives a traits class for partition_is_valid_2() from a given traits class by defining the validity testing function object in terms of a supplied template parameter.

Is Model Of:
PartitionIsValidTraits_2
See also
CGAL::Is_convex_2<Traits>
CGAL::Is_vacuously_valid<Traits>
CGAL::Is_y_monotone_2<Traits>
CGAL::Partition_traits_2<R>

Example

See the example presented with the function optimal_convex_partition_2() for an illustration of the use of this traits class.

Types

typedef PolygonIsValid Is_valid
 
typedef Traits::Point_2 Point_2
 
typedef Traits::Polygon_2 Polygon_2
 
typedef Traits::Less_xy_2 Less_xy_2
 
typedef Traits::Left_turn_2 Left_turn_2
 
typedef Traits::Orientation_2 Orientation_2
 

Operations

The constructors and member functions for creating instances of the above types are inherited from Traits.

In addition, the following member function is defined:

Is_valid is_valid_object (const Traits &traits) const
 function returning an instance of Is_valid