Otawa
0.10
|
Public Member Functions | |
data_t (Address _fun=Address::null, int _max=undefined, int _total=undefined) | |
Public Attributes | |
Address | fun |
int | max |
int | total |
|
inline |
Address otawa::ContextualLoopBound::data_t::fun |
int otawa::ContextualLoopBound::data_t::max |
int otawa::ContextualLoopBound::data_t::total |