Fix bang-box rules matching bang-box graphs

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

152 stars 22 forks source link

Fix bang-box rules matching bang-box graphs #106

Closed iislucas closed 10 years ago

iislucas commented 11 years ago

Match should happen (bang box can be copied, names get copied fresh). But it doesn't happen. This is an issue for the confluence example where the student might write exactly the thing below. Probably not a serious issue for the practical, but algorithm needs some thinking I guess.

Screen Shot 2013-02-23 at 23 33 22 Screen Shot 2013-02-23 at 23 40 18

akissinger commented 11 years ago

This is not a bug. The current matching algorithm only operates on concrete graphs.

iislucas commented 11 years ago

In that case you probably want to say so in the practical :) (de-tag this from documentation bug if/when you're happy with that, and change the milestone to whatever you think is appropriate too)

I'll change this to a core-feature proposal for core instead of a core-bug.

akissinger commented 10 years ago

Done!