Open evhub opened 10 years ago
This one needs more consideration and might not be a final feature. Implementing it would be very difficult and might mess up certain other procedures, like memoization, or at least significantly complicate them.
For implementation guidelines, see: https://en.wikipedia.org/wiki/Graph_reduction
Use generators for this.
evhub
commented
10 years ago
This one needs more consideration and might not be a final feature. Implementing it would be very difficult and might mess up certain other procedures, like memoization, or at least significantly complicate them.
For implementation guidelines, see: https://en.wikipedia.org/wiki/Graph_reduction