Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl Class Reference

The real implementation of a DB_Row object. More...

#include <DB_Row_defs.hh>

Collaboration diagram for Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl:

Public Member Functions
	Impl ()
	Default constructor. More...
	~Impl ()
	Destructor. More...
void	expand_within_capacity (dimension_type new_size)
	Expands the row to size new_size. More...
void	shrink (dimension_type new_size)
	Shrinks the row by erasing elements at the end. More...
void	copy_construct_coefficients (const Impl &y)
	Exception-safe copy construction mechanism for coefficients. More...
template<typename U >
void	construct_upward_approximation (const U &y)
	Exception-safe upward approximation construction mechanism for coefficients. More...
memory_size_type	total_memory_in_bytes () const
	Returns a lower bound to the total size in bytes of the memory occupied by *this. More...
memory_size_type	total_memory_in_bytes (dimension_type capacity) const
	Returns the total size in bytes of the memory occupied by *this. More...
memory_size_type	external_memory_in_bytes () const
	Returns the size in bytes of the memory managed by *this. More...
Size accessors.
dimension_type	size () const
	Returns the actual size of this. More...
void	set_size (dimension_type new_sz)
	Sets to new_sz the actual size of *this. More...
void	bump_size ()
	Increments the size of *this by 1. More...
Subscript operators.
T &	operator[] (dimension_type k)
	Returns a reference to the element of *this indexed by k. More...
const T &	operator[] (dimension_type k) const
	Returns a constant reference to the element of *this indexed by k. More...

Static Public Member Functions
static dimension_type	max_size ()
	Returns the size() of the largest possible Impl. More...
Custom allocator and deallocator.
static void *	operator new (size_t fixed_size, dimension_type capacity)
	Allocates a chunk of memory able to contain capacity T objects beyond the specified fixed_size and returns a pointer to the new allocated memory. More...
static void	operator delete (void *p)
	Uses the standard delete operator to free the memory p points to. More...
static void	operator delete (void *p, dimension_type capacity)
	Placement version: uses the standard operator delete to free the memory p points to. More...

Private Member Functions
	Impl (const Impl &y)
	Private and unimplemented: copy construction is not allowed. More...
Impl &	operator= (const Impl &)
	Private and unimplemented: assignment is not allowed. More...
void	copy_construct (const Impl &y)
	Exception-safe copy construction mechanism. More...

Private Attributes
dimension_type	size_
	The number of coefficients in the row. More...
T	vec_ [ 1]
	The vector of coefficients. More...

Friends
class	DB_Row< T >

Detailed Description

template<typename T>
class Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl

The real implementation of a DB_Row object.

The class DB_Row_Impl_Handler::Impl provides the implementation of DB_Row objects and, in particular, of the corresponding memory allocation functions.

Definition at line 352 of file DB_Row_defs.hh.

Constructor & Destructor Documentation

template<typename T >

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::Impl ( )

inline

Default constructor.

Definition at line 107 of file DB_Row_inlines.hh.

  : size_(0) {
}

template<typename T >

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::~Impl ( )

inline

Destructor.

Uses shrink() method with argument to delete all the row elements.

Definition at line 113 of file DB_Row_inlines.hh.

                                  {
  shrink(0);
}

template<typename T>

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::Impl ( const Impl &  y )

private

Private and unimplemented: copy construction is not allowed.

Member Function Documentation

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::bump_size ( )

inline

Increments the size of *this by 1.

Definition at line 101 of file DB_Row_inlines.hh.

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::construct_upward_approximation().

                                      {
  ++size_;
}

template<typename T >

template<typename U >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::construct_upward_approximation

(

const U &

y

)

Exception-safe upward approximation construction mechanism for coefficients.

Definition at line 34 of file DB_Row_templates.hh.

