Otawa
0.10
|
#include <otawa/dfa/AbsIntLite.h>
Public Member Functions | |
DomainIter (const AbsIntLiteEx &_ail) | |
DomainIter (const DomainIter &iter) | |
bool | ended (void) const |
void | next (void) |
T::t & | item (void) |
operator bool (void) const | |
operator T (void) const | |
DomainIter & | operator++ (void) |
DomainIter & | operator++ (int) |
T | operator* (void) const |
T | operator-> (void) const |
Private Attributes | |
const AbsIntLiteEx & | ail |
int | i |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
References otawa::dfa::AbsIntLiteEx< G, T >::DomainIter::i.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
private |
Referenced by otawa::dfa::AbsIntLiteEx< G, T >::DomainIter::ended().
|
private |