Open benroywillis opened 3 years ago
In the trivial transform function after the order reduction, the algorithm finds a node whose successor is missing from the graph
In the trivial transform function after the order reduction, the algorithm finds a node whose successor is missing from the graph