#include "tgba.hh"
#include "tgbaalgos/scc.hh"
Go to the source code of this file.
Classes | |
class | spot::tgba_scc |
Wrap a tgba to offer information about strongly connected components.This class is a spot::tgba wrapper that simply add a new method scc_of_state() to retrieve the number of a SCC a state belongs to. More... | |
Namespaces | |
namespace | spot |