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

#include "ap_texpr1.h"
#include "apxx_linexpr1.hh"
#include "apxx_texpr0.hh"
#include "apxx_texpr1_inline.hh"

Go to the source code of this file.

Classes
class	apron::texpr1
	Level 1 arbitrary expression tree (ap_texpr1_t wrapper). More...
class	apron::texpr1::const_iterator
	Iterators to traverse a constant expression tree. More...
class	apron::texpr1::iterator
	Iterators to traverse and mutate an expression tree. More...
class	apron::texpr1::builder
	Temporary expression nodes used when constructing a texpr1. More...

Namespaces
	apron

Functions
void	apron::apxx_texpr0_env_ostream (std::ostream &os, ap_environment_t *env, ap_texpr0_t *a)
std::ostream &	apron::operator<< (std::ostream &os, const texpr1 &s)
std::ostream &	apron::operator<< (std::ostream &os, const texpr1::const_iterator &s)
texpr1::builder	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::neg (const texpr1::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	apron::cast (const texpr1::builder &a, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	apron::floor (const texpr1::builder &a)
texpr1::builder	apron::ceil (const texpr1::builder &a)
texpr1::builder	apron::trunc (const texpr1::builder &a)
texpr1::builder	apron::sqrt (const texpr1::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr1::builder	apron::operator+ (const texpr1::builder &a)
texpr1::builder	apron::operator- (const texpr1::builder &a)
texpr1::builder	apron::operator+ (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	apron::operator- (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	apron::operator * (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	apron::operator/ (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	apron::operator% (const texpr1::builder &a, const texpr1::builder &b)
texpr1::builder	apron::operator^ (const texpr1::builder &a, const texpr1::builder &b)