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

Go to the source code of this file.

Functions

static bool edge_cmp_forward (const std::pair< verti, verti > &a, const std::pair< verti, verti > &b)
 
static bool edge_cmp_backward (const std::pair< verti, verti > &a, const std::pair< verti, verti > &b)
 

Function Documentation

◆ edge_cmp_backward()

static bool edge_cmp_backward ( const std::pair< verti, verti > &  a,
const std::pair< verti, verti > &  b 
)
static

Definition at line 77 of file Graph.cpp.

◆ edge_cmp_forward()

static bool edge_cmp_forward ( const std::pair< verti, verti > &  a,
const std::pair< verti, verti > &  b 
)
static

Definition at line 71 of file Graph.cpp.