Function biodivine_sketchbook::inference::results_export::get_update_fn_variants_from_solver

pub fn get_update_fn_variants_from_solver(
    solver: &FinishedInferenceSolver,
    var_name: &str,
) -> Result<Vec<String>, String>

For a given variable, get all valid interpretations of its update function present in the satisfying colors (taken from the results of the solver). Variable must be present in the network.