This class can be used to solve the problem of finding strongly connected components in a directed graph. More...

Inheritance diagram for StrongConnectivityGabow:

Collaboration diagram for StrongConnectivityGabow:

Public Member Functions
	StrongConnectivityGabow (sparksee::gdb::Session &session)
	Creates a new instance of StrongConnectivityGabow. More...

virtual	~StrongConnectivityGabow ()
	Destructor.

void	Run ()
	Executes the algorithm.

virtual void	AddEdgeType (sparksee::gdb::type_t type, sparksee::gdb::EdgesDirection dir)
	Allows connectivity through edges of the given type. More...

virtual void	AddAllEdgeTypes (sparksee::gdb::EdgesDirection dir)
	Allows connectivity through all edge types of the graph. More...

virtual void	AddNodeType (sparksee::gdb::type_t t)
	Allows connectivity through nodes of the given type.

virtual void	AddAllNodeTypes ()
	Allows connectivity through all node types of the graph.

virtual void	ExcludeNodes (sparksee::gdb::Objects &nodes)
	Set which nodes can't be used. More...

virtual void	ExcludeEdges (sparksee::gdb::Objects &edges)
	Set which edges can't be used. More...

ConnectedComponents *	GetConnectedComponents ()
	Returns the results generated by the execution of the algorithm. More...

void	SetMaterializedAttribute (const std::wstring &attributeName)
	Creates a new common attribute type for all node types in the graph in order to store, persistently, the results related to the connected components found while executing this algorithm. More...

Protected Types
typedef std::map< sparksee::gdb::type_t, sparksee::gdb::EdgesDirection >	EdgeTypes_t
	A type definition to store allowed edge types.

typedef std::vector< sparksee::gdb::type_t >	NodeTypes_t
	A type definition to store allowed node types.

Protected Member Functions
void	AssertAddedEdges ()
	Check that edges had been added.

void	AssertAddedNodes ()
	Check that nodes had been added.

void	AssertNotComputed ()
	Check that the connectivity had not been calculated yet.

void	SetConnectedComponent (sparksee::gdb::oid_t idNode)
	Assigns the current component to the given node.

void	SetNodesNotVisited ()
	Set all the selected nodes in nodesNotVisited. More...

void	AssertNotComponentAttribute (const std::wstring &attributeName)
	Check that the given attribute name is not already in use.

void	AssertComputed ()
	Check that the connectivity had been calculated.

void	AssertEdgeType (sparksee::gdb::type_t edgetype)
	Check that the given edge type is valid.

void	AssertNodeType (sparksee::gdb::type_t nodetype)
	Check that the given node type is valid.

void	CreateGlobalPersistentAttribute (const std::wstring &attributeName)
	Set a new persistent global attribute to store the connectivity information.

void	CreateGlobalTransientAttribute ()
	Set a new temporary global attribute to store the connectivity information.

void	RemoveGlobalAttribute ()
	Removes the global attribute where the connectivity information is stored.

sparksee::gdb::bool_t	IsNodeTypeAllowed (sparksee::gdb::oid_t nodeId)
	Check if the given node has an allowed type.

sparksee::gdb::bool_t	IsNodeExcluded (sparksee::gdb::oid_t node)
	Check if the given node is forbidden.

sparksee::gdb::bool_t	IsEdgeExcluded (sparksee::gdb::oid_t edge)
	Check if the given edge is forbidden.

Protected Attributes
sparksee::gdb::Session *	sess
	Session.

sparksee::gdb::Graph *	graph
	Graph.

EdgeTypes_t	edgeTypes
	Allowed edge types.

std::vector< sparksee::gdb::type_t >	nodeTypes
	Allowed node types.

sparksee::gdb::attr_t	attrComponent
	common attribute where the connected component information is stored.

std::wstring	attrComponentName
	name of the common attribute where the connected component information is stored.

sparksee::gdb::int64_t	actualComponent
	Current component identifier.

sparksee::gdb::Objects *	nodesNotVisited
	Identifiers of the nodes not visited.

