/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 environment * env, dimchange * chg, size_t env_size )

inline

lce() [4/6]

environment lce ( const environment * env, size_t env_size )

inline

lce() [5/6]

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

inline

lce() [6/6]

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

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