Update rules tab for sketch editor

sybila / biodivine-sketchbook

Biodivine SketchBook is a multi-platform application for designing and analysing large-scale logical models.

MIT License

0 stars 1 forks source link

Update rules tab for sketch editor #7

Open daemontus opened 1 year ago

daemontus commented 1 year ago

This is similar to our current "model editor" tab. Here, the user can declare new uninterpreted functions and parameters as well as specify update functions for variables.

Generally, various "quality of life" improvements are expected here, such as syntax highlighting, ability to specify monotonicity/essentiality for uninterpreted function inputs, etc.

ondrej33 commented 7 months ago

This was mainly implemented via #27 and #28. There are still some details to be resolved, such as:

more straightforward parsing of Boolean expressions (for now, lib-param-bn is used, making the whole thing slightly impractical)
automatic checking for static properties of update functions (like in aeon) would be nice
the ability to "collapse" uninterpreted functions could be useful

ondrej33 commented 5 days ago

Uninterpreted functions can be collapsed since #30 and #37.