APRONXX  0.9.12
Classes | Namespaces
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_dimension.hh File Reference
#include "ap_dimension.h"
#include "apxx_dimension_inline.hh"

Go to the source code of this file.

Classes

class  apron::varname
 Stream modifier to set variable names to dimensions. More...
 
class  apron::dimchange
 Dimension change object (ap_dimchange_t wrapper). More...
 
struct  apron::id
 The identity permutation, to simplify initialisations and assignments. More...
 
class  apron::dimperm
 Dimension permutation object (ap_dimperm_t wrapper). More...
 

Namespaces

 apron