Closed GoogleCodeExporter closed 8 years ago
They are currently sub/supers which causes problems for cycles. Should show merged into a node
Original issue reported on code.google.com by NickIsConfused@gmail.com on 1 Apr 2009 at 9:36
NickIsConfused@gmail.com
Equivalence handling reviewed. Equivalent classes now collapsed into node rather than shown as sub/super
Original comment by NickIsConfused@gmail.com on 1 Apr 2009 at 10:43
Original issue reported on code.google.com by
NickIsConfused@gmail.com
on 1 Apr 2009 at 9:36