Lines Matching refs:dir2
402 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
403 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l1');
408 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
409 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l2');
419 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
420 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l1);
425 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
426 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l2);
438 val dir2 = HOLDIR ^ "/examples/AI_tasks/combin_results/test_tnn_nolimit";
439 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
441 val dir2 = HOLDIR ^ "/examples/AI_tasks/combin_results/train_tnn";
442 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
483 val dir2 = HOLDIR ^ "/examples/AI_tasks/combin_results/test_uniform";
484 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
486 val dir2 = HOLDIR ^ "/examples/AI_tasks/combin_results/train_uniform";
487 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);