#include <explscc.hh>
Inheritance diagram for spot::connected_component_hash_set_factory:
Public Member Functions | |
virtual connected_component_hash_set * | build () const |
Create an explicit_connected_component. | |
Static Public Member Functions | |
const connected_component_hash_set_factory * | instance () |
Get the unique instance of this class. | |
Protected Member Functions | |
virtual | ~connected_component_hash_set_factory () |
connected_component_hash_set_factory () | |
Construction is forbiden. |
This class is a singleton. Retrieve the instance using instance().
|
|
|
Construction is forbiden.
|
|
Create an explicit_connected_component.
Implements spot::explicit_connected_component_factory. |
|
Get the unique instance of this class.
|