Type used to represent a multi-edge in a graph. More...

#include <printing.h>

Public Attributes
uint	in
	Initial state of the edge.

bool	eps
	Epsilon transition.

dequeue *	lab
	Sorted list of labels.

dequeue *	lab_i
	Sorted list of inverse labels.

uint	out
	Final state of the edge.

Detailed Description

Type used to represent a multi-edge in a graph.

Remarks: A multi-edge is an edge that can have multiple labels. This type is used for display purposes: when two vertices are connected by multiple edges, we simplify the presentation by drawing only one edge that carries all the labels of the actual edges.

The documentation for this struct was generated from the following file:

Public Attributes