otawa::dfa::hai::WideningFixPoint< Listener >::FixPointState Class Reference

#include <otawa/dfa/hai/WideningFixPoint.h>

Public Member Functions
	FixPointState (const Domain &bottom)

Public Attributes
Domain	headerState

Constructor & Destructor Documentation

template<class Listener>

otawa::dfa::hai::WideningFixPoint< Listener >::FixPointState::FixPointState ( const Domain &  bottom )

inline

Member Data Documentation

template<class Listener>

Domain otawa::dfa::hai::WideningFixPoint< Listener >::FixPointState::headerState

Referenced by otawa::dfa::hai::WideningFixPoint< Listener >::fixPoint().

---

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

• include/otawa/dfa/hai/WideningFixPoint.h