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