Tulip  4.2.0
Better Visualization Through Research
 All Classes Namespaces Files Functions Variables Enumerations Enumerator Properties Groups Pages
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.