Function biodivine_sketchbook::algorithms::eval_static::encode::encode_essentiality

source · 
pub fn encode_essentiality(
    number_inputs: usize,
    index: usize,
    fn_name: &str,
    essentiality: Essentiality,
) -> String
Expand description

Create a FOL formula encoding that uninterpreted function’s argument (given by the index) has given essentiality.