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

Go to the source code of this file.

Functions
bool	is_unop (ap_texpr_op_t op)
bool	is_binop (ap_texpr_op_t op)
std::ostream &	operator<< (std::ostream &os, const texpr0 &s)
void	apxx_texpr0_ostream (std::ostream &os, ap_texpr0_t *a, std::vector< std::string > *names)
std::ostream &	operator<< (std::ostream &os, const texpr0::const_iterator &s)
texpr0::builder	unary (ap_texpr_op_t op, const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	binary (ap_texpr_op_t op, const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	add (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	sub (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	mul (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	div (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	mod (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	pow (const texpr0::builder &a, const texpr0::builder &b, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	neg (const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	cast (const texpr0::builder &a, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	floor (const texpr0::builder &a)
texpr0::builder	ceil (const texpr0::builder &a)
texpr0::builder	trunc (const texpr0::builder &a)
texpr0::builder	sqrt (const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	operator+ (const texpr0::builder &a)
texpr0::builder	operator- (const texpr0::builder &a)
texpr0::builder	operator+ (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	operator- (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	operator * (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	operator/ (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	operator% (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	operator^ (const texpr0::builder &a, const texpr0::builder &b)

Function Documentation

add()

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

inline

apxx_texpr0_ostream()

void apxx_texpr0_ostream	(	std::ostream &	os,
		ap_texpr0_t *	a,
		std::vector< std::string > *	names
	)

binary()

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

inline

cast()

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

inline

ceil()

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

inline

div()

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

inline

floor()

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

inline

is_binop()

bool is_binop ( ap_texpr_op_t  op )

inline

is_unop()

bool is_unop ( ap_texpr_op_t  op )

inline

mod()

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

inline

mul()

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

inline

neg()

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

inline

operator *()

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

inline

operator%()

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

inline

operator+() [1/2]

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

inline

operator+() [2/2]

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

inline

operator-() [1/2]

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

inline

operator-() [2/2]

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

inline

operator/()

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

inline

operator<<() [1/2]

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

inline

operator<<() [2/2]

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

inline

operator^()

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

inline

pow()

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

inline

sqrt()

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

inline

sub()

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

inline

trunc()

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

inline

unary()

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

inline