Open mukoki opened 1 year ago
If input is not correctly noded, the algorithm checking disjoint shell could enter an infinite loop. It now checks that the search of disjoint shells always progresses and throws an Exception if it does not progress any more.
If input is not correctly noded, the algorithm checking disjoint shell could enter an infinite loop. It now checks that the search of disjoint shells always progresses and throws an Exception if it does not progress any more.