APRONXX
0.9.12
|
#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... | |