References Parma_Polyhedra_Library::assign_r(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::bump_size(), Parma_Polyhedra_Library::construct(), Parma_Polyhedra_Library::ROUND_UP, and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::vec_.

                                                                     {
  const dimension_type y_size = y.size();
#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  // Construct in direct order: will destroy in reverse order.
  for (dimension_type i = 0; i < y_size; ++i) {
    construct(vec_[i], y[i], ROUND_UP);
    bump_size();
  }
#else // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  if (y_size > 0) {
    assign_r(vec_[0], y[0], ROUND_UP);
    bump_size();
    // Construct in direct order: will destroy in reverse order.
    for (dimension_type i = 1; i < y_size; ++i) {
      construct(vec_[i], y[i], ROUND_UP);
      bump_size();
    }
  }
#endif // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
}

template<typename T>

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::copy_construct ( const Impl &  y )

private

Exception-safe copy construction mechanism.

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::copy_construct_coefficients

(

const Impl &

y

)

Exception-safe copy construction mechanism for coefficients.

Definition at line 96 of file DB_Row_templates.hh.

References Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size(), and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::vec_.

                                                                     {
  const dimension_type y_size = y.size();
#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  // Construct in direct order: will destroy in reverse order.
  for (dimension_type i = 0; i < y_size; ++i) {
    new(&vec_[i]) T(y.vec_[i]);
    bump_size();
  }
#else // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  if (y_size > 0) {
    vec_[0] = y.vec_[0];
    bump_size();
    // Construct in direct order: will destroy in reverse order.
    for (dimension_type i = 1; i < y_size; ++i) {
      new(&vec_[i]) T(y.vec_[i]);
      bump_size();
    }
  }
#endif // PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
}

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::expand_within_capacity

(

dimension_type

new_size

)

Expands the row to size new_size.

It is assumed that new_size is between the current size and capacity.

Definition at line 58 of file DB_Row_templates.hh.

References Parma_Polyhedra_Library::assign_r(), Parma_Polyhedra_Library::PLUS_INFINITY, and Parma_Polyhedra_Library::ROUND_NOT_NEEDED.

                                                          {
  PPL_ASSERT(size() <= new_size && new_size <= max_size());
#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  if (size() == 0 && new_size > 0) {
    // vec_[0] is already constructed: we just need to assign +infinity.
    assign_r(vec_[0], PLUS_INFINITY, ROUND_NOT_NEEDED);
    bump_size();
  }
#endif
  // Construct in direct order: will destroy in reverse order.
  for (dimension_type i = size(); i < new_size; ++i) {
    new(&vec_[i]) T(PLUS_INFINITY, ROUND_NOT_NEEDED);
    bump_size();
  }
}

template<typename T >

memory_size_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::external_memory_in_bytes

(

)

const

Returns the size in bytes of the memory managed by *this.

Definition at line 119 of file DB_Row_templates.hh.

References Parma_Polyhedra_Library::external_memory_in_bytes().

                                                           {
  memory_size_type n = 0;
  for (dimension_type i = size(); i-- > 0; ) {
    n += Parma_Polyhedra_Library::external_memory_in_bytes(vec_[i]);
  }
  return n;
}

template<typename T >

dimension_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::max_size ( )

inlinestatic

Returns the size() of the largest possible Impl.

Definition at line 83 of file DB_Row_inlines.hh.

Referenced by Parma_Polyhedra_Library::DB_Row< T >::max_size().

                                     {
  return std::numeric_limits<size_t>::max() / sizeof(T);
}

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator delete ( void *  p )

inlinestatic

Uses the standard delete operator to free the memory p points to.

Definition at line 50 of file DB_Row_inlines.hh.

                                                   {
  ::operator delete(p);
}

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator delete ( void *  p, dimension_type  capacity  )

inlinestatic

Placement version: uses the standard operator delete to free the memory p points to.

Definition at line 56 of file DB_Row_inlines.hh.

                                                                   {
  ::operator delete(p);
}

template<typename T >

void * Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator new ( size_t  fixed_size, dimension_type  capacity  )

