Return actual vertices added to/removed from !-boxes

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

154 stars 22 forks source link

Return actual vertices added to/removed from !-boxes #82

Closed randomguy3 closed 11 years ago

randomguy3 commented 12 years ago

When adding vertices to or removing vertices from !-boxes, the !-box will be extended as necessary to keep it an open subgraph. The functions in bang_graph return the actual vertices added/removed. This needs to be communicated back to the GUI, which needs to make use of this information.

randomguy3 commented 11 years ago

Although in the unbanging case, it can just look like nothing happened...