Function biodivine_lib_param_bn::bdd_params::_impl_static_constraints::build_static_constraints

source · [−]
pub fn build_static_constraints(
    bn: &BooleanNetwork, 
    encoder: &BddParameterEncoder
) -> Bdd
Expand description

Build a Bdd which describes all valuations satisfying the static constraints of the given BooleanNetwork.