Struct biodivine_lib_param_bn::bdd_params::_impl_static_constraints::Ctx

struct Ctx<'a> {
    bn: &'a BooleanNetwork,
    encoder: &'a BddParameterEncoder,
}

Fields

bn: &'a BooleanNetwork

encoder: &'a BddParameterEncoder

Implementations

impl<'a> Ctx<'a>

pub fn new(bn: &'a BooleanNetwork, encoder: &'a BddParameterEncoder) -> Ctx<'a>

pub fn pair_explicit(
    &self,
    states: (IdState, IdState),
    fun: &'a FnUpdate
) -> (Bdd, Bdd)

Transform a table pair into pair of Bdds assuming an update function is known.

pub fn pair_implicit(
    &self,
    states: (IdState, IdState),
    variable: VariableId
) -> (Bdd, Bdd)

Transform a table pair into a pair of Bdds assuming an implicit update function.