apron::bottom Struct Reference

Empty interval or domain, to simplify initialisations and assignments. More...

#include <apxx_interval.hh>

Public Member Functions
	bottom ()

Detailed Description

Empty interval or domain, to simplify initialisations and assignments.

Constructor & Destructor Documentation

bottom()

apron::bottom::bottom ( )

inline

---

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

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