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