search

zxcalc / quantomatic

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

Extended label data types #166

Closed rossduncan closed 6 years ago

rossduncan commented 6 years ago

Vertex labels should admit richer data types: e.g. pairs!

In particular I would like to have labels as a pair of an angle expression and a boolean expression, with rules involving both components.

(I will create a separate issue describing what features the boolean component requires.)

hmillerbakewell commented 6 years ago

This now exists on the integration branch.