Method ADT.Relation.Binary()->filter_destructively()
- Method
filter_destructively
this_program
filter_destructively(function
(:void
)f
)- Description
Filters the entries in the relation destructively, removing all entries for which the filtering function
f
returns false. The functionf
gets two arguments: the left and the right value for each entry in the relation.