Otawa
0.10
|
#include <otawa/dfa/hai/DefaultFixPoint.h>
Public Member Functions | |
FixPointState (const Domain &bottom) | |
Public Attributes | |
Domain | headerState |
|
inline |
Domain otawa::dfa::hai::DefaultFixPoint< Listener >::FixPointState::headerState |
Referenced by otawa::dfa::hai::DefaultFixPoint< Listener >::fixPoint().