Function biodivine_lib_param_bn::bdd_params::_impl_static_constraints::extend_table_index_to_state

source · [−]
fn extend_table_index_to_state(
    table_index: usize, 
    args: &[VariableId]
) -> IdState
Expand description

(internal) Build a state which has the variables set exactly as in the table_index and all other variables set to zero.

index: 0110, args: (0, 3, 5, 6) -> 0101000 index: abcd, args: (0, 3, 5, 6) -> dc0b00a