UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Static Public Member Functions | Static Protected Member Functions | Private Member Functions | List of all members
PathChecker Class Reference

The PathChecker class provides functions to compute whether given graphs have paths of a defined length. More...

#include <PathChecker.h>

Public Member Functions

virtual ~PathChecker ()
 Destroys the current instance of PathChecker.
 

Static Public Member Functions

static bool hasPath (Hypergraph const &graph, unsigned int length)
 Checks if the given graph has a path with at least the given length. More...
 

Static Protected Member Functions

static bool findPath (Hypergraph const &graph, unordered_set< IDType > &visited, IDType currentVertex, unsigned int currentPath, unsigned int maxPath)
 Recursively searches for a path in the given graph which has the given maximal length. More...
 

Private Member Functions

 PathChecker ()
 PathChecker cannot be instantiated.
 

Detailed Description

The PathChecker class provides functions to compute whether given graphs have paths of a defined length.

Author
Jan Stückrath

Member Function Documentation

bool findPath ( Hypergraph const &  graph,
unordered_set< IDType > &  visited,
IDType  currentVertex,
unsigned int  currentPath,
unsigned int  maxPath 
)
staticprotected

Recursively searches for a path in the given graph which has the given maximal length.

The other parameters are used for the recursion.

Parameters
graphthe graph to be checked
visitedthe set of all node and edge IDs of elements of the currently found path (initially only currentVertex)
currentVertexthe vertex ID from which the currently found path will be extended (initially some vertex ID)
currentPaththe length of the currently found path (initially zero)
maxPaththe pathlength to be checked; terminates if reached return true, iff the given graph contains a path of length 'length'
bool hasPath ( Hypergraph const &  graph,
unsigned int  length 
)
static

Checks if the given graph has a path with at least the given length.

Parameters
graphthe graph to be checked
lengththe length to be used in the check
Returns
true, iff the given graph contains a path of length 'length'

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