Draft: Stable trees
The goal of this merge request is to make faster the generation of stable trees.
-
stabilization of decorated graph -
add/delete operations for vertex/edge/marking -
amortized time generation of labelled trees on {1, ..., n} via leg insertion -
amortized time generation of any labelled trees using rooting and canonical ordering