let f = gen_code auto tlist s1 s2 in
LOG(__ "grammar" 2 "Inserting: %i, %a, %a\n%!"
(Uid.to_int tlist.Translist.Node.id) StateSet.print s1 StateSet.print s2);
let f = gen_code auto tlist s1 s2 in
LOG(__ "grammar" 2 "Inserting: %i, %a, %a\n%!"
(Uid.to_int tlist.Translist.Node.id) StateSet.print s1 StateSet.print s2);
let res, slot = full_top_down_run auto auto.init tree root in
slot.(StateSet.min_elt auto.topdown_marking_states)
let res, slot = full_top_down_run auto auto.init tree root in
slot.(StateSet.min_elt auto.topdown_marking_states)