Names `0` and `1` can collide with constants

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 2 forks source link

Names `0` and `1` can collide with constants #50

Closed daemontus closed 7 months ago

daemontus commented 8 months ago

We've added support for 0/1 as constants in the update function. However, these are still also valid variable names. We definitely need to somehow resolve this ambiguity. For example, in function "0 & f(0, 1)", "0" is first a constant and then as variable in the function invocation.

daemontus commented 7 months ago

This should be also resolved in #52.