Function biodivine_sketchbook::algorithms::eval_static::encode::encode_monotonicity

source · 
pub fn encode_monotonicity(
    number_inputs: usize,
    index: usize,
    fn_name: &str,
    monotonicity: Monotonicity,
) -> String
Expand description

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