An instance C of type Convex_hull_d<R> is the convex hull of a multiset S of points in $$ddimensional space. We call S the underlying point set and $$d or dim the dimension of the underlying space. We use dcur to denote the affine dimension of S. The data type supports incremental construction of hulls.
The closure of the hull is maintained as a simplicial complex, i.e., as a collection of simplices. The intersection of any two is a face of both^{1}. In the sequel we reserve the word simplex for the simplices of dimension dcur. For each simplex there is a handle of type Simplex_handle and for each vertex there is a handle of type Vertex_handle. Each simplex has $$1 + dcur vertices indexed from $$0 to dcur; for a simplex $$s and an index $$i, C.vertex(s,i) returns the $$ith vertex of $$s. For any simplex $$s and any index $$i of $$s there may or may not be a simplex $$t opposite to the $$ith vertex of $$s. The function C.opposite_simplex(s,i) returns $$t if it exists and returns Simplex_handle() (the undefined handle) otherwise. If $$t exists then $$s and $$t share dcur vertices, namely all but the vertex with index $$i of $$s and the vertex with index C.index_of_vertex_in_opposite_simplex(s,i) of $$t. Assume that $$t exists and let j = C.index_of_vertex_in_opposite_simplex(s,i). Then $$s = C.opposite_simplex(t,j) and $$i = C.index_of_vertex_in_opposite_simplex(t,j).
The boundary of the hull is also a simplicial complex. All simplices in this complex have dimension $$dcur  1. For each boundary simplex there is a handle of type Facet_handle. Each facet has dcur vertices indexed from $$0 to $$dcur  1. If dcur > 1 then for each facet $$f and each index $$i, $$0 i < dcur, there is a facet $$g opposite to the $$ith vertex of $$f. The function C.opposite_facet(f,i) returns $$g. Two neighboring facets $$f and $$g share dcur  1 vertices, namely all but the vertex with index $$i of $$f and the vertex with index C.index_of_vertex_in_opposite_facet(f,i) of $$g. Let j = C.index_of_vertex_in_opposite_facet(f,i). Then f = C.opposite_facet(g,j) and i = C.index_of_vertex_in_opposite_facet(g,j).
Note that each iterator fits the handle concept, i.e. iterators can be used as handles. Note also that all iterator and handle types come also in a const flavor, e.g., Vertex_const_iterator is the constant version of Vertex_iterator. Const correctness requires to use the const version whenever the convex hull object is referenced as constant. The Hull_vertex_iterator is convertible to Vertex_iterator and Vertex_handle.
 
const iterator for all inserted
points.
 
 
const iterator for all points
that are part of the convex hull.

 
creates an
instance C of type Convex_hull_d. The dimension of the
underlying space is $$d and S is initialized to the empty point
set. The traits class R specifies the models of all types and
the implementations of all geometric primitives used by the convex
hull class. The default model is one of the $$ddimensional
representation classes (e.g., Homogeneous_d).

The data type Convex_hull_d offers neither copy constructor nor assignment operator.
R is a model of the concept ConvexHullTraits_d .
All operations below that take a point x as argument have the common precondition that x is a point of ambient space.

 returns the dimension of ambient space  

 returns the affine dimension dcur of $$S.  

 
returns the point associated with vertex $$v.  

 
returns the vertex corresponding to the $$ith vertex of $$s.
 

 
same as C.associated_point(C.vertex_of_simplex(s,i)).  

 
returns the simplex opposite to the $$ith vertex of $$s
(Simplex_handle() if there is no such simplex).
 

 
returns the index of the vertex opposite to the $$ith vertex of
$$s.
 

 returns a simplex of which $$v is a node. Note that this simplex is not unique.  

 returns the index of $$v in simplex(v).  

 
