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

State info class for FirstUnrollingFixPoint This FixPoint needs to remember: More...

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

Public Member Functions
	FixPointState (const Domain &bottom)

Public Attributes
Domain	headerState
Domain	firstIterState
int	numIter

Detailed Description

template<class Listener>
class otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState

State info class for FirstUnrollingFixPoint This FixPoint needs to remember:

• The loop header state (headerState)
• The current iteration number for the loop (numIter)
• The resulting state of the first iteration (firstIterState), that is, the union of the back edge states at the end of the first iteration.

Constructor & Destructor Documentation

template<class Listener>

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

inline

References otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState::numIter.

Member Data Documentation

template<class Listener>

Domain otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState::firstIterState

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

template<class Listener>

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

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

template<class Listener>

int otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState::numIter

Referenced by otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::fixPoint(), and otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState::FixPointState().

---

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

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