APRONXX  0.9.7
Functions
/builddir/build/BUILD/apron-0.9.10/apronxx/apxx_environment_inline.hh File Reference

Go to the source code of this file.

Functions

static ap_var_t * apxx_environment_get_names (const std::vector< var > &n)
 
static void apxx_environment_get_names_pair (const std::vector< std::pair< var, var > > &n, ap_var_t **x, ap_var_t **y)
 
environment lce (const environment &x, const environment &y)
 
environment lce (const environment &x, const environment &y, dimchange &chgx, dimchange &chgy)
 
environment lce (const std::vector< environment > &x)
 
environment lce (const environment *env, size_t env_size)
 
environment lce (const std::vector< environment > &x, std::vector< dimchange > &chg)
 
environment lce (const environment *env, dimchange *chg, size_t env_size)
 
dimchange get_dimchange (const environment &x, const environment &y)
 
bool operator== (const environment &x, const environment &y)
 
bool operator!= (const environment &x, const environment &y)
 
bool operator<= (const environment &x, const environment &y)
 
bool operator>= (const environment &x, const environment &y)
 
int cmp (const environment &x, const environment &y)
 
std::ostream & operator<< (std::ostream &os, const environment &s)
 

Function Documentation

static ap_var_t* apxx_environment_get_names ( const std::vector< var > &  n)
inlinestatic
static void apxx_environment_get_names_pair ( const std::vector< std::pair< var, var > > &  n,
ap_var_t **  x,
ap_var_t **  y 
)
inlinestatic
int cmp ( const environment &  x,
const environment &  y 
)
inline
dimchange get_dimchange ( const environment &  x,
const environment &  y 
)
inline
environment lce ( const environment &  x,
const environment &  y 
)
inline
environment lce ( const environment &  x,
const environment &  y,
dimchange &  chgx,
dimchange &  chgy 
)
inline
environment lce ( const std::vector< environment > &  x)
inline
environment lce ( const environment *  env,
size_t  env_size 
)
inline
environment lce ( const std::vector< environment > &  x,
std::vector< dimchange > &  chg 
)
inline
environment lce ( const environment *  env,
dimchange *  chg,
size_t  env_size 
)
inline
bool operator!= ( const environment &  x,
const environment &  y 
)
inline
std::ostream& operator<< ( std::ostream &  os,
const environment &  s 
)
inline
bool operator<= ( const environment &  x,
const environment &  y 
)
inline
bool operator== ( const environment &  x,
const environment &  y 
)
inline
bool operator>= ( const environment &  x,
const environment &  y 
)
inline