(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-13 11:02:32 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-15 18:17:50 CET by Kim Nguyen>
*)
open Ast
in
(StateSet.add ms ams), natrs, nasts) (StateSet.empty, [], StateSet.empty) p
in
- let a = Ata.create () in
- a.Ata.states <- states;
- a.Ata.selection_states <- mstates;
+ let a = Ata.create states mstates in
List.iter (fun (q, l) ->
List.iter (fun (lab, phi) ->
Ata.add_trans a q lab phi