Module biodivine_lib_param_bn::bdd_params

Legacy symbolic representation of parameter space of a BooleanNetwork using Bdds.

Specifically, there is the BddParams struct which represents the set of valuations and the BddParameterEncoder struct which allows creating new Bdd and BddParams that correspond to situations where individual parameters have a specific value.

Modules

_impl_bdd_parameter_encoder

_impl_bdd_params

_impl_fn_update

_impl_function_table_entry

_impl_static_constraints

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

_impl_witness_generator

Structs

BddParameterEncoder

Handles the translation between parameters of the BooleanNetwork and BddVariables.

BddParams

A wrapper for the Bdd object that implements a basic Set trait.

FunctionTableEntry

(experimental) Represents one “line” in a Boolean function table.

Functions

build_static_constraints

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