search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
151 stars 22 forks source link

Can't rewrite under !-box #229

Open rossduncan opened 6 years ago

rossduncan commented 6 years ago

Looks like the matcher doesn't see subgraphs inside !-boxes. See attached.

The use case I actually want has edges extending outside the !-box, but the problem occurs without this complication.

screen shot 2018-07-25 at 12 54 34
akissinger commented 6 years ago

This is in the works. A temporary work-around is to create a version of your rule where the whole LHS and RHS are in a !-box. Make sure to add any existing !-boxes as children or this won't work right. The solution in the works is to make the matcher do this automatically if it needs to.

Historical note: this match is technically not allowed in the original !-box matching semantics (from Merry's thesis), which is what is implemented by the matcher.