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  ()) []