Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::connected_component_hash_set_factory Class Reference

Factory for connected_component_hash_set. More...

#include <explscc.hh>

Inheritance diagram for spot::connected_component_hash_set_factory:

Inheritance graph
[legend]
Collaboration diagram for spot::connected_component_hash_set_factory:

Collaboration graph
[legend]
List of all members.

Public Member Functions

virtual connected_component_hash_setbuild () const
 Create an explicit_connected_component.


Static Public Member Functions

const connected_component_hash_set_factoryinstance ()
 Get the unique instance of this class.


Protected Member Functions

virtual ~connected_component_hash_set_factory ()
 connected_component_hash_set_factory ()
 Construction is forbiden.


Detailed Description

Factory for connected_component_hash_set.

This class is a singleton. Retrieve the instance using instance().


Constructor & Destructor Documentation

virtual spot::connected_component_hash_set_factory::~connected_component_hash_set_factory  )  [inline, protected, virtual]
 

spot::connected_component_hash_set_factory::connected_component_hash_set_factory  )  [protected]
 

Construction is forbiden.


Member Function Documentation

virtual connected_component_hash_set* spot::connected_component_hash_set_factory::build  )  const [virtual]
 

Create an explicit_connected_component.

Implements spot::explicit_connected_component_factory.

const connected_component_hash_set_factory* spot::connected_component_hash_set_factory::instance  )  [static]
 

Get the unique instance of this class.


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:01:56 2004 for spot by doxygen 1.3.7