sparksee::gdb::bool_t	matResults
	Materialized results.

sparksee::gdb::bool_t	computed
	True if the connectivity has been calculated.

sparksee::gdb::Objects *	excludedNodes
	The set of excluded nodes.

sparksee::gdb::Objects *	excludedEdges
	The set of excluded edges.

ConnectedComponents *	ccs
	The calculated connectivity information.

Detailed Description

This class can be used to solve the problem of finding strongly connected components in a directed graph.

It consists in finding components where every pair (u,v) of nodes contained in it has a path from u to v using the specified direction for each edge type. This implementation is based on the Gabow algorithm.

It is possible to set some restrictions after constructing a new instance of this class and before running it in order to limit the results.

After the execution, we can retrieve the results stored in an instance of the ConnectedComponents class using the GetConnectedComponents method.

Check out the 'Algorithms' section in the SPARKSEE User Manual for more details on this.

Author: Sparsity Technologies http://www.sparsity-technologies.com

Constructor & Destructor Documentation

StrongConnectivityGabow::StrongConnectivityGabow ( sparksee::gdb::Session & session )

Creates a new instance of StrongConnectivityGabow.

After creating this instance is required to indicate the set of edge types and the set of node types which will be navigated through while traversing the graph in order to find the strong connected components.

Parameters

session [in] Session to get the graph from and calculate the connectivity

Member Function Documentation

virtual void StrongConnectivity::AddAllEdgeTypes ( sparksee::gdb::EdgesDirection dir )

virtualinherited

Allows connectivity through all edge types of the graph.

Parameters

dir	[in] Edge direction.

virtual void StrongConnectivity::AddEdgeType	(	sparksee::gdb::type_t	type,
		sparksee::gdb::EdgesDirection	dir
	)

virtualinherited

Allows connectivity through edges of the given type.

Parameters

type	[in] Edge type.
dir	[in] Edge direction.

virtual void Connectivity::ExcludeEdges ( sparksee::gdb::Objects & edges )

virtualinherited

Set which edges can't be used.

This will replace any previously specified set of excluded edges. Should only be used to exclude the usage of specific edges from allowed edge types because it's less efficient than not allowing an edge type.

Parameters

edges [in] A set of edge identifiers that must be kept intact until the destruction of the class.

virtual void Connectivity::ExcludeNodes ( sparksee::gdb::Objects & nodes )

virtualinherited

Set which nodes can't be used.

This will replace any previously specified set of excluded nodes. Should only be used to exclude the usage of specific nodes from allowed node types because it's less efficient than not allowing a node type.

Parameters

nodes [in] A set of node identifiers that must be kept intact until the destruction of the class.

ConnectedComponents* Connectivity::GetConnectedComponents ( )

inherited

Returns the results generated by the execution of the algorithm.

These results contain information related to the connected components found as the number of different components, the set of nodes contained in each component or many other data.

Returns: Returns an instance of the class ConnectedComponents which contain information related to the connected components found.

void Connectivity::SetMaterializedAttribute ( const std::wstring & attributeName )

inherited

Creates a new common attribute type for all node types in the graph in order to store, persistently, the results related to the connected components found while executing this algorithm.

Whenever the user wants to retrieve the results, even when the graph has been closed and opened again, it is only necessary to create a new instance of the class ConnectedComponents indicating the graph and the name of the common attribute type which stores the results. This instance will have all the information related to the connected components found in the moment of the execution of the algorithm that stored this data.

It is possible to run the algorithm without specifying this parameter in order to avoid materializing the results of the execution.

Parameters

attributeName [in] The name of the common attribute type for all node types in the graph which will store persistently the results generated by the execution of the algorithm.

void Connectivity::SetNodesNotVisited ( )

protectedinherited

Set all the selected nodes in nodesNotVisited.

That's all the nodes of the allowed node types but not the excluded ones.

The documentation for this class was generated from the following file:

StrongConnectivityGabow.h

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation