[ Version ( deprecated = true , deprecated_since = "0.2.2" , since = "0.1.0" ) ]
public TreeList new_filtered (Filter filter)
Warning: new_filtered is deprecated since 0.2.2.
Construct a new tree list that is filled with trees from this that match filter
Use new_filtered instead.
this |
the tree list to copy |
filter |
the filter to apply |
a filtered copy of the tree list |