sybila/biodivine-lib-param-bn

Bug in `infer_regulatory_graph` when working with parameters

Closed this issue · 1 comments

If we have a network with zero-arity parameters and non-observable regulation, we have an error in infer_regulatory_graph.

Specifically, the string conversion fails to produce a parse-able result because it will contain p[] instead of p. Overall, the conversion is just wrong whenever there are any parameters involved (see L373-L377).

We will probably need to do some kind of better syntactic conversion or something else. Maybe just replace non-observable variables with true/false and propagate the constants? If they truly are non-observable, the result should be equivalent.

Should be fixed in #52.