Function biodivine_sketchbook::algorithms::eval_static::encode::encode_regulation_essentiality

source ยท 
pub fn encode_regulation_essentiality(
    input: &str,
    target: &str,
    essentiality: Essentiality,
    bn: &BooleanNetwork,
) -> String
Expand description

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