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

Go to the source code of this file.

Functions
void	apxx_texpr0_env_ostream (std::ostream &os, ap_environment_t *env, ap_texpr0_t *a)
std::ostream &	operator<< (std::ostream &os, const texpr1 &s)
std::ostream &	operator<< (std::ostream &os, const texpr1::const_iterator &s)
texpr1::builder	unary (ap_texpr_op_t op, const texpr1::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	binary (ap_texpr_op_t op, const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	add (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	sub (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	mul (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	div (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	mod (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	pow (const texpr1::builder &a, const texpr1::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	neg (const texpr1::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	cast (const texpr1::builder &a, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	floor (const texpr1::builder &a)
texpr1::builder	ceil (const texpr1::builder &a)
texpr1::builder	trunc (const texpr1::builder &a)
texpr1::builder	sqrt (const texpr1::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	operator+ (const texpr1::builder &a)
texpr1::builder	operator- (const texpr1::builder &a)
texpr1::builder	operator+ (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	operator- (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	operator* (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	operator/ (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	operator% (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	operator^ (const texpr1::builder &a, const texpr1::builder &b)

Function Documentation

add()

texpr1::builder add ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

apxx_texpr0_env_ostream()

void apxx_texpr0_env_ostream ( std::ostream & os, ap_environment_t * env, ap_texpr0_t * a )

extern

binary()

texpr1::builder binary ( ap_texpr_op_t op, const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

cast()

texpr1::builder cast ( const texpr1::builder & a, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

ceil()

texpr1::builder ceil ( const texpr1::builder & a )

inline

div()

texpr1::builder div ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

floor()

texpr1::builder floor ( const texpr1::builder & a )

inline

mod()

texpr1::builder mod ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

mul()

texpr1::builder mul ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

neg()

texpr1::builder neg ( const texpr1::builder & a, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

operator%()

texpr1::builder operator% ( const texpr1::builder & a, const texpr1::builder & b )

inline

operator*()

texpr1::builder operator* ( const texpr1::builder & a, const texpr1::builder & b )

inline

operator+() [1/2]

texpr1::builder operator+ ( const texpr1::builder & a )

inline

operator+() [2/2]

texpr1::builder operator+ ( const texpr1::builder & a, const texpr1::builder & b )

inline

operator-() [1/2]

texpr1::builder operator- ( const texpr1::builder & a )

inline

operator-() [2/2]

texpr1::builder operator- ( const texpr1::builder & a, const texpr1::builder & b )

inline

operator/()

texpr1::builder operator/ ( const texpr1::builder & a, const texpr1::builder & b )

inline

operator<<() [1/2]

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

inline

operator<<() [2/2]

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

inline

operator^()

texpr1::builder operator^ ( const texpr1::builder & a, const texpr1::builder & b )

inline

pow()

texpr1::builder pow ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

sqrt()

texpr1::builder sqrt ( const texpr1::builder & a, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

sub()

texpr1::builder sub ( const texpr1::builder & a, const texpr1::builder & b, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline

trunc()

texpr1::builder trunc ( const texpr1::builder & a )

inline

unary()

texpr1::builder unary ( ap_texpr_op_t op, const texpr1::builder & a, ap_texpr_rtype_t rtype = AP_RTYPE_REAL, ap_texpr_rdir_t rdir = AP_RDIR_NEAREST )

inline