Module biodivine_lib_param_bn::symbolic_async_graph::_impl_regulation_constraint

source · [−]
Expand description

(internal) Utility methods for validation of static constraints on network regulations.

Functions

apply_regulation_constraints

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