mCRL2
|
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) |
Data structures to define vertices, edges and graphs.
Definition in file Graph.h.
|
inline |