Otawa
0.10
|
Public Member Functions | |
state_t (value_t **r, node_t *m) | |
void * | operator new (size_t size, StackAllocator &alloc) |
Public Attributes | |
value_t ** | regs |
node_t * | mem |
|
inline |
|
inline |
node_t* otawa::dfa::FastState< D >::state_t::mem |
Referenced by otawa::dfa::FastState< D >::combine(), otawa::dfa::FastState< D >::equals(), otawa::dfa::FastState< D >::join(), otawa::dfa::FastState< D >::load(), otawa::dfa::FastState< D >::map(), otawa::dfa::FastState< D >::print(), otawa::dfa::FastState< D >::set(), and otawa::dfa::FastState< D >::store().
value_t** otawa::dfa::FastState< D >::state_t::regs |
Referenced by otawa::dfa::FastState< D >::combine(), otawa::dfa::FastState< D >::equals(), otawa::dfa::FastState< D >::join(), otawa::dfa::FastState< D >::map(), otawa::dfa::FastState< D >::print(), otawa::dfa::FastState< D >::set(), otawa::dfa::FastState< D >::store(), and otawa::dfa::FastState< D >::storeAtTop().