spot
0.8.2
|
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 |