ArgNode comparison is practically a DFS search of the ARG
Closed this issue · 0 comments
csanadtelbisz commented
The way ArgNodes are compared is practically a depth-first ARG search from the given ArgNodes (cf. line 284 comparing outEdges of ArgNodes and line 33 comparing the targets of ArgEdges).
See the conversation in #202 (comment) on this topic.