address_t typedef | otawa::dfa::FastState< D > | |
allocator | otawa::dfa::FastState< D > | private |
bot | otawa::dfa::FastState< D > | |
combine(t s1, t s2, W &w) | otawa::dfa::FastState< D > | inline |
dom | otawa::dfa::FastState< D > | private |
equals(t s1, t s2) | otawa::dfa::FastState< D > | inline |
FastState(D *d, dfa::State *state, StackAllocator &alloc) | otawa::dfa::FastState< D > | inline |
get(t s, register_t r) | otawa::dfa::FastState< D > | inline |
getMultiMax(void) const | otawa::dfa::FastState< D > | inline |
istate | otawa::dfa::FastState< D > | private |
join(t s1, t s2) | otawa::dfa::FastState< D > | inline |
load(t s, address_t a) | otawa::dfa::FastState< D > | inline |
load(t s, address_t a, address_t b, ot::size off) | otawa::dfa::FastState< D > | inline |
make(bool bot) | otawa::dfa::FastState< D > | inlineprivate |
map(t s, W &w) | otawa::dfa::FastState< D > | inline |
multi_max | otawa::dfa::FastState< D > | private |
node_t typedef | otawa::dfa::FastState< D > | private |
nrblock | otawa::dfa::FastState< D > | private |
print(io::Output &out, t s) | otawa::dfa::FastState< D > | inline |
rblock_mask | otawa::dfa::FastState< D > | privatestatic |
rblock_shift | otawa::dfa::FastState< D > | privatestatic |
rblock_size | otawa::dfa::FastState< D > | privatestatic |
register_t typedef | otawa::dfa::FastState< D > | |
set(t s, register_t r, value_t v) | otawa::dfa::FastState< D > | inline |
setMultiMax(int new_multi_max) | otawa::dfa::FastState< D > | inline |
stat_t typedef | otawa::dfa::FastState< D > | private |
store(t s, address_t a, value_t v) | otawa::dfa::FastState< D > | inline |
store(t s, address_t a, address_t b, ot::size off, value_t v) | otawa::dfa::FastState< D > | inline |
storeAtTop(t s) | otawa::dfa::FastState< D > | inline |
t typedef | otawa::dfa::FastState< D > | |
top | otawa::dfa::FastState< D > | |
value_t typedef | otawa::dfa::FastState< D > | |