|
PPL
1.2
|

Go to the source code of this file.
Classes | |
| class | Parma_Polyhedra_Library::Concrete_Expression< Target > |
| The base class of all concrete expressions. More... | |
| class | Parma_Polyhedra_Library::Binary_Operator< Target > |
| A binary operator applied to two concrete expressions. More... | |
| class | Parma_Polyhedra_Library::Unary_Operator< Target > |
| A unary operator applied to one concrete expression. More... | |
| class | Parma_Polyhedra_Library::Cast_Operator< Target > |
| A cast operator converting one concrete expression to some type. More... | |
| class | Parma_Polyhedra_Library::Integer_Constant< Target > |
| An integer constant concrete expression. More... | |
| class | Parma_Polyhedra_Library::Floating_Point_Constant< Target > |
| A floating-point constant concrete expression. More... | |
| class | Parma_Polyhedra_Library::Approximable_Reference< Target > |
| A concrete expression representing a reference to some approximable. More... | |
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
Typedefs | |
| typedef int | Parma_Polyhedra_Library::Concrete_Expression_Kind |
| Encodes the kind of concrete expression. More... | |
| typedef int | Parma_Polyhedra_Library::Concrete_Expression_BOP |
| Encodes a binary operator of concrete expressions. More... | |
| typedef int | Parma_Polyhedra_Library::Concrete_Expression_UOP |
| Encodes a unary operator of concrete expressions. More... | |