- then result (StateSet.add q set) 1 tl
- else result set 0 tl in
- let result_set = result StateSet.empty 0 list_tr in
+ then result (StateSet.add q set) qf qn 1 list_tr tl
+ else result set qf qn 0 list_tr tl in
+ let result_set () =
+ try HashRun.find hashRun ((StateSet.empty,resultr),qf,qn,list_tr,lab)
+ with _ -> let res = result StateSet.empty qf qn 0 list_tr list_tr in
+ HashRun.add hashRun
+ ((StateSet.empty,resultr), qf,qn,list_tr,lab) res;
+ res in