|
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 | |
| namespace | apron |
Functions | |
| bool | apron::is_unop (ap_texpr_op_t op) |
| Whether the operator is unary. | |
| bool | apron::is_binop (ap_texpr_op_t op) |
| Whether the operator is binary. | |