Currently, restrict is handled through conjunction and quantification. But for this simple operation, we can actually implement it as a single pass where where unlink all nodes that condition on the restricted variable and redirect the result to the corresponding subgraph. Of course, the result will need to be normalized on the fly.
daemontus
commented
9 months ago
Currently,
restrictis handled through conjunction and quantification. But for this simple operation, we can actually implement it as a single pass where where unlink all nodes that condition on the restricted variable and redirect the result to the corresponding subgraph. Of course, the result will need to be normalized on the fly.