Package org.bigraphs.framework.core.analysis

Class BigraphConnectivityChecker

java.lang.Object

org.bigraphs.framework.core.analysis.BigraphConnectivityChecker

public class BigraphConnectivityChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
BigraphConnectivityChecker()

Method Summary

Modifier and Type	Method	Description
static boolean	isFullyConnected(PureBigraph bigraph)	Checks if all nodes in the place graph of the given bigraph are fully connected.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BigraphConnectivityChecker

public BigraphConnectivityChecker()

Method Details

isFullyConnected

public static boolean isFullyConnected(PureBigraph bigraph)

Checks if all nodes in the place graph of the given bigraph are fully connected. This means that each node must be reachable from every other node via a link (either an edge or an outer name).

Parameters:

bigraph - the pure bigraph instance representing the bigraph to be checked.

Returns:

true if the bigraph is fully connected, false otherwise.