tree 5239975af8c451f1f7f7965b6e38ce40df43cbcf
parent 8baec764591c0227936d7c09f66f3849ccdf79ff
author Geneviève Bastien <gbastien+lttng@versatic.net> 1568665250 -0400
committer Genevieve Bastien <gbastien+lttng@versatic.net> 1578063807 -0500

weighted tree: Add a weighted tree set to structure data

A WeightedTreeSet is a structure that keeps elements and their weighted
trees together, so that different treesets can be used for different
purposes, like for selection ranges, or with elements grouped together.

[changed] Put weighted tree data in a separate structure from provider

Change-Id: I6c505edecc4f507e924939690e6b2a573e3dfaa5
Signed-off-by: Geneviève Bastien <gbastien+lttng@versatic.net>
Reviewed-on: https://git.eclipse.org/r/149803
Tested-by: CI Bot
Reviewed-by: Matthew Khouzam <matthew.khouzam@ericsson.com>
Tested-by: Matthew Khouzam <matthew.khouzam@ericsson.com>