Files
Pietro Fezzardi 269d729554 FilteredGraphs: add filter() method
The method allows to access the filter function and is useful for
templating.
2022-03-02 15:40:27 +01:00
..
2022-03-02 15:40:27 +01:00
2020-11-12 14:55:57 +01:00