Note that R<T> refers to a smart pointer of T. computed by traversing it.
central algorithms of the RWTH FSA toolkit are the depthfirst search (DFS) and the computation of strongly connected components (SCC).