Struct biodivine_lib_param_bn::bdd_params::FunctionTableEntry

pub struct FunctionTableEntry<'a> {
    entry_index: usize,
    table: usize,
    regulators: &'a Vec<VariableId>,
}

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

You can query the state of input variables on this line or make a new line with updated variable values.

Fields

entry_index: usize

table: usize

regulators: &'a Vec<VariableId>

Implementations

impl FunctionTableEntry<'_>

pub fn get_value(&self, variable: VariableId) -> bool

Obtain the value of the input variable. Panics if the variable is not an input of this function.

pub fn flip_value(&self, variable: VariableId) -> FunctionTableEntry<'_>

Obtain a table entry with the value of variable flipped.