Module biodivine_lib_param_bn::bdd_params::_impl_static_constraints

(internal) This module implements functions for creating Bdds corresponding to the static constraints of the individual regulations of a BooleanNetwork.

Structs

Ctx

InputStatesPairIterator

(internal) Iterates over pairs of states where the first state has a particular regulator variable set to zero while the second state has it set to one.

Functions

build_monotonicity_explicit

build_monotonicity_implicit

build_monotonicity_pair

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

build_observability_explicit

build_observability_implicit

build_static_constraints

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

extend_table_index_to_state

(internal) Build a state which has the variables set exactly as in the table_index and all other variables set to zero.