returns the vertex corresponding to the $$ith vertex of $$f.
 

 
same as C.associated_point(C.vertex_of_facet(f,i)).  

 
returns the facet opposite to the $$ith vertex of $$f
(Facet_handle() if there is no such facet).
 

 
returns the index of the vertex opposite to the $$ith vertex of
$$f.
 

 
returns a hyperplane supporting facet f. The hyperplane is
oriented such that the interior of C is on the negative side of
it.
 

 adds point x to the underlying set of points. If $$x is equal to (the point associated with) a vertex of the current hull this vertex is returned and its associated point is changed to $$x. If $$x lies outside the current hull, a new vertex v with associated point $$x is added to the hull and returned. In all other cases, i.e., if $$x lies in the interior of the hull or on the boundary but not on a vertex, the current hull is not changed and Vertex_handle() is returned. If CGAL_CHECK_EXPENSIVE is defined then the validity check is_valid(true) is executed as a post condition.  
 

 
adds S = set [first,last) to the underlying set of points. If any point S[i] is equal to (the point associated with) a vertex of the current hull its associated point is changed to S[i].  

 returns true if $$x is not contained in the affine hull of S.  

 
returns the list of all facets that are visible from x.
 


returns
ON_BOUNDED_SIDE (ON_BOUNDARY,ON_UNBOUNDED_SIDE) if
x is contained in the interior (lies on the boundary, is
contained in the exterior) of C.
 

 reinitializes C to an empty hull in $$ddimensional space.  

 returns the number of vertices of C.  

 returns the number of facets of C.  

 returns the number of bounded simplices of C.  

 gives information about the size of the current hull and the number of visibility tests performed.  

 
checks the
validity of the data structure. If throw_exceptions == thrue
then the program throws the following exceptions to inform about the
problem. chull_has_center_on_wrong_side_of_hull_facet the hyperplane supporting a facet has the wrong orientation. chull_has_local_non_convexity a ridge is locally non convex. chull_has_double_coverage the hull has a winding number larger than 1. 

 an iterator of C to start the iteration over all vertices of the complex. 

 the past the end iterator for vertices. 

 an iterator of C to start the iteration over all simplices of the complex. 

 the past the end iterator for simplices. 

 an iterator of C to start the iteration over all facets of the complex. 

 the past the end iterator for facets. 

 an iterator to start the iteration over all vertices of C that are part of the convex hull. 

 the past the end iterator for hull vertices. 

 returns the start iterator for all points that have been inserted to construct C. 

 returns the past the end iterator for points. 

 returns an iterator to start the iteration over all points in the convex hull C. Included are points in the interior of facets. 

 returns the past the end iterator for points in the convex hull. 
 


each facet of C is visited by the visitor object
V. V has to have a function call operator: void operator()(Facet_handle) const 

 returns a list of all points that have been inserted to construct C. 

 returns a list of all vertices of C (also interior ones). 

 returns a list of all simplices in C. 

 returns a list of all facets of C. 
forall_ch_vertices($$v,C) $${ ``the vertices of $$C are successively assigned to $$v'' $$}
forall_ch_simplices($$s,C) $${ ``the simplices of $$C are successively assigned to $$s'' $$}
forall_ch_facets($$f,C) $${ ``the facets of $$C are successively assigned to $$f'' $$}
The implementation of type Convex_hull_d is based on [CMS93] and [BMS94]. The details of the implementation can be found in the implementation document available at the download site of this package.
The time and space requirements are input dependent. Let $$C_{1}, $$C_{2}, $$C_{3}, ...be the sequence of hulls constructed and for a point $$x let $$k_{i} be the number of facets of $$C_{i} that are visible from $$x and that are not already facets of $$C_{i1}. Then the time for inserting $$x is $$O(dim _{i} k_{i}) and the number of new simplices constructed during the insertion of $$x is the number of facets of the hull which were not already facets of the hull before the insertion.
The data type Convex_hull_d is derived from Regular_complex_d. The space requirement of regular complexes is essentially $$12(dim +2) bytes times the number of simplices plus the space for the points. Convex_hull_d needs an additional $$8 + (4 + x)dim bytes per simplex where $$x is the space requirement of the underlying number type and an additional $$12 bytes per point. The total is therefore $$(16 + x)dim + 32 bytes times the number of simplices plus $$28 + x · dim bytes times the number of points.
 

 
converts the convex hull C to polyhedral surface stored in
P.

 

 
constructs the representation of the surface of C as a
bidirected LEDA graph G.

^{1}  The empty set if a facet of every simplex. 