|
Go to the documentation of this file.
23 using namespace faudes;
42 StateSet::Iterator sit;
52 while(!todo.empty()) {
56 const Idx current = todo.top();
64 accessible_states. Insert(current);
71 while (tit != tit_end) {
74 if(!accessible_states. Exists(tit->X2)) {
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|