mirror of
https://git.savannah.gnu.org/git/emacs.git
synced 2024-11-25 07:28:20 +00:00
Update the 'etags' test suite
* ETAGS.good_1: * ETAGS_good_2: * ETAGS_good_3: * ETAGS_good_4: * ETAGS_good_5: * ETAGS_good_6: Adapt to recent changes in test sources.
This commit is contained in:
Stefan Kangas
parent
41e612cfd6
commit
9ea513134b
@ -2941,92 +2941,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -3921,60 +3921,60 @@ merc-src/accumulator.m,3228
|
||||
:- func initialize_goal_store570,22060
|
||||
:- pred accu_store580,22421
|
||||
:- pred identify_recursive_calls601,23288
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
:- pred accu_stage1_2727,28347
|
||||
:- pred accu_sets_init781,30557
|
||||
:- func set_upto796,30984
|
||||
:- pred accu_before812,31498
|
||||
:- pred accu_assoc835,32477
|
||||
:- pred accu_construct862,33712
|
||||
:- pred accu_construct_assoc896,35307
|
||||
:- pred accu_update938,37069
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
:- pred associativity_assertion1014,40263
|
||||
:- pred commutativity_assertion1037,41242
|
||||
:- pred accu_is_update1057,41952
|
||||
:- pred is_associative_construction1078,42802
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
:- pred accu_substs_init1179,46957
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
:- pred create_new_var1207,48147
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
:- pred accu_heuristic1304,52336
|
||||
:- pred accu_process_update_set1318,52906
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
:- pred accu_related1412,57146
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
:- pred accu_stage31470,59432
|
||||
:- pred acc_proc_info1508,61326
|
||||
:- pred acc_pred_info1556,63449
|
||||
:- pred accu_create_goal1600,65285
|
||||
:- func create_acc_call1621,66400
|
||||
:- pred create_orig_goal1634,66987
|
||||
:- pred create_acc_goal1662,68157
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
:- func create_new_base_goals1738,71717
|
||||
:- pred acc_unification1749,72156
|
||||
:- pred accu_top_level1766,72896
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
:- func accu_rename1876,77253
|
||||
:- func base_case_ids1889,77784
|
||||
:- func base_case_ids_set1898,78048
|
||||
:- func accu_goal_list1905,78269
|
||||
:- pred calculate_goal_info1916,78680
|
||||
:- func chain_subst1932,79319
|
||||
:- pred chain_subst_21938,79482
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
:- pred accu_stage1_2727,28348
|
||||
:- pred accu_sets_init781,30558
|
||||
:- func set_upto796,30985
|
||||
:- pred accu_before812,31499
|
||||
:- pred accu_assoc835,32478
|
||||
:- pred accu_construct862,33713
|
||||
:- pred accu_construct_assoc896,35308
|
||||
:- pred accu_update938,37070
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
:- pred associativity_assertion1014,40264
|
||||
:- pred commutativity_assertion1037,41243
|
||||
:- pred accu_is_update1057,41953
|
||||
:- pred is_associative_construction1078,42803
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
:- pred accu_substs_init1179,46958
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
:- pred create_new_var1207,48148
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
:- pred accu_heuristic1304,52337
|
||||
:- pred accu_process_update_set1318,52907
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
:- pred accu_related1412,57147
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
:- pred accu_stage31470,59433
|
||||
:- pred acc_proc_info1508,61327
|
||||
:- pred acc_pred_info1556,63450
|
||||
:- pred accu_create_goal1600,65286
|
||||
:- func create_acc_call1621,66401
|
||||
:- pred create_orig_goal1634,66988
|
||||
:- pred create_acc_goal1662,68158
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
:- func create_new_base_goals1738,71718
|
||||
:- pred acc_unification1749,72157
|
||||
:- pred accu_top_level1766,72897
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
:- func accu_rename1876,77254
|
||||
:- func base_case_ids1889,77785
|
||||
:- func base_case_ids_set1898,78049
|
||||
:- func accu_goal_list1905,78270
|
||||
:- pred calculate_goal_info1916,78681
|
||||
:- func chain_subst1932,79320
|
||||
:- pred chain_subst_21938,79483
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
@ -3514,92 +3514,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -4505,108 +4505,108 @@ initialize_goal_store573,22166
|
||||
accu_store584,22576
|
||||
:- pred identify_recursive_calls601,23288
|
||||
identify_recursive_calls604,23406
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
identify_out_and_out_prime631,24631
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
accu_stage1693,27155
|
||||
:- pred accu_stage1_2727,28347
|
||||
accu_stage1_2731,28515
|
||||
:- pred accu_sets_init781,30557
|
||||
accu_sets_init783,30605
|
||||
:- func set_upto796,30984
|
||||
set_upto798,31039
|
||||
:- pred accu_before812,31498
|
||||
accu_before815,31639
|
||||
:- pred accu_assoc835,32477
|
||||
accu_assoc838,32617
|
||||
:- pred accu_construct862,33712
|
||||
accu_construct865,33856
|
||||
:- pred accu_construct_assoc896,35307
|
||||
accu_construct_assoc899,35457
|
||||
:- pred accu_update938,37069
|
||||
accu_update941,37210
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
member_lessthan_goalid967,38342
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
accu_is_associative989,39250
|
||||
:- pred associativity_assertion1014,40263
|
||||
associativity_assertion1017,40404
|
||||
:- pred commutativity_assertion1037,41242
|
||||
commutativity_assertion1040,41369
|
||||
:- pred accu_is_update1057,41952
|
||||
accu_is_update1060,42066
|
||||
:- pred is_associative_construction1078,42802
|
||||
is_associative_construction1081,42898
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
accu_stage21131,44946
|
||||
:- pred accu_substs_init1179,46957
|
||||
accu_substs_init1182,47097
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
acc_var_subst_init1198,47718
|
||||
:- pred create_new_var1207,48147
|
||||
create_new_var1210,48288
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
accu_process_assoc_set1229,49150
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
accu_has_heuristic1299,52161
|
||||
:- pred accu_heuristic1304,52336
|
||||
accu_heuristic1307,52457
|
||||
:- pred accu_process_update_set1318,52906
|
||||
accu_process_update_set1325,53221
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
accu_divide_base_case1385,56059
|
||||
:- pred accu_related1412,57146
|
||||
accu_related1415,57270
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
lookup_call1452,58715
|
||||
:- pred accu_stage31470,59432
|
||||
accu_stage31477,59826
|
||||
:- pred acc_proc_info1508,61326
|
||||
acc_proc_info1512,61485
|
||||
:- pred acc_pred_info1556,63449
|
||||
acc_pred_info1559,63597
|
||||
:- pred accu_create_goal1600,65285
|
||||
accu_create_goal1607,65628
|
||||
:- func create_acc_call1621,66400
|
||||
create_acc_call1625,66569
|
||||
:- pred create_orig_goal1634,66987
|
||||
create_orig_goal1638,67176
|
||||
:- pred create_acc_goal1662,68157
|
||||
create_acc_goal1667,68380
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
create_new_orig_recursive_goals1712,70368
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
create_new_recursive_goals1727,71108
|
||||
:- func create_new_base_goals1738,71717
|
||||
create_new_base_goals1741,71831
|
||||
:- pred acc_unification1749,72156
|
||||
acc_unification1751,72225
|
||||
:- pred accu_top_level1766,72896
|
||||
accu_top_level1770,73058
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
update_accumulator_pred1859,76411
|
||||
:- func accu_rename1876,77253
|
||||
accu_rename1879,77363
|
||||
:- func base_case_ids1889,77784
|
||||
base_case_ids1891,77846
|
||||
:- func base_case_ids_set1898,78048
|
||||
base_case_ids_set1900,78113
|
||||
:- func accu_goal_list1905,78269
|
||||
accu_goal_list1907,78349
|
||||
:- pred calculate_goal_info1916,78680
|
||||
calculate_goal_info1918,78753
|
||||
:- func chain_subst1932,79319
|
||||
chain_subst1934,79378
|
||||
:- pred chain_subst_21938,79482
|
||||
chain_subst_21941,79576
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
unravel_univ1961,80340
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
identify_out_and_out_prime631,24632
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
accu_stage1693,27156
|
||||
:- pred accu_stage1_2727,28348
|
||||
accu_stage1_2731,28516
|
||||
:- pred accu_sets_init781,30558
|
||||
accu_sets_init783,30606
|
||||
:- func set_upto796,30985
|
||||
set_upto798,31040
|
||||
:- pred accu_before812,31499
|
||||
accu_before815,31640
|
||||
:- pred accu_assoc835,32478
|
||||
accu_assoc838,32618
|
||||
:- pred accu_construct862,33713
|
||||
accu_construct865,33857
|
||||
:- pred accu_construct_assoc896,35308
|
||||
accu_construct_assoc899,35458
|
||||
:- pred accu_update938,37070
|
||||
accu_update941,37211
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
member_lessthan_goalid967,38343
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
accu_is_associative989,39251
|
||||
:- pred associativity_assertion1014,40264
|
||||
associativity_assertion1017,40405
|
||||
:- pred commutativity_assertion1037,41243
|
||||
commutativity_assertion1040,41370
|
||||
:- pred accu_is_update1057,41953
|
||||
accu_is_update1060,42067
|
||||
:- pred is_associative_construction1078,42803
|
||||
is_associative_construction1081,42899
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
accu_stage21131,44947
|
||||
:- pred accu_substs_init1179,46958
|
||||
accu_substs_init1182,47098
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
acc_var_subst_init1198,47719
|
||||
:- pred create_new_var1207,48148
|
||||
create_new_var1210,48289
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
accu_process_assoc_set1229,49151
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
accu_has_heuristic1299,52162
|
||||
:- pred accu_heuristic1304,52337
|
||||
accu_heuristic1307,52458
|
||||
:- pred accu_process_update_set1318,52907
|
||||
accu_process_update_set1325,53222
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
accu_divide_base_case1385,56060
|
||||
:- pred accu_related1412,57147
|
||||
accu_related1415,57271
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
lookup_call1452,58716
|
||||
:- pred accu_stage31470,59433
|
||||
accu_stage31477,59827
|
||||
:- pred acc_proc_info1508,61327
|
||||
acc_proc_info1512,61486
|
||||
:- pred acc_pred_info1556,63450
|
||||
acc_pred_info1559,63598
|
||||
:- pred accu_create_goal1600,65286
|
||||
accu_create_goal1607,65629
|
||||
:- func create_acc_call1621,66401
|
||||
create_acc_call1625,66570
|
||||
:- pred create_orig_goal1634,66988
|
||||
create_orig_goal1638,67177
|
||||
:- pred create_acc_goal1662,68158
|
||||
create_acc_goal1667,68381
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
create_new_orig_recursive_goals1712,70369
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
create_new_recursive_goals1727,71109
|
||||
:- func create_new_base_goals1738,71718
|
||||
create_new_base_goals1741,71832
|
||||
:- pred acc_unification1749,72157
|
||||
acc_unification1751,72226
|
||||
:- pred accu_top_level1766,72897
|
||||
accu_top_level1770,73059
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
update_accumulator_pred1859,76412
|
||||
:- func accu_rename1876,77254
|
||||
accu_rename1879,77364
|
||||
:- func base_case_ids1889,77785
|
||||
base_case_ids1891,77847
|
||||
:- func base_case_ids_set1898,78049
|
||||
base_case_ids_set1900,78114
|
||||
:- func accu_goal_list1905,78270
|
||||
accu_goal_list1907,78350
|
||||
:- pred calculate_goal_info1916,78681
|
||||
calculate_goal_info1918,78754
|
||||
:- func chain_subst1932,79320
|
||||
chain_subst1934,79379
|
||||
:- pred chain_subst_21938,79483
|
||||
chain_subst_21941,79577
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
unravel_univ1961,80341
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
@ -3348,92 +3348,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -4328,60 +4328,60 @@ merc-src/accumulator.m,3228
|
||||
:- func initialize_goal_store570,22060
|
||||
:- pred accu_store580,22421
|
||||
:- pred identify_recursive_calls601,23288
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
:- pred accu_stage1_2727,28347
|
||||
:- pred accu_sets_init781,30557
|
||||
:- func set_upto796,30984
|
||||
:- pred accu_before812,31498
|
||||
:- pred accu_assoc835,32477
|
||||
:- pred accu_construct862,33712
|
||||
:- pred accu_construct_assoc896,35307
|
||||
:- pred accu_update938,37069
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
:- pred associativity_assertion1014,40263
|
||||
:- pred commutativity_assertion1037,41242
|
||||
:- pred accu_is_update1057,41952
|
||||
:- pred is_associative_construction1078,42802
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
:- pred accu_substs_init1179,46957
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
:- pred create_new_var1207,48147
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
:- pred accu_heuristic1304,52336
|
||||
:- pred accu_process_update_set1318,52906
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
:- pred accu_related1412,57146
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
:- pred accu_stage31470,59432
|
||||
:- pred acc_proc_info1508,61326
|
||||
:- pred acc_pred_info1556,63449
|
||||
:- pred accu_create_goal1600,65285
|
||||
:- func create_acc_call1621,66400
|
||||
:- pred create_orig_goal1634,66987
|
||||
:- pred create_acc_goal1662,68157
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
:- func create_new_base_goals1738,71717
|
||||
:- pred acc_unification1749,72156
|
||||
:- pred accu_top_level1766,72896
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
:- func accu_rename1876,77253
|
||||
:- func base_case_ids1889,77784
|
||||
:- func base_case_ids_set1898,78048
|
||||
:- func accu_goal_list1905,78269
|
||||
:- pred calculate_goal_info1916,78680
|
||||
:- func chain_subst1932,79319
|
||||
:- pred chain_subst_21938,79482
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
:- pred accu_stage1_2727,28348
|
||||
:- pred accu_sets_init781,30558
|
||||
:- func set_upto796,30985
|
||||
:- pred accu_before812,31499
|
||||
:- pred accu_assoc835,32478
|
||||
:- pred accu_construct862,33713
|
||||
:- pred accu_construct_assoc896,35308
|
||||
:- pred accu_update938,37070
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
:- pred associativity_assertion1014,40264
|
||||
:- pred commutativity_assertion1037,41243
|
||||
:- pred accu_is_update1057,41953
|
||||
:- pred is_associative_construction1078,42803
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
:- pred accu_substs_init1179,46958
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
:- pred create_new_var1207,48148
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
:- pred accu_heuristic1304,52337
|
||||
:- pred accu_process_update_set1318,52907
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
:- pred accu_related1412,57147
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
:- pred accu_stage31470,59433
|
||||
:- pred acc_proc_info1508,61327
|
||||
:- pred acc_pred_info1556,63450
|
||||
:- pred accu_create_goal1600,65286
|
||||
:- func create_acc_call1621,66401
|
||||
:- pred create_orig_goal1634,66988
|
||||
:- pred create_acc_goal1662,68158
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
:- func create_new_base_goals1738,71718
|
||||
:- pred acc_unification1749,72157
|
||||
:- pred accu_top_level1766,72897
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
:- func accu_rename1876,77254
|
||||
:- func base_case_ids1889,77785
|
||||
:- func base_case_ids_set1898,78049
|
||||
:- func accu_goal_list1905,78270
|
||||
:- pred calculate_goal_info1916,78681
|
||||
:- func chain_subst1932,79320
|
||||
:- pred chain_subst_21938,79483
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
@ -3103,92 +3103,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -4083,60 +4083,60 @@ merc-src/accumulator.m,3228
|
||||
:- func initialize_goal_store570,22060
|
||||
:- pred accu_store580,22421
|
||||
:- pred identify_recursive_calls601,23288
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
:- pred accu_stage1_2727,28347
|
||||
:- pred accu_sets_init781,30557
|
||||
:- func set_upto796,30984
|
||||
:- pred accu_before812,31498
|
||||
:- pred accu_assoc835,32477
|
||||
:- pred accu_construct862,33712
|
||||
:- pred accu_construct_assoc896,35307
|
||||
:- pred accu_update938,37069
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
:- pred associativity_assertion1014,40263
|
||||
:- pred commutativity_assertion1037,41242
|
||||
:- pred accu_is_update1057,41952
|
||||
:- pred is_associative_construction1078,42802
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
:- pred accu_substs_init1179,46957
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
:- pred create_new_var1207,48147
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
:- pred accu_heuristic1304,52336
|
||||
:- pred accu_process_update_set1318,52906
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
:- pred accu_related1412,57146
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
:- pred accu_stage31470,59432
|
||||
:- pred acc_proc_info1508,61326
|
||||
:- pred acc_pred_info1556,63449
|
||||
:- pred accu_create_goal1600,65285
|
||||
:- func create_acc_call1621,66400
|
||||
:- pred create_orig_goal1634,66987
|
||||
:- pred create_acc_goal1662,68157
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
:- func create_new_base_goals1738,71717
|
||||
:- pred acc_unification1749,72156
|
||||
:- pred accu_top_level1766,72896
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
:- func accu_rename1876,77253
|
||||
:- func base_case_ids1889,77784
|
||||
:- func base_case_ids_set1898,78048
|
||||
:- func accu_goal_list1905,78269
|
||||
:- pred calculate_goal_info1916,78680
|
||||
:- func chain_subst1932,79319
|
||||
:- pred chain_subst_21938,79482
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
:- pred accu_stage1_2727,28348
|
||||
:- pred accu_sets_init781,30558
|
||||
:- func set_upto796,30985
|
||||
:- pred accu_before812,31499
|
||||
:- pred accu_assoc835,32478
|
||||
:- pred accu_construct862,33713
|
||||
:- pred accu_construct_assoc896,35308
|
||||
:- pred accu_update938,37070
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
:- pred associativity_assertion1014,40264
|
||||
:- pred commutativity_assertion1037,41243
|
||||
:- pred accu_is_update1057,41953
|
||||
:- pred is_associative_construction1078,42803
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
:- pred accu_substs_init1179,46958
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
:- pred create_new_var1207,48148
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
:- pred accu_heuristic1304,52337
|
||||
:- pred accu_process_update_set1318,52907
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
:- pred accu_related1412,57147
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
:- pred accu_stage31470,59433
|
||||
:- pred acc_proc_info1508,61327
|
||||
:- pred acc_pred_info1556,63450
|
||||
:- pred accu_create_goal1600,65286
|
||||
:- func create_acc_call1621,66401
|
||||
:- pred create_orig_goal1634,66988
|
||||
:- pred create_acc_goal1662,68158
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
:- func create_new_base_goals1738,71718
|
||||
:- pred acc_unification1749,72157
|
||||
:- pred accu_top_level1766,72897
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
:- func accu_rename1876,77254
|
||||
:- func base_case_ids1889,77785
|
||||
:- func base_case_ids_set1898,78049
|
||||
:- func accu_goal_list1905,78270
|
||||
:- pred calculate_goal_info1916,78681
|
||||
:- func chain_subst1932,79320
|
||||
:- pred chain_subst_21938,79483
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
@ -4083,92 +4083,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -5074,108 +5074,108 @@ initialize_goal_store573,22166
|
||||
accu_store584,22576
|
||||
:- pred identify_recursive_calls601,23288
|
||||
identify_recursive_calls604,23406
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
identify_out_and_out_prime631,24631
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
accu_stage1693,27155
|
||||
:- pred accu_stage1_2727,28347
|
||||
accu_stage1_2731,28515
|
||||
:- pred accu_sets_init781,30557
|
||||
accu_sets_init783,30605
|
||||
:- func set_upto796,30984
|
||||
set_upto798,31039
|
||||
:- pred accu_before812,31498
|
||||
accu_before815,31639
|
||||
:- pred accu_assoc835,32477
|
||||
accu_assoc838,32617
|
||||
:- pred accu_construct862,33712
|
||||
accu_construct865,33856
|
||||
:- pred accu_construct_assoc896,35307
|
||||
accu_construct_assoc899,35457
|
||||
:- pred accu_update938,37069
|
||||
accu_update941,37210
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
member_lessthan_goalid967,38342
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
accu_is_associative989,39250
|
||||
:- pred associativity_assertion1014,40263
|
||||
associativity_assertion1017,40404
|
||||
:- pred commutativity_assertion1037,41242
|
||||
commutativity_assertion1040,41369
|
||||
:- pred accu_is_update1057,41952
|
||||
accu_is_update1060,42066
|
||||
:- pred is_associative_construction1078,42802
|
||||
is_associative_construction1081,42898
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
accu_stage21131,44946
|
||||
:- pred accu_substs_init1179,46957
|
||||
accu_substs_init1182,47097
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
acc_var_subst_init1198,47718
|
||||
:- pred create_new_var1207,48147
|
||||
create_new_var1210,48288
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
accu_process_assoc_set1229,49150
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
accu_has_heuristic1299,52161
|
||||
:- pred accu_heuristic1304,52336
|
||||
accu_heuristic1307,52457
|
||||
:- pred accu_process_update_set1318,52906
|
||||
accu_process_update_set1325,53221
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
accu_divide_base_case1385,56059
|
||||
:- pred accu_related1412,57146
|
||||
accu_related1415,57270
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
lookup_call1452,58715
|
||||
:- pred accu_stage31470,59432
|
||||
accu_stage31477,59826
|
||||
:- pred acc_proc_info1508,61326
|
||||
acc_proc_info1512,61485
|
||||
:- pred acc_pred_info1556,63449
|
||||
acc_pred_info1559,63597
|
||||
:- pred accu_create_goal1600,65285
|
||||
accu_create_goal1607,65628
|
||||
:- func create_acc_call1621,66400
|
||||
create_acc_call1625,66569
|
||||
:- pred create_orig_goal1634,66987
|
||||
create_orig_goal1638,67176
|
||||
:- pred create_acc_goal1662,68157
|
||||
create_acc_goal1667,68380
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
create_new_orig_recursive_goals1712,70368
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
create_new_recursive_goals1727,71108
|
||||
:- func create_new_base_goals1738,71717
|
||||
create_new_base_goals1741,71831
|
||||
:- pred acc_unification1749,72156
|
||||
acc_unification1751,72225
|
||||
:- pred accu_top_level1766,72896
|
||||
accu_top_level1770,73058
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
update_accumulator_pred1859,76411
|
||||
:- func accu_rename1876,77253
|
||||
accu_rename1879,77363
|
||||
:- func base_case_ids1889,77784
|
||||
base_case_ids1891,77846
|
||||
:- func base_case_ids_set1898,78048
|
||||
base_case_ids_set1900,78113
|
||||
:- func accu_goal_list1905,78269
|
||||
accu_goal_list1907,78349
|
||||
:- pred calculate_goal_info1916,78680
|
||||
calculate_goal_info1918,78753
|
||||
:- func chain_subst1932,79319
|
||||
chain_subst1934,79378
|
||||
:- pred chain_subst_21938,79482
|
||||
chain_subst_21941,79576
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
unravel_univ1961,80340
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
identify_out_and_out_prime631,24632
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
accu_stage1693,27156
|
||||
:- pred accu_stage1_2727,28348
|
||||
accu_stage1_2731,28516
|
||||
:- pred accu_sets_init781,30558
|
||||
accu_sets_init783,30606
|
||||
:- func set_upto796,30985
|
||||
set_upto798,31040
|
||||
:- pred accu_before812,31499
|
||||
accu_before815,31640
|
||||
:- pred accu_assoc835,32478
|
||||
accu_assoc838,32618
|
||||
:- pred accu_construct862,33713
|
||||
accu_construct865,33857
|
||||
:- pred accu_construct_assoc896,35308
|
||||
accu_construct_assoc899,35458
|
||||
:- pred accu_update938,37070
|
||||
accu_update941,37211
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
member_lessthan_goalid967,38343
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
accu_is_associative989,39251
|
||||
:- pred associativity_assertion1014,40264
|
||||
associativity_assertion1017,40405
|
||||
:- pred commutativity_assertion1037,41243
|
||||
commutativity_assertion1040,41370
|
||||
:- pred accu_is_update1057,41953
|
||||
accu_is_update1060,42067
|
||||
:- pred is_associative_construction1078,42803
|
||||
is_associative_construction1081,42899
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
accu_stage21131,44947
|
||||
:- pred accu_substs_init1179,46958
|
||||
accu_substs_init1182,47098
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
acc_var_subst_init1198,47719
|
||||
:- pred create_new_var1207,48148
|
||||
create_new_var1210,48289
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
accu_process_assoc_set1229,49151
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
accu_has_heuristic1299,52162
|
||||
:- pred accu_heuristic1304,52337
|
||||
accu_heuristic1307,52458
|
||||
:- pred accu_process_update_set1318,52907
|
||||
accu_process_update_set1325,53222
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
accu_divide_base_case1385,56060
|
||||
:- pred accu_related1412,57147
|
||||
accu_related1415,57271
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
lookup_call1452,58716
|
||||
:- pred accu_stage31470,59433
|
||||
accu_stage31477,59827
|
||||
:- pred acc_proc_info1508,61327
|
||||
acc_proc_info1512,61486
|
||||
:- pred acc_pred_info1556,63450
|
||||
acc_pred_info1559,63598
|
||||
:- pred accu_create_goal1600,65286
|
||||
accu_create_goal1607,65629
|
||||
:- func create_acc_call1621,66401
|
||||
create_acc_call1625,66570
|
||||
:- pred create_orig_goal1634,66988
|
||||
create_orig_goal1638,67177
|
||||
:- pred create_acc_goal1662,68158
|
||||
create_acc_goal1667,68381
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
create_new_orig_recursive_goals1712,70369
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
create_new_recursive_goals1727,71109
|
||||
:- func create_new_base_goals1738,71718
|
||||
create_new_base_goals1741,71832
|
||||
:- pred acc_unification1749,72157
|
||||
acc_unification1751,72226
|
||||
:- pred accu_top_level1766,72897
|
||||
accu_top_level1770,73059
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
update_accumulator_pred1859,76412
|
||||
:- func accu_rename1876,77254
|
||||
accu_rename1879,77364
|
||||
:- func base_case_ids1889,77785
|
||||
base_case_ids1891,77847
|
||||
:- func base_case_ids_set1898,78049
|
||||
base_case_ids_set1900,78114
|
||||
:- func accu_goal_list1905,78270
|
||||
accu_goal_list1907,78350
|
||||
:- pred calculate_goal_info1916,78681
|
||||
calculate_goal_info1918,78754
|
||||
:- func chain_subst1932,79320
|
||||
chain_subst1934,79379
|
||||
:- pred chain_subst_21938,79483
|
||||
chain_subst_21941,79577
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
unravel_univ1961,80341
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
@ -4083,92 +4083,92 @@ complete(328,10055
|
||||
add_active(340,10527
|
||||
parse(353,10949
|
||||
derived_analyses(364,11341
|
||||
build(378,11965
|
||||
buildact(392,12521
|
||||
mapsyn(412,13542
|
||||
add_edge(434,14278
|
||||
findcats(447,14758
|
||||
normalize_tree(465,15478
|
||||
normalize_trees(475,15856
|
||||
expandmng_tree(486,16248
|
||||
expandmng_trees(496,16614
|
||||
cat(511,17013
|
||||
subtree(644,21266
|
||||
hypothetical_mem(653,21565
|
||||
make_coor(667,22130
|
||||
start_up:-start_up688,23013
|
||||
tokenizeatom(710,23921
|
||||
tokenize(720,24348
|
||||
isoperator(752,25377
|
||||
isoptab(756,25431
|
||||
specialsymbol(765,25756
|
||||
sstab(771,25861
|
||||
parse_cgi(787,26347
|
||||
keyvalseq(792,26510
|
||||
andkeyvalseq(796,26609
|
||||
keyval(799,26688
|
||||
valseq(807,26920
|
||||
plusvalseq(810,27007
|
||||
val(816,27109
|
||||
argvals(824,27426
|
||||
commaargvals(828,27503
|
||||
atomval(833,27578
|
||||
atom(836,27640
|
||||
action(846,28004
|
||||
keyvalcgi(864,28649
|
||||
keyvalscgi(865,28670
|
||||
outsyn(868,28726
|
||||
act(876,29060
|
||||
actout(901,29906
|
||||
texttreelist(912,30089
|
||||
htmltreelist(918,30190
|
||||
fitchtreelist(924,30304
|
||||
pp_html_table_tree(938,30759
|
||||
pp_html_tree(949,31113
|
||||
pp_html_trees(988,32381
|
||||
pp_html_table_fitch_tree(999,32769
|
||||
pp_html_fitch_tree(1017,33672
|
||||
removeexp(1129,39002
|
||||
splitexp(1142,39490
|
||||
pp_exp(1155,39990
|
||||
map_word(1168,40249
|
||||
pp_exps(1180,40474
|
||||
pp_tree(1188,40777
|
||||
pp_trees(1216,41807
|
||||
pp_word_list(1225,42128
|
||||
pp_word(1231,42262
|
||||
pp_word_list_rest(1238,42569
|
||||
pp_cat(1248,42929
|
||||
pp_syn(1255,43196
|
||||
pp_syn_paren(1276,43899
|
||||
pp_paren(1293,44377
|
||||
pp_syn_back(1300,44661
|
||||
pp_bas_cat(1311,45001
|
||||
writecat(1322,45409
|
||||
writesubs(1351,46455
|
||||
writesups(1361,46757
|
||||
writelistsubs(1371,47090
|
||||
pp_lam(1380,47408
|
||||
pp_lam_bracket(1398,48022
|
||||
pp_lam_paren(1407,48338
|
||||
pp_rule(1429,49238
|
||||
member(1447,49866
|
||||
append_list(1451,49919
|
||||
append(1456,50010
|
||||
at_least_one_member(1460,50076
|
||||
numbervars(1464,50171
|
||||
reverse(1467,50209
|
||||
select(1471,50290
|
||||
select_last(1475,50357
|
||||
cat_atoms(1479,50436
|
||||
writelist(1485,50524
|
||||
write_lex_cat(1492,50676
|
||||
writebreaklex(1500,50988
|
||||
write_lex(1513,51265
|
||||
writebreak(1521,51541
|
||||
tt:-tt1531,51713
|
||||
mt:-mt1534,51784
|
||||
cmt:-cmt1537,51878
|
||||
build(378,11967
|
||||
buildact(392,12523
|
||||
mapsyn(412,13544
|
||||
add_edge(434,14280
|
||||
findcats(447,14760
|
||||
normalize_tree(465,15480
|
||||
normalize_trees(475,15858
|
||||
expandmng_tree(486,16250
|
||||
expandmng_trees(496,16616
|
||||
cat(511,17015
|
||||
subtree(644,21268
|
||||
hypothetical_mem(653,21567
|
||||
make_coor(667,22132
|
||||
start_up:-start_up688,23015
|
||||
tokenizeatom(710,23923
|
||||
tokenize(720,24350
|
||||
isoperator(752,25379
|
||||
isoptab(756,25433
|
||||
specialsymbol(765,25758
|
||||
sstab(771,25863
|
||||
parse_cgi(787,26349
|
||||
keyvalseq(792,26512
|
||||
andkeyvalseq(796,26611
|
||||
keyval(799,26690
|
||||
valseq(807,26922
|
||||
plusvalseq(810,27009
|
||||
val(816,27111
|
||||
argvals(824,27428
|
||||
commaargvals(828,27505
|
||||
atomval(833,27580
|
||||
atom(836,27642
|
||||
action(846,28006
|
||||
keyvalcgi(864,28651
|
||||
keyvalscgi(865,28672
|
||||
outsyn(868,28728
|
||||
act(876,29062
|
||||
actout(901,29908
|
||||
texttreelist(912,30091
|
||||
htmltreelist(918,30192
|
||||
fitchtreelist(924,30306
|
||||
pp_html_table_tree(938,30761
|
||||
pp_html_tree(949,31115
|
||||
pp_html_trees(988,32383
|
||||
pp_html_table_fitch_tree(999,32771
|
||||
pp_html_fitch_tree(1017,33674
|
||||
removeexp(1129,39004
|
||||
splitexp(1142,39492
|
||||
pp_exp(1155,39992
|
||||
map_word(1168,40251
|
||||
pp_exps(1180,40476
|
||||
pp_tree(1188,40779
|
||||
pp_trees(1216,41809
|
||||
pp_word_list(1225,42130
|
||||
pp_word(1231,42264
|
||||
pp_word_list_rest(1238,42571
|
||||
pp_cat(1248,42931
|
||||
pp_syn(1255,43198
|
||||
pp_syn_paren(1276,43901
|
||||
pp_paren(1293,44379
|
||||
pp_syn_back(1300,44663
|
||||
pp_bas_cat(1311,45003
|
||||
writecat(1322,45411
|
||||
writesubs(1351,46457
|
||||
writesups(1361,46759
|
||||
writelistsubs(1371,47092
|
||||
pp_lam(1380,47410
|
||||
pp_lam_bracket(1398,48024
|
||||
pp_lam_paren(1407,48340
|
||||
pp_rule(1429,49240
|
||||
member(1447,49868
|
||||
append_list(1451,49921
|
||||
append(1456,50012
|
||||
at_least_one_member(1460,50078
|
||||
numbervars(1464,50173
|
||||
reverse(1467,50211
|
||||
select(1471,50292
|
||||
select_last(1475,50359
|
||||
cat_atoms(1479,50438
|
||||
writelist(1485,50526
|
||||
write_lex_cat(1492,50678
|
||||
writebreaklex(1500,50990
|
||||
write_lex(1513,51267
|
||||
writebreak(1521,51543
|
||||
tt:-tt1531,51715
|
||||
mt:-mt1534,51786
|
||||
cmt:-cmt1537,51880
|
||||
|
||||
pyt-src/server.py,1438
|
||||
class Controls:Controls17,358
|
||||
@ -5074,108 +5074,108 @@ initialize_goal_store573,22166
|
||||
accu_store584,22576
|
||||
:- pred identify_recursive_calls601,23288
|
||||
identify_recursive_calls604,23406
|
||||
:- pred identify_out_and_out_prime626,24396
|
||||
identify_out_and_out_prime631,24631
|
||||
:- type accu_sets676,26425
|
||||
:- pred accu_stage1689,26977
|
||||
accu_stage1693,27155
|
||||
:- pred accu_stage1_2727,28347
|
||||
accu_stage1_2731,28515
|
||||
:- pred accu_sets_init781,30557
|
||||
accu_sets_init783,30605
|
||||
:- func set_upto796,30984
|
||||
set_upto798,31039
|
||||
:- pred accu_before812,31498
|
||||
accu_before815,31639
|
||||
:- pred accu_assoc835,32477
|
||||
accu_assoc838,32617
|
||||
:- pred accu_construct862,33712
|
||||
accu_construct865,33856
|
||||
:- pred accu_construct_assoc896,35307
|
||||
accu_construct_assoc899,35457
|
||||
:- pred accu_update938,37069
|
||||
accu_update941,37210
|
||||
:- pred member_lessthan_goalid964,38219
|
||||
member_lessthan_goalid967,38342
|
||||
:- type accu_assoc975,38652
|
||||
:- pred accu_is_associative986,39138
|
||||
accu_is_associative989,39250
|
||||
:- pred associativity_assertion1014,40263
|
||||
associativity_assertion1017,40404
|
||||
:- pred commutativity_assertion1037,41242
|
||||
commutativity_assertion1040,41369
|
||||
:- pred accu_is_update1057,41952
|
||||
accu_is_update1060,42066
|
||||
:- pred is_associative_construction1078,42802
|
||||
is_associative_construction1081,42898
|
||||
:- type accu_substs1095,43480
|
||||
:- type accu_base1103,43744
|
||||
:- pred accu_stage21124,44605
|
||||
accu_stage21131,44946
|
||||
:- pred accu_substs_init1179,46957
|
||||
accu_substs_init1182,47097
|
||||
:- pred acc_var_subst_init1194,47573
|
||||
acc_var_subst_init1198,47718
|
||||
:- pred create_new_var1207,48147
|
||||
create_new_var1210,48288
|
||||
:- pred accu_process_assoc_set1223,48862
|
||||
accu_process_assoc_set1229,49150
|
||||
:- pred accu_has_heuristic1297,52081
|
||||
accu_has_heuristic1299,52161
|
||||
:- pred accu_heuristic1304,52336
|
||||
accu_heuristic1307,52457
|
||||
:- pred accu_process_update_set1318,52906
|
||||
accu_process_update_set1325,53221
|
||||
:- pred accu_divide_base_case1380,55844
|
||||
accu_divide_base_case1385,56059
|
||||
:- pred accu_related1412,57146
|
||||
accu_related1415,57270
|
||||
:- inst stored_goal_plain_call1444,58415
|
||||
:- pred lookup_call1449,58601
|
||||
lookup_call1452,58715
|
||||
:- pred accu_stage31470,59432
|
||||
accu_stage31477,59826
|
||||
:- pred acc_proc_info1508,61326
|
||||
acc_proc_info1512,61485
|
||||
:- pred acc_pred_info1556,63449
|
||||
acc_pred_info1559,63597
|
||||
:- pred accu_create_goal1600,65285
|
||||
accu_create_goal1607,65628
|
||||
:- func create_acc_call1621,66400
|
||||
create_acc_call1625,66569
|
||||
:- pred create_orig_goal1634,66987
|
||||
create_orig_goal1638,67176
|
||||
:- pred create_acc_goal1662,68157
|
||||
create_acc_goal1667,68380
|
||||
:- func create_new_orig_recursive_goals1709,70225
|
||||
create_new_orig_recursive_goals1712,70368
|
||||
:- func create_new_recursive_goals1723,70918
|
||||
create_new_recursive_goals1727,71108
|
||||
:- func create_new_base_goals1738,71717
|
||||
create_new_base_goals1741,71831
|
||||
:- pred acc_unification1749,72156
|
||||
acc_unification1751,72225
|
||||
:- pred accu_top_level1766,72896
|
||||
accu_top_level1770,73058
|
||||
:- pred update_accumulator_pred1856,76290
|
||||
update_accumulator_pred1859,76411
|
||||
:- func accu_rename1876,77253
|
||||
accu_rename1879,77363
|
||||
:- func base_case_ids1889,77784
|
||||
base_case_ids1891,77846
|
||||
:- func base_case_ids_set1898,78048
|
||||
base_case_ids_set1900,78113
|
||||
:- func accu_goal_list1905,78269
|
||||
accu_goal_list1907,78349
|
||||
:- pred calculate_goal_info1916,78680
|
||||
calculate_goal_info1918,78753
|
||||
:- func chain_subst1932,79319
|
||||
chain_subst1934,79378
|
||||
:- pred chain_subst_21938,79482
|
||||
chain_subst_21941,79576
|
||||
:- some [T] pred unravel_univ1956,80060
|
||||
:- pragma foreign_export1957,80116
|
||||
unravel_univ1961,80340
|
||||
:- pred identify_out_and_out_prime626,24397
|
||||
identify_out_and_out_prime631,24632
|
||||
:- type accu_sets676,26426
|
||||
:- pred accu_stage1689,26978
|
||||
accu_stage1693,27156
|
||||
:- pred accu_stage1_2727,28348
|
||||
accu_stage1_2731,28516
|
||||
:- pred accu_sets_init781,30558
|
||||
accu_sets_init783,30606
|
||||
:- func set_upto796,30985
|
||||
set_upto798,31040
|
||||
:- pred accu_before812,31499
|
||||
accu_before815,31640
|
||||
:- pred accu_assoc835,32478
|
||||
accu_assoc838,32618
|
||||
:- pred accu_construct862,33713
|
||||
accu_construct865,33857
|
||||
:- pred accu_construct_assoc896,35308
|
||||
accu_construct_assoc899,35458
|
||||
:- pred accu_update938,37070
|
||||
accu_update941,37211
|
||||
:- pred member_lessthan_goalid964,38220
|
||||
member_lessthan_goalid967,38343
|
||||
:- type accu_assoc975,38653
|
||||
:- pred accu_is_associative986,39139
|
||||
accu_is_associative989,39251
|
||||
:- pred associativity_assertion1014,40264
|
||||
associativity_assertion1017,40405
|
||||
:- pred commutativity_assertion1037,41243
|
||||
commutativity_assertion1040,41370
|
||||
:- pred accu_is_update1057,41953
|
||||
accu_is_update1060,42067
|
||||
:- pred is_associative_construction1078,42803
|
||||
is_associative_construction1081,42899
|
||||
:- type accu_substs1095,43481
|
||||
:- type accu_base1103,43745
|
||||
:- pred accu_stage21124,44606
|
||||
accu_stage21131,44947
|
||||
:- pred accu_substs_init1179,46958
|
||||
accu_substs_init1182,47098
|
||||
:- pred acc_var_subst_init1194,47574
|
||||
acc_var_subst_init1198,47719
|
||||
:- pred create_new_var1207,48148
|
||||
create_new_var1210,48289
|
||||
:- pred accu_process_assoc_set1223,48863
|
||||
accu_process_assoc_set1229,49151
|
||||
:- pred accu_has_heuristic1297,52082
|
||||
accu_has_heuristic1299,52162
|
||||
:- pred accu_heuristic1304,52337
|
||||
accu_heuristic1307,52458
|
||||
:- pred accu_process_update_set1318,52907
|
||||
accu_process_update_set1325,53222
|
||||
:- pred accu_divide_base_case1380,55845
|
||||
accu_divide_base_case1385,56060
|
||||
:- pred accu_related1412,57147
|
||||
accu_related1415,57271
|
||||
:- inst stored_goal_plain_call1444,58416
|
||||
:- pred lookup_call1449,58602
|
||||
lookup_call1452,58716
|
||||
:- pred accu_stage31470,59433
|
||||
accu_stage31477,59827
|
||||
:- pred acc_proc_info1508,61327
|
||||
acc_proc_info1512,61486
|
||||
:- pred acc_pred_info1556,63450
|
||||
acc_pred_info1559,63598
|
||||
:- pred accu_create_goal1600,65286
|
||||
accu_create_goal1607,65629
|
||||
:- func create_acc_call1621,66401
|
||||
create_acc_call1625,66570
|
||||
:- pred create_orig_goal1634,66988
|
||||
create_orig_goal1638,67177
|
||||
:- pred create_acc_goal1662,68158
|
||||
create_acc_goal1667,68381
|
||||
:- func create_new_orig_recursive_goals1709,70226
|
||||
create_new_orig_recursive_goals1712,70369
|
||||
:- func create_new_recursive_goals1723,70919
|
||||
create_new_recursive_goals1727,71109
|
||||
:- func create_new_base_goals1738,71718
|
||||
create_new_base_goals1741,71832
|
||||
:- pred acc_unification1749,72157
|
||||
acc_unification1751,72226
|
||||
:- pred accu_top_level1766,72897
|
||||
accu_top_level1770,73059
|
||||
:- pred update_accumulator_pred1856,76291
|
||||
update_accumulator_pred1859,76412
|
||||
:- func accu_rename1876,77254
|
||||
accu_rename1879,77364
|
||||
:- func base_case_ids1889,77785
|
||||
base_case_ids1891,77847
|
||||
:- func base_case_ids_set1898,78049
|
||||
base_case_ids_set1900,78114
|
||||
:- func accu_goal_list1905,78270
|
||||
accu_goal_list1907,78350
|
||||
:- pred calculate_goal_info1916,78681
|
||||
calculate_goal_info1918,78754
|
||||
:- func chain_subst1932,79320
|
||||
chain_subst1934,79379
|
||||
:- pred chain_subst_21938,79483
|
||||
chain_subst_21941,79577
|
||||
:- some [T] pred unravel_univ1956,80061
|
||||
:- pragma foreign_export1957,80117
|
||||
unravel_univ1961,80341
|
||||
|
||||
c-src/c.c,76
|
||||
T f(1,0
|
||||
|
||||
Loading…
Reference in New Issue
Block a user