Parma_Polyhedra_Library::Threshold_Watcher< Traits >::Initialize Struct Reference

Public Attributes
TW_Pending_List	pending
	The ordered queue of pending thresholds. More...

Detailed Description

template<typename Traits>
struct Parma_Polyhedra_Library::Threshold_Watcher< Traits >::Initialize

Definition at line 64 of file Threshold_Watcher_defs.hh.

Member Data Documentation

template<typename Traits >

TW_Pending_List Parma_Polyhedra_Library::Threshold_Watcher< Traits >::Initialize::pending

The ordered queue of pending thresholds.

Definition at line 66 of file Threshold_Watcher_defs.hh.

---

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

• Threshold_Watcher_defs.hh