Half-edge of a graph

A half-edge records an incidence of an edge at a vertex. Two half-edges form each edge, including two incidences at the same vertex for a self-loop. In the configuration model these incidences are individually labelled before random pairing.