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