examples/AI_tasks/mleDiophSynt.sml

354 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
355 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l1');
360 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance";
361 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l2');
366 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
367 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l3');
377 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform";
378 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l1);
383 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance";
384 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l2);
389 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn";
390 val _ = mkDir_err dir2; app (store_result dir2) (number_snd 0 l3);
402 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/test_tnn_nolimit";
403 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
405 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/train_tnn";
406 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
438 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/test_uniform";
439 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
441 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/train_uniform";
442 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
448 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/test_distance";
449 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);
451 val dir2 = HOLDIR ^ "/examples/AI_tasks/dioph_results/train_distance";
452 fun g i = #read_result ft_extsearch_uniform (dir2 ^ "/" ^ its i);