Function biodivine_sketchbook::sketchbook::properties::shortcuts::mk_monotonicity_prop

source ยท 
pub fn mk_monotonicity_prop(
    regulator: &VarId,
    target: &VarId,
    monotonicity: Monotonicity,
) -> StatProperty
Expand description

Shorthand to get a static property that describes monotonicity of a regulation between regulator and target. Chosen name is generic and annotation is empty.