#include <tgbaalgos/gtec/explscc.hh>
Inheritance diagram for spot::explicit_connected_component_factory:
Public Member Functions | |
virtual | ~explicit_connected_component_factory () |
virtual explicit_connected_component * | build () const =0 |
Create an explicit_connected_component. |
|
|
|
Create an explicit_connected_component.
Implemented in spot::connected_component_hash_set_factory. |