/home/mine/apron/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

apxx_environment_get_names()

static ap_var_t* apxx_environment_get_names ( const std::vector< var > &  n )

inlinestatic

apxx_environment_get_names_pair()

static void apxx_environment_get_names_pair ( const std::vector< std::pair< var, var > > &  n, ap_var_t **  x, ap_var_t **  y  )

inlinestatic

cmp()

int cmp ( const environment &  x, const environment &  y  )

inline

get_dimchange()

dimchange get_dimchange ( const environment &  x, const environment &  y  )

inline

lce() [1/6]

environment lce ( const environment &  x, const environment &  y  )

inline

lce() [2/6]

environment lce ( const environment &  x, const environment &  y, dimchange &  chgx, dimchange &  chgy  )

inline

lce() [3/6]

environment lce ( const std::vector< environment > &  x )

inline

lce() [4/6]

environment lce ( const environment *  env, size_t  env_size  )

inline

lce() [5/6]

environment lce ( const std::vector< environment > &  x, std::vector< dimchange > &  chg  )

inline

lce() [6/6]

environment lce ( const environment *  env, dimchange *  chg, size_t  env_size  )

inline

operator!=()

bool operator!= ( const environment &  x, const environment &  y  )

inline

operator<<()

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

inline

operator<=()

bool operator<= ( const environment &  x, const environment &  y  )

inline

operator==()

bool operator== ( const environment &  x, const environment &  y  )

inline

operator>=()

bool operator>= ( const environment &  x, const environment &  y  )

inline