apron::dim Class Reference

Represents a dimension (i.e., variable by index) in an expression tree. More...

#include <apxx_texpr0.hh>

Public Member Functions
	dim (ap_dim_t d)
	Standard constructor.
	dim (const environment &e, const var &v)
	Extract dimension corresponding to variable name in given environment.

Public Attributes
ap_dim_t	d
	Dimension index.

Detailed Description

Represents a dimension (i.e., variable by index) in an expression tree.

Constructor & Destructor Documentation

dim() [1/2]

dim::dim ( ap_dim_t d )

inline

Standard constructor.

dim() [2/2]

dim::dim ( const environment & e, const var & v )

inline

Extract dimension corresponding to variable name in given environment.

Exceptions

std::invalid_argument

if the variable does not exist.

Member Data Documentation

d

ap_dim_t apron::dim::d

Dimension index.

---

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

• /home/mine/apron/apronxx/apxx_texpr0.hh
• /home/mine/apron/apronxx/apxx_texpr0_inline.hh