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... | |