array of interval(s). More...

#include <apxx_interval.hh>

Public Member Functions
Constructors
	interval_array (size_t size)
	Creates a new interval array. More...

	interval_array (const interval_array &x)
	Makes a copy of an interval array (copying all elements). More...

	interval_array (const std::vector< interval > &x)
	Makes a interval array from an interval vector (copying all elements). More...

	interval_array (size_t size, const interval x[])
	Makes a interval array from an interval array of give size (copying all elements). More...

Destructor
	~interval_array ()
	Frees the space occupied by the array and all its elements. More...

Assignments
interval_array &	operator= (const interval_array &x)
	Copies an interval array into *this. More...

interval_array &	operator= (const std::vector< interval > &x)
	Copies an interval vector into *this. More...

interval_array &	operator= (const interval x[])
	Copies an interval array into *this. More...

Conversion
	operator std::vector< interval > () const
	Makes an interval vector from an interval array (copying all elements). More...

Accesses
size_t	size () const
	Returns the array size. More...

interval **	contents ()
	Returns a pointer to the start of the array of elements used internally. More...

interval &	operator[] (size_t i)
	Returns a (modifiable) reference to an element, no bound checking. More...

const interval &	operator[] (size_t i) const
	Returns a reference to an element, no bound checking. More...

interval &	get (size_t i)

const interval &	get (size_t i) const

C API compatibility
const ap_interval_t const	get_ap_interval_t_array () const
	Returns a pointer to the internal APRON object stored in *this. More...

ap_interval_t **	get_ap_interval_t_array ()
	Returns a pointer to the internal APRON object stored in *this. More...

Public Member Functions inherited from apron::use_malloc
void *	operator new (size_t sz)

void *	operator new[] (size_t sz)

void	operator delete (void *p)

void	operator delete[] (void *p)

Protected Member Functions
	interval_array (size_t size, ap_interval_t **c)
	Internal use only. Reference an array created with ap_interval_array_alloc. More...

Protected Attributes
size_t	sz
	Array size. More...

ap_interval_t **	c
	Array of pointers to intervals. More...

Printing
std::ostream &	operator<< (std::ostream &os, const interval_array &s)
	Printing. More...

void	print (FILE *stream=stdout) const
	Prints to a C stream. More...

Detailed Description

array of interval(s).

Constructor & Destructor Documentation

interval_array::interval_array	(	size_t	size,
		ap_interval_t **	c
	)

inlineprotected

Internal use only. Reference an array created with ap_interval_array_alloc.

interval_array::interval_array ( size_t size )

inline

Creates a new interval array.

All elements are initially [0;0] intervals with double scalar bounds.

interval_array::interval_array ( const interval_array & x )

inline

Makes a copy of an interval array (copying all elements).

interval_array::interval_array ( const std::vector< interval > & x )

inline

Makes a interval array from an interval vector (copying all elements).

interval_array::interval_array	(	size_t	size,
		const interval	x[]
	)

inline

Makes a interval array from an interval array of give size (copying all elements).

interval_array::~interval_array ( )

inline

Frees the space occupied by the array and all its elements.

Member Function Documentation

interval ** interval_array::contents ( )

inline

Returns a pointer to the start of the array of elements used internally.

interval & interval_array::get ( size_t i )

inline

Returns a (modifiable) reference to an element (bound-checked).

Exceptions

std::out_of_range if the index is invalid.

const interval & apron::interval_array::get ( size_t i ) const

inline

Returns a reference to an element (bound-checked).

Exceptions

std::out_of_range if the index is invalid.

const ap_interval_t *const * apron::interval_array::get_ap_interval_t_array ( ) const

inline

Returns a pointer to the internal APRON object stored in *this.

ap_interval_t ** interval_array::get_ap_interval_t_array ( )

inline

Returns a pointer to the internal APRON object stored in *this.

interval_array::operator std::vector< interval > ( ) const

inline

Makes an interval vector from an interval array (copying all elements).

interval_array & interval_array::operator= ( const interval_array & x )

inline

Copies an interval array into *this.

All elements are copied and the array size is updated if necessary.

interval_array & interval_array::operator= ( const std::vector< interval > & x )

inline

Copies an interval vector into *this.

All elements are copied and the array size is updated if necessary.

interval_array & interval_array::operator= ( const interval x[] )

inline

Copies an interval array into *this.

The size of the interval_array is not changed. x should have enough elements to fill the interval_array.

interval & interval_array::operator[] ( size_t i )

inline

Returns a (modifiable) reference to an element, no bound checking.

const interval & apron::interval_array::operator[] ( size_t i ) const

inline

Returns a reference to an element, no bound checking.

void interval_array::print ( FILE * stream = stdout ) const

inline

Prints to a C stream.

size_t interval_array::size ( ) const

inline

Returns the array size.

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const interval_array &	s
	)

friend

Printing.

Member Data Documentation

ap_interval_t** apron::interval_array::c

protected

Array of pointers to intervals.

size_t apron::interval_array::sz

protected

Array size.

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

/builddir/build/BUILD/apron-0.9.11/apronxx/apxx_interval.hh
/builddir/build/BUILD/apron-0.9.11/apronxx/apxx_interval_inline.hh

Public Member Functions

Protected Member Functions

Protected Attributes

Printing

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation