Model Checking

Classes
class	tlp::AcyclicTest
	This class provides tests for acyclicity on a graph. Results are cached in a map of graphs and result. This class observes the graphs that have been tested to remove the result from this graph if it is modified. This forces the use of the singleton pattern instead of simply using static functions/members. More...
class	tlp::BiconnectedTest
	Performs a test of biconnexity on the graph, and provides a function to make a graph biconnected. From Wikipedia: "A biconnected graph is connected and nonseparable, meaning that if any vertex were to be removed, the graph will remain connected.". More...
class	tlp::ConnectedTest
	Performs a test of connexity on the graph, and provides a function to make a graph connected. From Wikipedia: "A graph is said to be connected if every pair of vertices in the graph are connected." (i.e. there is a path between every pair of vertices). More...
struct	tlp::SelfLoops
	Stores all the added informations on self loops. More...

Detailed Description

Graph model checking Classes in this group allow to perform various checks on a graph data structure.