PPL  1.2
Parma_Polyhedra_Library::Dense_Row::Impl Struct Reference

Public Member Functions

 Impl ()
 
 ~Impl ()
 

Public Attributes

dimension_type size
 The number of coefficients in the row. More...
 
dimension_type capacity
 The capacity of the row. More...
 
std::allocator< Coefficientcoeff_allocator
 The allocator used to allocate/deallocate vec. More...
 
Coefficientvec
 

Detailed Description

Definition at line 406 of file Dense_Row_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Dense_Row::Impl::Impl ( )
inline

Definition at line 35 of file Dense_Row_inlines.hh.

36  : size(0), capacity(0), coeff_allocator(), vec(0) {
37 }
std::allocator< Coefficient > coeff_allocator
The allocator used to allocate/deallocate vec.
dimension_type size
The number of coefficients in the row.
dimension_type capacity
The capacity of the row.
Parma_Polyhedra_Library::Dense_Row::Impl::~Impl ( )
inline

Definition at line 40 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::capacity(), and Parma_Polyhedra_Library::Dense_Row::size().

40  {
41  while (size != 0) {
42  --size;
43  vec[size].~Coefficient();
44  }
45  coeff_allocator.deallocate(vec, capacity);
46 }
std::allocator< Coefficient > coeff_allocator
The allocator used to allocate/deallocate vec.
dimension_type size
The number of coefficients in the row.
dimension_type capacity
The capacity of the row.

Member Data Documentation

std::allocator<Coefficient> Parma_Polyhedra_Library::Dense_Row::Impl::coeff_allocator
dimension_type Parma_Polyhedra_Library::Dense_Row::Impl::size
Coefficient* Parma_Polyhedra_Library::Dense_Row::Impl::vec

The documentation for this struct was generated from the following files: