PPL  1.2
Concrete_Expression_types.hh File Reference
This graph shows which files directly or indirectly include this file:

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