search

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
112 stars 41 forks source link

wildcard on the rhs #525

Open jkrivine opened 6 years ago

jkrivine commented 6 years ago

I think one should be more liberal w.r to the usage of wildcards as long as they are explicit. For instance the rule A(x[_]),B() -> A(x[#]),. or alternatively A(x[_/#]),B()- makes total sense. Wildcards on the rhs read as "I don't care if the information is preserved"

feret commented 6 years ago

Do you mean, if A is connected to B, it is made free, if A is bound not to B then it remains bound ?

jkrivine commented 6 years ago

Yes precisely @feret