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

#include <vector>
#include "ap_texpr0.h"
#include "ap_linearize.h"
#include "apxx_linexpr0.hh"
#include "apxx_environment.hh"
#include "apxx_texpr0_inline.hh"

Go to the source code of this file.

Classes
class	apron::dim
	Represents a dimension (i.e., variable by index) in an expression tree. More...
class	apron::texpr0
	Level 0 arbitrary expression tree (ap_texpr0_t wrapper). More...
class	apron::texpr0::const_iterator
	Iterators to traverse a constant expression tree. More...
class	apron::texpr0::iterator
	Iterators to traverse and mutate an expression tree. More...
class	apron::texpr0::builder
	Temporary expression nodes used when constructing a texpr0. More...

Namespaces
	apron

Functions
bool	apron::is_unop (ap_texpr_op_t op)
	Whether the operator is unary. More...
bool	apron::is_binop (ap_texpr_op_t op)
	Whether the operator is binary. More...
std::ostream &	apron::operator<< (std::ostream &os, const texpr0 &s)
void	apron::apxx_texpr0_ostream (std::ostream &os, ap_texpr0_t *a, std::vector< std::string > *names)
std::ostream &	apron::operator<< (std::ostream &os, const texpr0::const_iterator &s)
texpr0::builder	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::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	apron::neg (const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	apron::cast (const texpr0::builder &a, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	apron::floor (const texpr0::builder &a)
texpr0::builder	apron::ceil (const texpr0::builder &a)
texpr0::builder	apron::trunc (const texpr0::builder &a)
texpr0::builder	apron::sqrt (const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
texpr0::builder	apron::operator+ (const texpr0::builder &a)
texpr0::builder	apron::operator- (const texpr0::builder &a)
texpr0::builder	apron::operator+ (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	apron::operator- (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	apron::operator * (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	apron::operator/ (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	apron::operator% (const texpr0::builder &a, const texpr0::builder &b)
texpr0::builder	apron::operator^ (const texpr0::builder &a, const texpr0::builder &b)