/home/mine/apron/apronxx/apxx_abstract1_inline.hh File Reference

Go to the source code of this file.

Functions
void	printdiff (manager &m, const abstract1 &x, const abstract1 &y, FILE *stream=stdout)
std::ostream &	operator<< (std::ostream &os, const abstract1 &s)
abstract1 &	deserialize (manager &m, abstract1 &dst, const std::string &s, size_t *eaten=NULL)
bool	operator== (const abstract1 &x, const abstract1 &y)
bool	operator!= (const abstract1 &x, const abstract1 &y)
bool	operator<= (const abstract1 &x, const abstract1 &y)
bool	operator>= (const abstract1 &x, const abstract1 &y)
bool	operator> (const abstract1 &x, const abstract1 &y)
bool	operator< (const abstract1 &x, const abstract1 &y)
abstract1 &	unify (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	meet (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	meet (manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)
abstract1 &	meet (manager &m, abstract1 &dst, size_t sz, const abstract1 *const x[])
abstract1 &	join (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	join (manager &m, abstract1 &dst, size_t sz, const abstract1 *const x[])
abstract1 &	join (manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)
abstract1 &	meet (manager &m, abstract1 &dst, const abstract1 &x, const lincons1_array &y)
abstract1 &	meet (manager &m, abstract1 &dst, const abstract1 &x, const tcons1_array &y)
abstract1 &	add_rays (manager &m, abstract1 &dst, const abstract1 &x, const generator1_array &y)
static ap_abstract1_t *	ap_abstract1_t_or_null (const abstract1 &i)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, const var &v, bool project=false)
abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], bool project=false)
abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, bool project=false)
abstract1 &	change_environment (manager &m, abstract1 &dst, const abstract1 &src, const environment &e, bool project=false)
abstract1 &	minimize_environment (manager &m, abstract1 &dst, const abstract1 &src)
abstract1 &	rename (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var oldv[], const var newv[])
abstract1 &	rename (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &oldv, const std::vector< var > &newv)
abstract1 &	expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, size_t size, const var vv[])
abstract1 &	expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const std::vector< var > &vv)
abstract1 &	fold (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var vv[])
abstract1 &	fold (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &vv)
abstract1 &	widening (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	widening (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y, const lincons1_array &l)
abstract1 &	closure (manager &m, abstract1 &dst, const abstract1 &src)

Function Documentation

add_rays()

abstract1 & add_rays ( manager & m, abstract1 & dst, const abstract1 & x, const generator1_array & y )

inline

ap_abstract1_t_or_null()

static ap_abstract1_t * ap_abstract1_t_or_null ( const abstract1 & i )

inlinestatic

assign() [1/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & v, const std::vector< const linexpr1 * > & l, const abstract1 & inter = abstract1::null )

inline

assign() [2/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & v, const std::vector< const texpr1 * > & l, const abstract1 & inter = abstract1::null )

inline

assign() [3/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, const linexpr1 & l, const abstract1 & inter = abstract1::null )

inline

assign() [4/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, const texpr1 & l, const abstract1 & inter = abstract1::null )

inline

assign() [5/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 & inter = abstract1::null )

inline

assign() [6/6]

abstract1 & assign ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var v[], const texpr1 *const l[], const abstract1 & inter = abstract1::null )

inline

change_environment()

abstract1 & change_environment ( manager & m, abstract1 & dst, const abstract1 & src, const environment & e, bool project = false )

inline

closure()

abstract1 & closure ( manager & m, abstract1 & dst, const abstract1 & src )

inline

deserialize()

abstract1 & deserialize ( manager & m, abstract1 & dst, const std::string & s, size_t * eaten = NULL )

inline

expand() [1/2]

abstract1 & expand ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, const std::vector< var > & vv )

inline

expand() [2/2]

abstract1 & expand ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, size_t size, const var vv[] )

inline

fold() [1/2]

abstract1 & fold ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & vv )

inline

fold() [2/2]

abstract1 & fold ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var vv[] )

inline

forget() [1/3]

abstract1 & forget ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & v, bool project = false )

inline

forget() [2/3]

abstract1 & forget ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, bool project = false )

inline

forget() [3/3]

abstract1 & forget ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var v[], bool project = false )

inline

join() [1/3]

abstract1 & join ( manager & m, abstract1 & dst, const abstract1 & x, const abstract1 & y )

inline

join() [2/3]

abstract1 & join ( manager & m, abstract1 & dst, const std::vector< const abstract1 * > & x )

inline

join() [3/3]

abstract1 & join ( manager & m, abstract1 & dst, size_t sz, const abstract1 *const x[] )

inline

meet() [1/5]

abstract1 & meet ( manager & m, abstract1 & dst, const abstract1 & x, const abstract1 & y )

inline

meet() [2/5]

abstract1 & meet ( manager & m, abstract1 & dst, const abstract1 & x, const lincons1_array & y )

inline

meet() [3/5]

abstract1 & meet ( manager & m, abstract1 & dst, const abstract1 & x, const tcons1_array & y )

inline

meet() [4/5]

abstract1 & meet ( manager & m, abstract1 & dst, const std::vector< const abstract1 * > & x )

inline

meet() [5/5]

abstract1 & meet ( manager & m, abstract1 & dst, size_t sz, const abstract1 *const x[] )

inline

minimize_environment()

abstract1 & minimize_environment ( manager & m, abstract1 & dst, const abstract1 & src )

inline

operator!=()

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

inline

operator<()

bool operator< ( const abstract1 & x, const abstract1 & y )

inline

operator<<()

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

inline

operator<=()

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

inline

operator==()

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

inline

operator>()

bool operator> ( const abstract1 & x, const abstract1 & y )

inline

operator>=()

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

inline

printdiff()

void printdiff ( manager & m, const abstract1 & x, const abstract1 & y, FILE * stream = stdout )

inline

rename() [1/2]

abstract1 & rename ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & oldv, const std::vector< var > & newv )

inline

rename() [2/2]

abstract1 & rename ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var oldv[], const var newv[] )

inline

substitute() [1/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & v, const std::vector< const linexpr1 * > & l, const abstract1 & inter = abstract1::null )

inline

substitute() [2/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, const std::vector< var > & v, const std::vector< const texpr1 * > & l, const abstract1 & inter = abstract1::null )

inline

substitute() [3/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, const linexpr1 & l, const abstract1 & inter = abstract1::null )

inline

substitute() [4/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, const var & v, const texpr1 & l, const abstract1 & inter = abstract1::null )

inline

substitute() [5/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 & inter = abstract1::null )

inline

substitute() [6/6]

abstract1 & substitute ( manager & m, abstract1 & dst, const abstract1 & src, size_t size, const var v[], const texpr1 *const l[], const abstract1 & inter = abstract1::null )

inline

unify()

abstract1 & unify ( manager & m, abstract1 & dst, const abstract1 & x, const abstract1 & y )

inline

widening() [1/2]

abstract1 & widening ( manager & m, abstract1 & dst, const abstract1 & x, const abstract1 & y )

inline

widening() [2/2]

abstract1 & widening ( manager & m, abstract1 & dst, const abstract1 & x, const abstract1 & y, const lincons1_array & l )

inline