inlinestatic

Allocates a chunk of memory able to contain capacity T objects beyond the specified fixed_size and returns a pointer to the new allocated memory.

Definition at line 38 of file DB_Row_inlines.hh.

                                                                          {
#if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  return ::operator new(fixed_size + capacity*sizeof(T));
#else
  PPL_ASSERT(capacity >= 1);
  return ::operator new(fixed_size + (capacity-1)*sizeof(T));
#endif
}

template<typename T>

Impl& Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator= ( const Impl &  )

private

Private and unimplemented: assignment is not allowed.

template<typename T >

T & Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator[] ( dimension_type  k )

inline

Returns a reference to the element of *this indexed by k.

Definition at line 134 of file DB_Row_inlines.hh.

References Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size(), and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::vec_.

                                                             {
  PPL_ASSERT(k < size());
  return vec_[k];
}

template<typename T >

const T & Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator[] ( dimension_type  k ) const

inline

Returns a constant reference to the element of *this indexed by k.

Definition at line 141 of file DB_Row_inlines.hh.

                                                                   {
  PPL_ASSERT(k < size());
  return vec_[k];
}

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::set_size ( dimension_type  new_sz )

inline

Sets to new_sz the actual size of *this.

Definition at line 95 of file DB_Row_inlines.hh.

                                                                {
  size_ = new_sz;
}

template<typename T >

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::shrink

(

dimension_type

new_size

)

Shrinks the row by erasing elements at the end.

It is assumed that new_size is not greater than the current size.

Definition at line 76 of file DB_Row_templates.hh.

                                                          {
  const dimension_type old_size = size();
  PPL_ASSERT(new_size <= old_size);
  // Since ~T() does not throw exceptions, nothing here does.
  set_size(new_size);
#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
  // Make sure we do not try to destroy vec_[0].
  if (new_size == 0) {
    ++new_size;
  }
#endif
  // We assume construction was done "forward".
  // We thus perform destruction "backward".
  for (dimension_type i = old_size; i-- > new_size; ) {
    vec_[i].~T();
  }
}

template<typename T >

dimension_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size ( ) const

inline

Returns the actual size of this.

Definition at line 89 of file DB_Row_inlines.hh.

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::copy_construct_coefficients(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator[](), and Parma_Polyhedra_Library::DB_Row< T >::size().

                                       {
  return size_;
}

template<typename T >

memory_size_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::total_memory_in_bytes ( ) const

inline

Returns a lower bound to the total size in bytes of the memory occupied by *this.

Definition at line 75 of file DB_Row_inlines.hh.

References Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size_.

                                                        {
  // In general, this is a lower bound, as the capacity of *this
  // may be strictly greater than `size_'
  return total_memory_in_bytes(size_);
}

template<typename T >

memory_size_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::total_memory_in_bytes ( dimension_type  capacity ) const

inline

Returns the total size in bytes of the memory occupied by *this.

Definition at line 63 of file DB_Row_inlines.hh.

References Parma_Polyhedra_Library::external_memory_in_bytes().

                                                     {
  return
    sizeof(*this)
    + capacity*sizeof(T)
#if !PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
    - 1*sizeof(T)
#endif
    + external_memory_in_bytes();
}

Friends And Related Function Documentation

template<typename T>

friend class DB_Row< T >

friend

Definition at line 443 of file DB_Row_defs.hh.

Member Data Documentation

template<typename T>

dimension_type Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size_

private

The number of coefficients in the row.

Definition at line 446 of file DB_Row_defs.hh.

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::total_memory_in_bytes().

template<typename T>

T Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::vec_[ 1 ]

private

The vector of coefficients.

Definition at line 455 of file DB_Row_defs.hh.

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::construct_upward_approximation(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::copy_construct_coefficients(), and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator[]().

---

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

• DB_Row_defs.hh
• DB_Row_inlines.hh
• DB_Row_templates.hh