PPL  1.2
Threshold_Watcher_types.hh File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Parma_Polyhedra_Library::Threshold_Watcher< Traits >
 A class of watchdogs controlling the exceeding of a threshold. More...
 

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.