Module biodivine_lib_param_bn::bdd_params
source · [−]Expand description
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.
Structs
Handles the translation between parameters of the BooleanNetwork
and BddVariables
.
A wrapper for the Bdd
object that implements a basic Set
trait.
(experimental) Represents one “line” in a Boolean function table.
Functions
Build a Bdd
which describes all valuations satisfying the static constraints
of the given BooleanNetwork
.