Variable name (ap_var_t wrapper). More...

#include <apxx_var.hh>

Public Member Functions
Constructors
Variable name.
	var (const void *x)
	Makes a variable name from a pointer (copied with ap_var_operations->copy). More...

	var (const std::string &x)
	Makes a variable name from a string (copied with ap_var_operations->copy). More...

	var (const var &x)
	Copies the variable name (calls ap_var_operations->copy). More...

Destructor
	~var ()
	Frees the variable name (calls ap_var_operations->free). More...

Assignments
var &	operator= (const var &x)
	Assigns the variable name (calls ap_var_operations->copy, ->free). More...

var &	operator= (const std::string &x)
	Assigns the variable name (calls ap_var_operations->copy, ->free). More...

var &	operator= (const void *x)
	Assigns the variable name (calls ap_var_operations->copy, ->free). More...

Conversions
	operator char * () const
	Converts to a C string (calls ap_var_operations->to_string). More...

	operator std::string () const
	Converts to a C++ string (calls ap_var_operations->to_string). More...

C API compatibility
const ap_var_t &	get_ap_var_t () const
	Returns a reference to the APRON object wrapped (no copy). More...

ap_var_t &	get_ap_var_t ()
	Returns a (modifiable) reference to the APRON object wrapped (no copy). More...

Protected Attributes
ap_var_t	v

Friends
Comparisons
int	compare (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

bool	operator== (const var &x, const var &y)
	Compares two variables names (calls ap_var_operations->to_compare). More...

bool	operator!= (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

bool	operator>= (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

bool	operator<= (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

bool	operator> (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

bool	operator< (const var &x, const var &y)
	Compares two variable names (calls ap_var_operations->to_compare). More...

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

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

Detailed Description

Variable name (ap_var_t wrapper).

A var object designates a variable name, using a void* pointer (i.e., ap_var_t). Variable names replace dimensions in all level 1 operations. Variable names can be copied, freed, compared, and converted to string. The actual implementation of these operators is defined using the global pointer ap_var_operations. By default, ap_var_operations implements dynamically allocated C-style NULL-terminated strings.

Constructor & Destructor Documentation

var::var ( const void * x )

inline

Makes a variable name from a pointer (copied with ap_var_operations->copy).

var::var ( const std::string & x )

inline

Makes a variable name from a string (copied with ap_var_operations->copy).

var::var ( const var & x )

inline

Copies the variable name (calls ap_var_operations->copy).

var::~var ( )

inline

Frees the variable name (calls ap_var_operations->free).

Member Function Documentation

const ap_var_t & apron::var::get_ap_var_t ( ) const

inline

Returns a reference to the APRON object wrapped (no copy).

ap_var_t & var::get_ap_var_t ( )

inline

Returns a (modifiable) reference to the APRON object wrapped (no copy).

var::operator char * ( ) const

inline

Converts to a C string (calls ap_var_operations->to_string).

The C string should be freed with malloc by the caller.

var::operator std::string ( ) const

inline

Converts to a C++ string (calls ap_var_operations->to_string).

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

inline

Assigns the variable name (calls ap_var_operations->copy, ->free).

var & var::operator= ( const std::string & x )

inline

Assigns the variable name (calls ap_var_operations->copy, ->free).

var & var::operator= ( const void * x )

inline

Assigns the variable name (calls ap_var_operations->copy, ->free).

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

inline

Prints to a C stream.