apron::lincons1_array Class Reference

Array of linear constraints (ap_lincons1_array_t wrapper). More...

#include <apxx_lincons1.hh>

Inherits apron::use_malloc.

Public Member Functions
Constructors
	lincons1_array (const environment &e, const lincons0_array &x)
	Creates a new constraint array from a lincons0_array (copied) and an environment (reference count incremented) associating names to dimensions.
	lincons1_array (const environment &e, size_t size)
	Creates a new array of the given size containing uninitialized constraints.
	lincons1_array (const lincons1_array &x)
	(Deep) copy.
	lincons1_array (const lincons1_array &x, const environment &e)
	Makes a (deep) copy of x and extends its environment.
	lincons1_array (size_t size, const lincons1 x[])
	Creates a lincons1_array from an array (of size >0) of constraints of the given size (copied).
	lincons1_array (const std::vector< lincons1 > &x)
	Creates a lincons1_array from an vector (of size >0) of constraints of the given size (copied).
Destructor
	~lincons1_array ()
	Frees the space used by the array and all its constraints, and decrements the reference count of the environment.
Assignments
lincons1_array &	operator= (const lincons1_array &x)
	(Deep) copy.
lincons1_array &	operator= (const lincons1 x[])
	Copies the constraints from the array into *this.
lincons1_array &	operator= (const std::vector< lincons1 > &x)
Dimension operations
void	resize (size_t size)
	Resizes the array.
void	extend_environment (const environment &e)
	Extends the environment of all expressions in array.
Accesses
size_t	size () const
	Returns the size of the array.
environment	get_environment () const
	Returns the environment shared by all constraints (with incremented reference count).
const lincons0_array &	get_lincons0_array () const
	Returns a reference to the underlying lincons0_array.
lincons0_array &	get_lincons0_array ()
	Returns a (modifiable) reference to the underlying lincons0_array.
lincons1	get (size_t i) const
	Returns a copy of the constraint at index i.
void	set (size_t i, const lincons1 &x)
	Changes the constraint at index i.
Conversion
	operator std::vector< lincons1 > () const
	Returns a copy of the linear constraints in the form of a vector.
C API compatibility
const ap_lincons1_array_t *	get_ap_lincons1_array_t () const
	Returns a pointer to the internal APRON object stored in *this.
ap_lincons1_array_t *	get_ap_lincons1_array_t ()
	Returns a pointer to the internal APRON object stored in *this.
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
	lincons1_array (ap_lincons1_array_t &a)
	Internal use only. Shallow copy (no copy of lincons0_array or environment).

Protected Attributes
ap_lincons1_array_t	a
	Structure managed by APRON.

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

Detailed Description

Array of linear constraints (ap_lincons1_array_t wrapper).

Level 1 version of linear constraint arrays. Internally, a lincons1_array wraps together a lincons0_array (memory managed) and an environment (holding a reference count). Please note that all constraints share the same environment!

Constructor & Destructor Documentation

lincons1_array() [1/7]

lincons1_array::lincons1_array ( ap_lincons1_array_t & a )

inlineprotected

Internal use only. Shallow copy (no copy of lincons0_array or environment).

lincons1_array() [2/7]

lincons1_array::lincons1_array ( const environment & e, const lincons0_array & x )

inline

Creates a new constraint array from a lincons0_array (copied) and an environment (reference count incremented) associating names to dimensions.

lincons1_array() [3/7]

lincons1_array::lincons1_array ( const environment & e, size_t size )

inline

Creates a new array of the given size containing uninitialized constraints.

has_modulo and has_linexpr will return false on all elements of the array.

• e associates a variable name to each dimension (reference count incremented).

lincons1_array() [4/7]

lincons1_array::lincons1_array ( const lincons1_array & x )

inline

(Deep) copy.

lincons1_array() [5/7]

lincons1_array::lincons1_array ( const lincons1_array & x, const environment & e )

inline

Makes a (deep) copy of x and extends its environment.

Exceptions

std::invalid_argument

if e is not a super-environment of that of x.

lincons1_array() [6/7]

apron::lincons1_array::lincons1_array ( size_t size, const lincons1 x[] )

inline

Creates a lincons1_array from an array (of size >0) of constraints of the given size (copied).

Warning

assumes that all constraints have the same environment (unchecked).

Exceptions

std::invalid_argument

if size<1.

lincons1_array() [7/7]

lincons1_array::lincons1_array ( const std::vector< lincons1 > & x )

inline

Creates a lincons1_array from an vector (of size >0) of constraints of the given size (copied).

Warning

assumes that all constraints have the same environment (unchecked).

Exceptions

std::invalid_argument

if vector size<1.

~lincons1_array()

lincons1_array::~lincons1_array ( )

inline

Frees the space used by the array and all its constraints, and decrements the reference count of the environment.

Member Function Documentation

extend_environment()

void lincons1_array::extend_environment ( const environment & e )

inline

Extends the environment of all expressions in array.

Exceptions

std::invalid_argument

if e is not a super-environment of that of *this.

get()

lincons1 lincons1_array::get ( size_t i ) const

inline

Returns a copy of the constraint at index i.

Exceptions

std::out_of_range

if i exceeds the dimension of the array.

get_ap_lincons1_array_t() [1/2]

ap_lincons1_array_t * lincons1_array::get_ap_lincons1_array_t ( )

inline

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

get_ap_lincons1_array_t() [2/2]

const ap_lincons1_array_t * lincons1_array::get_ap_lincons1_array_t ( ) const

inline

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

get_environment()

environment lincons1_array::get_environment ( ) const

inline

Returns the environment shared by all constraints (with incremented reference count).

get_lincons0_array() [1/2]

lincons0_array & lincons1_array::get_lincons0_array ( )

inline

Returns a (modifiable) reference to the underlying lincons0_array.

get_lincons0_array() [2/2]

const lincons0_array & lincons1_array::get_lincons0_array ( ) const

inline

Returns a reference to the underlying lincons0_array.

operator std::vector< lincons1 >()

lincons1_array::operator std::vector< lincons1 > ( ) const

inline

Returns a copy of the linear constraints in the form of a vector.

operator=() [1/3]

lincons1_array & lincons1_array::operator= ( const lincons1 x[] )

inline

Copies the constraints from the array into *this.

Warning

assumes that all constraints have the same environment (unchecked).

• x should contain (at least) size elements.

operator=() [2/3]

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

inline

(Deep) copy.

operator=() [3/3]

lincons1_array & lincons1_array::operator= ( const std::vector< lincons1 > & x )

inline

Copies the constraints from the vector into the array, changing its size if needed.

Warning

assumes that all constraints have the same environment (unchecked).

print()

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

inline

Prints to a C stream.

resize()

void lincons1_array::resize ( size_t size )

inline

Resizes the array.

set()

void lincons1_array::set ( size_t i, const lincons1 & x )

inline

Changes the constraint at index i.

Warning

assumes that x and *this have equal environments.

Exceptions

std::out_of_range

if i exceeds the dimension of the array.

size()

size_t lincons1_array::size ( ) const

inline

Returns the size of the array.

Member Data Documentation

a

ap_lincons1_array_t apron::lincons1_array::a

protected

Structure managed by APRON.

---

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

• /home/mine/apron/apronxx/apxx_lincons1.hh
• /home/mine/apron/apronxx/apxx_lincons1_inline.hh