Struct biodivine_lib_param_bn::async_graph::DefaultEdgeParams

pub struct DefaultEdgeParams {
    network: BooleanNetwork,
    encoder: BddParameterEncoder,
    unit_set: BddParams,
    empty_set: BddParams,
}

Default implementation for edge parameters which adheres to the monotonicity and observability constraints of the network, but poses no other restrictions.

Fields

network: BooleanNetwork

encoder: BddParameterEncoder

unit_set: BddParams

The parameter valuations which satisfy the static regulation constraints.

empty_set: BddParams

Implementations

impl DefaultEdgeParams

pub fn new(network: BooleanNetwork) -> Result<DefaultEdgeParams, String>

New default edge parametrisation for the given network. Warning: computes the unit set, which can be expensive.

pub fn new_with_custom_encoder(
    network: BooleanNetwork,
    encoder: BddParameterEncoder
) -> Result<DefaultEdgeParams, String>

Trait Implementations

impl AsyncGraphEdgeParams for DefaultEdgeParams

fn edge_params(&self, state: IdState, variable: VariableId) -> BddParams

Compute the parameter set which enables the value of variable to be flipped in the given state.

Note that this set is not a subset of the unit_set! It is really just the flip condition.

type ParamSet = BddParams

fn network(&self) -> &BooleanNetwork

fn empty_params(&self) -> &Self::ParamSet

Create a new empty set of parameters.

fn unit_params(&self) -> &Self::ParamSet

Create a new full set of parameters.

fn make_witness(&self, params: &Self::ParamSet) -> BooleanNetwork

Construct a witness network for the given set of parameters.