Open di opened 10 years ago
Deleting a vertex must also delete all vertices in it's succset, IF AND ONLY IF the deleted vertex is the only vertex in the child's predset. Otherwise, simply remove the deleted vertex from the child's predset.
Demoted this to "should-fix" because although it is annoying for us, it doesn't present an problem to the user.
Deleting a vertex must also delete all vertices in it's succset, IF AND ONLY IF the deleted vertex is the only vertex in the child's predset. Otherwise, simply remove the deleted vertex from the child's predset.