Tighter bounds on `BooleanNetwork::inline_inputs`

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 3 forks source link

Closed daemontus closed 9 months ago

daemontus commented 11 months ago

At the moment, inlining inputs just removes any observability constraints, even for variables where no inlining occurred.

Going forward, we have sever options:

Remove observability on variables where it really becomes redundant.
Remove redundant regulations outright.
Clean up the whole regulatory network using infer_regulatory_graph.
Keep them and add a warning that the output is not necessarily logically consistent. The users can then clean it up manually.

daemontus commented 11 months ago

This also relates to inline_variable, since it can introduce similar logical problems. Here, we allow returning an inconsistent graph.

daemontus commented 9 months ago

Should be fixed in #52.