mCRL2
Loading...
Searching...
No Matches
Graph.h File Reference

Go to the source code of this file.

Classes

class  StaticGraph
 

Macros

#define NO_VERTEX   ((verti)-1)
 

Typedefs

typedef std::size_t verti
 type used to number vertices
 
typedef std::size_t edgei
 type used to number edges
 

Functions

void swap (StaticGraph &a, StaticGraph &b)
 

Detailed Description

Data structures to define vertices, edges and graphs.

Definition in file Graph.h.

Macro Definition Documentation

◆ NO_VERTEX

#define NO_VERTEX   ((verti)-1)

Definition at line 27 of file Graph.h.

Typedef Documentation

◆ edgei

typedef std::size_t edgei

type used to number edges

Definition at line 25 of file Graph.h.

◆ verti

typedef std::size_t verti

type used to number vertices

Definition at line 24 of file Graph.h.

Function Documentation

◆ swap()

void swap ( StaticGraph a,
StaticGraph b 
)
inline

Definition at line 297 of file Graph.h.