When I need a helper relation (e.g. with transitive closures), I sometimes need to delete the entire population of that relation. It would be very nice to have a PHP function for that. To clear out the entire relation, e.g. rel[A*A], I would like to write
TXT "{EX} ClearRelation;rel;A;A"
Use case for this feature
To edit a relation means to insert and delete pairs at arbitrary times during the lifetime of that relation.
Suppose I want to edit a relation that is used in a transitive closure.
E.g.
When I need a helper relation (e.g. with transitive closures), I sometimes need to delete the entire population of that relation. It would be very nice to have a PHP function for that. To clear out the entire relation, e.g.
rel[A*A]
, I would like to writeUse case for this feature
To edit a relation means to insert and delete pairs at arbitrary times during the lifetime of that relation. Suppose I want to edit a relation that is used in a transitive closure. E.g.
(Side note:
- I[A]
is necessary to avoid infinite loops, in particular cases.)Suppose I want to edit
rel
, including the deletion of pairs, maintaining thatrelPlus = rel*
. Now, I have to change my code to:We use
relCopy
for deleting the contents ofrelPlus
when deleting one or more pairs fromrel
.