Re-entrancies in FS display

[GoogleCodeExporter]

Dissecting and reassembling FSs for the GUI still breaks re-entrancies
sometimes - not when a the replaced structure is itself shared, but when it
contains shared structures. Will probably have to look for all paths of all
shared structures explicitly and fix them every time.

Original issue reported on code.google.com by kilian.e...@gmail.com on 21 Jun 2009 at 10:34

[GoogleCodeExporter]

Rewrote predicates for replacement in FS, issue is fixed and everything ended 
up more
straightforward and uniform than before. Yay!

Original comment by kilian.e...@gmail.com on 24 Jun 2009 at 9:12

• Changed state: Fixed

[GoogleCodeExporter]

Still a little buggy (e.g. in application of semantics principle to mother in 
Frank's
test grammar)

Original comment by kilian.e...@gmail.com on 28 Jun 2009 at 12:20

• Changed state: Accepted

[GoogleCodeExporter]

More specifically: newly created re-entrancies become visible very late. 
Closing this
bug, since this is part of a more general problem: the lack of recent data from 
the
ALE debugger (we only see small substructures and need to fall back to 
out-of-data
asserted copies for the whole picture).

Original comment by kilian.e...@gmail.com on 6 Jul 2009 at 3:37

• Changed state: Fixed