APRONXX  0.9.12
Functions
/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 
)

◆ 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
Generated on Sun Nov 10 2019 10:49:09 for APRONXX by   doxygen 1.8.15