apron::id Struct Reference

The identity permutation, to simplify initialisations and assignments. More...

#include <apxx_dimension.hh>

Public Member Functions
	id (size_t size)

Public Attributes
size_t	size
	Size of the permutation. More...

Detailed Description

The identity permutation, to simplify initialisations and assignments.

Constructor & Destructor Documentation

id()

apron::id::id ( size_t  size )

inline

Member Data Documentation

size

size_t apron::id::size

Size of the permutation.

---

The documentation for this struct was generated from the following file:

• /home/mine/apron/apronxx/apxx_dimension.hh