Tulip  5.1.0
Large graphs analysis and drawing
Model Checking

Classes

class  tlp::AcyclicTest
 
class  tlp::BiconnectedTest
 
class  tlp::ConnectedTest
 
class  tlp::OuterPlanarTest
 
class  tlp::PlanarityTest
 
struct  tlp::SelfLoops
 
class  tlp::SimpleTest
 
class  tlp::TreeTest
 
class  tlp::TriconnectedTest
 

Detailed Description

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