LTS< Tran >::SccAnalyzer< Tran > Class Template Reference

Class to compute the (maximal) SCCs of the LTS. More...

Public Member Functions
	SccAnalyzer (LTS< Tran > const &lts, SCCs &sccs, StateSet const &init, StateSet const &restriction, EdgeSet const &forbiddenEdges)
void	search (void)

Detailed Description

template<typename Tran>
template<typename Tran>
class LTS< Tran >::SccAnalyzer< Tran >

Class to compute the (maximal) SCCs of the LTS.

Implements Tarjan's algorithm. Only SCCs reachable from some state in "init" are returned. Only states that are in "restriction" and edges that are not in "forbiddenEdges" are visited.

---

The documentation for this class was generated from the following file:

• LTS/LTS.cc