Allow uninterpreted functions with empty <math> tag

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 3 forks source link

Allow uninterpreted functions with empty <math> tag #22

Closed daemontus closed 2 years ago

daemontus commented 3 years ago

To be honest, I am not sure if this is valid or not, but at the moment, a function with an empty math tag cannot be opened.

daemontus commented 2 years ago

This will not be supported for now. It could technically work, but it could behave quite weirdly depending on the resultLevel of the function term. Also the behaviour with multiple terms (which are as of now also not supported) needs to be better specified.

All in all, this maybe makes sense once we support multi-valued networks and hence actually require support for multiple function terms and multiple different result levels. But for now, let's just keep this as unsupported.