let setAutomata auto vars funcs =
variables_from_auto:=Hashtbl.fold (fun k _ l -> k::l) vars [];
functions_from_auto:=Hashtbl.fold (fun k _ l -> k::l) funcs [];
automata:=auto;
setNumberOfStates (getNumberOfStates ());
setNumberOfTransitions (getNumberOfTransitions ());
if (Array.length !cond_of_parametrizedTransitions) < (getNumberOfTransitions ()) then
cond_of_parametrizedTransitions := Array.make (getNumberOfTransitions ()) []