|
|
||||||
|
faudes::TopoSort Class Reference Detailed DescriptionThe TopoSort class perform a topological sort on states of a given automaton. if s1 is before s2 in the sort then there is no path from s2 to s1. The algorithm can be found in https://en.wikipedia.org/wiki/Topological_sorting under depth-first search, which is considered as first invented by R. Tarjan in 1976. Definition at line 265 of file cfl_bisimcta.cpp.
Constructor & Destructor Documentation◆ TopoSort()Definition at line 377 of file cfl_bisimcta.cpp. Member Function Documentation◆ Sort()
Definition at line 397 of file cfl_bisimcta.cpp. ◆ Visit()
Definition at line 408 of file cfl_bisimcta.cpp. Member Data Documentation◆ mGen
Definition at line 280 of file cfl_bisimcta.cpp. ◆ mResult
Definition at line 283 of file cfl_bisimcta.cpp. ◆ mStates
Definition at line 282 of file cfl_bisimcta.cpp. ◆ nxidx
Definition at line 281 of file cfl_bisimcta.cpp. The documentation for this class was generated from the following file: libFAUDES 2.33l --- 2025.09.16 --- c++ api documentaion by doxygen |