Information required for non-recursive checking for a single scc. More...
#include <base.hpp>
List of all members.
Information required for non-recursive checking for a single scc.
Definition at line 59 of file base.hpp.
Definition at line 60 of file base.hpp.