\( \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 4.8 - 2D Polygon Partitioning

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
CGAL::Partition_is_valid_traits_2< Traits, PolygonIsValid > Class Template Reference
2D Polygon Partitioning 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.

Examples:
  Partition_2/optimal_convex_partition_2.cpp.

## 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`