Function biodivine_sketchbook::algorithms::eval_static::encode::encode_regulation_monotonicity

source ยท 
pub fn encode_regulation_monotonicity(
    input: &str,
    target: &str,
    monotonicity: Monotonicity,
    bn: &BooleanNetwork,
) -> String
Expand description

Create a FOL formula encoding that a regulation has given monotonicity.