Method leaf

launcher/SeparatorPrefixTree.h:144–144

is this a leaf node?

    /// is this a leaf node?
    bool leaf() const { return children.isEmpty(); }

    /// is this node actually contained in the tree, or is it purely structural?
    bool contained() const { return m_contained; }