Function biodivine_lib_param_bn::symbolic_async_graph::_impl_regulation_constraint::apply_regulation_constraints

pub(crate) fn apply_regulation_constraints(
    initial: Bdd, 
    network: &BooleanNetwork, 
    context: &SymbolicContext
) -> Result<Bdd, String>

Compute a Bdd which is a subset of the initial valuations that satisfies all constraints imposed by the given Boolean network.

If there are no satisfying valuations, this function should return a human-readable message which explains problem (often in several lines). However, in some complex cases (inter-dependent parameters), this can be very hard and the error messages are thus purely best effort service.