Model::SccAnalyzer Class Reference

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

Public Member Functions
	SccAnalyzer (Model const &model, vector< set< Node > > &sccs, set< Node > const &init, set< Node > const &restriction, set< Index > const &forbiddenEdges)
void	search (void)

Detailed Description

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

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:

• Model/ModelCheck.cc