APRONXX  0.9.12
Classes | Namespaces | Functions
/builddir/build/BUILD/apron-0.9.13/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...