Function biodivine_lib_param_bn::bdd_params::_impl_static_constraints::build_monotonicity_pair

source · [−]
fn build_monotonicity_pair(
    inactive: &Bdd, 
    active: &Bdd, 
    monotonicity: Monotonicity
) -> Bdd
Expand description

(internal) Builds a Bdd of parameters corresponding to valuations where the given pair of function entries behaves monotonously.