Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl Class Reference
[C++ Language Interface]

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:

[legend]

List of all members.

Public Member Functions
	Impl ()
	Default constructor.
	~Impl ()
	Destructor.
void	expand_within_capacity (dimension_type new_size)
	Expands the row to size new_size.
void	shrink (dimension_type new_size)
	Shrinks the row by erasing elements at the end.
void	copy_construct_coefficients (const Impl &y)
	Exception-safe copy construction mechanism for coefficients.
template<typename U>
void	construct_upward_approximation (const U &y)
	Exception-safe upward approximation construction mechanism for coefficients.
memory_size_type	total_memory_in_bytes () const
	Returns a lower bound to the total size in bytes of the memory occupied by *this.
memory_size_type	total_memory_in_bytes (dimension_type capacity) const
	Returns the total size in bytes of the memory occupied by *this.
memory_size_type	external_memory_in_bytes () const
	Returns the size in bytes of the memory managed by *this.
Size accessors.
dimension_type	size () const
	Returns the actual size of this.
void	set_size (dimension_type new_sz)
	Sets to new_sz the actual size of *this.
void	bump_size ()
	Increments the size of *this by 1.
Subscript operators.
T &	operator[] (dimension_type k)
	Returns a reference to the element of *this indexed by k.
const T &	operator[] (dimension_type k) const
	Returns a constant reference to the element of *this indexed by k.
Static Public Member Functions
static dimension_type	max_size ()
	Returns the size() of the largest possible Impl.
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.
static void	operator delete (void *p)
	Uses the standard delete operator to free the memory p points to.
static void	operator delete (void *p, dimension_type capacity)
	Placement version: uses the standard operator delete to free the memory p points to.
Private Member Functions
	Impl (const Impl &y)
	Private and unimplemented: copy construction is not allowed.
Impl &	operator= (const Impl &)
	Private and unimplemented: assignment is not allowed.
void	copy_construct (const Impl &y)
	Exception-safe copy construction mechanism.
Private Attributes
dimension_type	size_
	The number of coefficients in the row.
T	vec_ [1]
	The vector of coefficients.
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 336 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 104 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 110 of file DB_Row.inlines.hh.

References Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::shrink().

                                  {
  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::operator new	(	size_t	fixed_size,
		dimension_type	capacity
	)			[inline, static]

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 35 of file DB_Row.inlines.hh.

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

template<typename T>

void Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator delete

(

void *

p

)

[inline, static]

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

Definition at line 47 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
	)			[inline, static]

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

Definition at line 53 of file DB_Row.inlines.hh.

                                                                   {
  ::operator delete(p);
}

template<typename T>

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

(

dimension_type

new_size

)

[inline]

Expands the row to size new_size.

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

Definition at line 56 of file DB_Row.templates.hh.

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

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

                                                          {
  assert(size() <= new_size && new_size <= max_size());
#if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS
  // vec_[0] is already constructed.
  if (size() == 0 && new_size > 0)
    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>

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

(

dimension_type

new_size

)

[inline]

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 72 of file DB_Row.templates.hh.

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

Referenced by Parma_Polyhedra_Library::DB_Row< T >::shrink(), and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::~Impl().

                                                          {
  const dimension_type old_size = size();
  assert(new_size <= old_size);
  // Since ~T() does not throw exceptions, nothing here does.
  set_size(new_size);
#if !PPL_CXX_SUPPORTS_FLEXIBLE_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>

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

(

const Impl &

y

)

[inline]

Exception-safe copy construction mechanism for coefficients.

Definition at line 90 of file DB_Row.templates.hh.

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

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

                                                                     {
  const dimension_type y_size = y.size();
#if PPL_CXX_SUPPORTS_FLEXIBLE_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_FLEXIBLE_ARRAYS
  assert(y_size > 0);
  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_FLEXIBLE_ARRAYS
}

template<typename T>

template<typename U>

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

(

const U &

y

)

[inline]

Exception-safe upward approximation construction mechanism for coefficients.

Definition at line 31 of file DB_Row.templates.hh.

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

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

                                                                     {
  const dimension_type y_size = y.size();
#if PPL_CXX_SUPPORTS_FLEXIBLE_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_FLEXIBLE_ARRAYS
  assert(y_size > 0);
  if (y_size > 0) {
    vec_[0] = y[0];
    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_FLEXIBLE_ARRAYS
}

template<typename T>

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

(

)

[inline, static]

Returns the size() of the largest possible Impl.

Definition at line 80 of file DB_Row.inlines.hh.

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

                                     {
  return size_t(-1)/sizeof(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 86 of file DB_Row.inlines.hh.

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

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

                                       {
  return size_;
}

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 92 of file DB_Row.inlines.hh.

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

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

                                                                {
  size_ = new_sz;
}

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 98 of file DB_Row.inlines.hh.

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

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::expand_within_capacity().

                                      {
  ++size_;
}

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 131 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_.

                                                             {
  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 138 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_.

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

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 72 of file DB_Row.inlines.hh.

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

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

                                                        {
  // 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 60 of file DB_Row.inlines.hh.

References Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::external_memory_in_bytes().

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

template<typename T>

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

(

)

const [inline]

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

Definition at line 114 of file DB_Row.templates.hh.

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

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::total_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>

Impl& Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator=

(

const Impl &

)

[private]

Private and unimplemented: assignment is not allowed.

template<typename T>

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

(

const Impl &

y

)

[private]

Exception-safe copy construction mechanism.

---

Friends And Related Function Documentation

template<typename T>

friend class DB_Row< T > [friend]

Definition at line 427 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 430 of file DB_Row.defs.hh.

Referenced by Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::bump_size(), Parma_Polyhedra_Library::DB_Row< T >::end(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::set_size(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::size(), and 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 437 of file DB_Row.defs.hh.

Referenced by Parma_Polyhedra_Library::DB_Row< T >::begin(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::construct_upward_approximation(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::copy_construct_coefficients(), Parma_Polyhedra_Library::DB_Row< T >::end(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::expand_within_capacity(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::external_memory_in_bytes(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::operator[](), and Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::shrink().

---

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

• DB_Row.defs.hh
• DB_Row.inlines.hh
• DB_Row.templates.hh