apron::top Struct Reference

Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments. More...

#include <apxx_interval.hh>

Public Member Functions
	top ()

Detailed Description

Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments.

Constructor & Destructor Documentation

top()

apron::top::top ( )

inline

---

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

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