PPL  1.2
Parma_Polyhedra_Library::Threshold_Watcher< Traits > Member List

This is the complete list of members for Parma_Polyhedra_Library::Threshold_Watcher< Traits >, including all inherited members.

add_threshold(typename Traits::Threshold threshold, const TW_Handler &handler, bool &expired_flag)Parma_Polyhedra_Library::Threshold_Watcher< Traits >privatestatic
check()Parma_Polyhedra_Library::Threshold_Watcher< Traits >privatestatic
expiredParma_Polyhedra_Library::Threshold_Watcher< Traits >private
handlerParma_Polyhedra_Library::Threshold_Watcher< Traits >private
initParma_Polyhedra_Library::Threshold_Watcher< Traits >privatestatic
operator=(const Threshold_Watcher &)Parma_Polyhedra_Library::Threshold_Watcher< Traits >private
pending_positionParma_Polyhedra_Library::Threshold_Watcher< Traits >private
remove_threshold(typename TW_Pending_List::iterator position)Parma_Polyhedra_Library::Threshold_Watcher< Traits >privatestatic
Threshold_Watcher(const typename Traits::Delta &delta, const Flag_Base *volatile &holder, Flag &flag)Parma_Polyhedra_Library::Threshold_Watcher< Traits >
Threshold_Watcher(const typename Traits::Delta &delta, void(*function)())Parma_Polyhedra_Library::Threshold_Watcher< Traits >inline
Threshold_Watcher(const Threshold_Watcher &)Parma_Polyhedra_Library::Threshold_Watcher< Traits >private
TW_Handler typedefParma_Polyhedra_Library::Threshold_Watcher< Traits >private
TW_Pending_List typedefParma_Polyhedra_Library::Threshold_Watcher< Traits >private
~Threshold_Watcher()Parma_Polyhedra_Library::Threshold_Watcher< Traits >