mCRL2
|
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) |