|
Requirements of a traits class to be used with the function optimal_convex_partition_2 that computes an optimal convex partition of a polygon.
In addition to the types listed with the concept PartitionTraits_2, the following types are required:
|
| |
|
A segment type
| |
|
| |
|
A ray type
| |
|
| |
|
A general object type that can be either a point or a segment
| |
|
| |
|
Function object type that provides
Segment_2 operator()(Point_2 p, Point_2 q), which constructs and
returns the segment defined by the points p and q.
| |
|
| |
|
Function object type that provides
Ray_2 operator()(Point_2 p, Point_2 q), which constructs and returns
the ray from point p through point q.
| |
|
| |
|
Predicate object type that
determines orderings of Point_2s on a line. Must provide
bool operator()(Point_2 p, Point_2 q, Point_2 r) that
returns true, iff q lies between p
and r and p, q, and r satisfy the precondition
that they are collinear.
| |
|
| |
|
Predicate object type that
determines orderings of Point_2s. Must provide
bool operator()(Point_2 p, Point_2 q, Point_2 r) that
returns true, iff the three points are collinear and
q lies strictly between p
and r. Note that false should be returned if
q==p or q==r.
| |
|
| |
|
Function object type that provides
Object_2 operator()(Segment_2 s1, Segment_2 s2) that returns
the intersection of two segments (which may be either a segment or
a point).
| |
|
| |
|
Function object type that provides
bool operator()(Segment_2 s1, Object_2 o) that returns
true if o is a segment and assigns the value of o
to s1; returns false otherwise.
| |
Only a copy constructor is required.
|
|
In addition to the functions required by PartitionTraits_2, the following functions that create instances of the above function object types must exist:
CGAL::convex_partition_is_valid_2
CGAL::Partition_is_valid_traits_2<Traits, PolygonIsValid>