WFA.cpp File Reference

Namespaces
namespace	wali
namespace	wali::wfa
Defines
#define	FOR_EACH_STATE(name)
#define	FOR_EACH_FINAL_STATE(name)

---

Define Documentation

#define FOR_EACH_STATE

(

name

)

Value:

State* name;                                            \
state_map_t::iterator name##it = state_map.begin();     \
state_map_t::iterator name##itEND = state_map.end();    \
for( ; name##it != name##itEND && (0 != (name = name##it->second)) ; name##it++ )

Author:

Nicholas Kidd

Referenced by wali::wfa::WFA::prune().

#define FOR_EACH_FINAL_STATE

(

name

)

Value:

State* name;                                                    \
std::set< Key >::iterator name##it = F.begin();                 \
std::set< Key >::iterator name##itEND = F.end();                \
for( ; name##it != name##itEND && (0 != (name = getState(*name##it))) ; name##it++ )

Referenced by wali::wfa::WFA::prune().