let get_prev_bycase func status (states_bycase ,transitions_bycase) =
let res_st_bc,res_tr_bc = mk_empty_pre_or_post_bycase () in
(* For each starting case, we call the get_prev function *)
Array.iteri
(fun case_st case_st_assocs ->
let prev_st,prev_tr =
get_prev func status (case_st_assocs,transitions_bycase.(case_st))
in
res_st_bc.(case_st) <- prev_st;
res_tr_bc.(case_st) <- prev_tr
)
states_bycase;
(res_st_bc,res_tr_bc)