#include "ap_dimension.h"
#include "apxx_dimension_inline.hh"

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

Functions
template<class charT , class Traits >
std::basic_ostream< charT, Traits > &	apron::operator<< (std::basic_ostream< charT, Traits > &os, const varname &v)

template<class charT , class Traits >
std::vector< std::string > *	apron::get_varname (std::basic_ostream< charT, Traits > &os)

std::ostream &	apron::operator<< (std::ostream &os, const dimchange &s)

std::ostream &	apron::operator<< (std::ostream &os, const dimperm &s)

dimperm	apron::operator* (const dimperm &x, const dimperm &y)

Classes

Namespaces