|
mCRL2
|
Go to the source code of this file.
Classes | |
| class | StaticGraph |
Macros | |
| #define | NO_VERTEX ((verti)-1) |
Typedefs | |
| using | verti = std::size_t |
| type used to number vertices | |
| using | edgei = std::size_t |
| type used to number edges | |
Functions | |
| void | swap (StaticGraph &a, StaticGraph &b) noexcept |
Data structures to define vertices, edges and graphs.
Definition in file Graph.h.
|
inlinenoexcept |