APRONXX
0.9.12
|
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 | |