yap-6.2.2/BEAM/eam_am.c

946     if (a==NULL) { beam_OBX=o; return(a); }
1475 	beam_OBX=NULL;
1496         beam_OBX= (struct OR_BOX *) request_memory(ORBOX_SIZE);
1497 	beam_ABX->calls->call=beam_OBX;
1498 	beam_OBX->nr_call=beam_ABX->calls;
1499 	beam_OBX->parent=beam_ABX;
1500 	beam_OBX->nr_all_alternatives=1;
1501 	beam_OBX->eager_split=0;
1503 	beam_OBX->alternatives=(struct status_or *) request_memory(STATUS_OR_SIZE);
1504 	beam_OBX->alternatives->previous=NULL;
1505 	beam_OBX->alternatives->next=NULL;
1506 	beam_OBX->alternatives->args=NULL;
1507 	beam_OBX->alternatives->code=NULL;
1508 	beam_OBX->alternatives->state=RUNNING;
1511 	beam_OBX->alternatives->alternative=beam_ABX;
1512 	beam_ABX->parent=beam_OBX;
1513 	beam_ABX->nr_alternative=beam_OBX->alternatives;
1570 		         beam_OBX=beam_ABX->parent;
1577 			 beam_ABX=beam_OBX->parent;
1589 			  beam_OBX=beam_ABX->parent;
1612 			  if (beam_OBX->nr_all_alternatives==1 && beam_ABX->level>beam_OBX->parent->level) {
1614 			    if (beam_OBX->parent->parent==NULL) abort_eam("Null no top_tree ");
1619 			  if (beam_OBX->nr_all_alternatives>1) {
1626 			     beam_OBX=beam_ABX->parent;
1632 			     beam_OBX=beam_ABX->parent;
1666 			  if (beam_OBX->parent==beam_top) {
1672 			beam_ABX=beam_OBX->parent;
1673 			beam_nr_call=beam_OBX->nr_call;
1674 			del_orbox_and_sons(beam_OBX);
1685 			    beam_OBX=beam_ABX->parent;
1687 			    if (beam_OBX==NULL) {
1776 			beam_OBX=beam_ABX->parent;
1799 			beam_OBX=beam_ABX->parent;
1801 			if (beam_OBX==NULL) {
1806 			beam_OBX->nr_all_alternatives=beam_OBX->nr_all_alternatives-1;
1809 			else beam_OBX->alternatives=beam_nr_alternative->next;  /* apaguei o primeiro da lista */
1827 			if (beam_OBX==NULL) {
1834 			if (beam_OBX->nr_all_alternatives==0) {
1835 			  beam_ABX=beam_OBX->parent;
1838 			if (beam_OBX->nr_all_alternatives==1 && beam_ABX->level>beam_OBX->parent->level) {
1839 			    beam_nr_alternative=beam_OBX->alternatives;
1840 			    beam_ABX=beam_OBX->alternatives->alternative;
1842 			      beam_pc=beam_OBX->alternatives->code;
1845       		            if (beam_OBX->parent->parent==NULL) goto top_tree;
1849 			beam_nr_alternative=beam_OBX->alternatives;
1867 			beam_ABX=beam_OBX->parent;
1868 			beam_nr_call=beam_OBX->nr_call->next;
1880 			if (beam_OBX->parent->parent==NULL) {
1888 			      inc_level(beam_ABX,beam_OBX->parent->level-beam_ABX->level);
1903 			  beam_ABX=beam_OBX->parent;
1905 			  beam_nr_call=beam_OBX->nr_call;
1981 			    free_memory((Cell *) beam_OBX->alternatives,STATUS_OR_SIZE);
1982 			    free_memory((Cell *) beam_OBX,ORBOX_SIZE);
1984 			    beam_OBX=beam_ABX->parent;
2018                         beam_OBX=(struct OR_BOX *) request_memory(ORBOX_SIZE);
2019 			beam_nr_call->call=beam_OBX;
2021 			beam_OBX->nr_call=beam_nr_call;
2022 			beam_OBX->parent=beam_ABX;
2023 			beam_OBX->eager_split=beam_ES;
2025 			beam_OBX->nr_all_alternatives=nr;
2035 			      if (i==0) beam_OBX->alternatives=beam_nr_alternative;  else  p->next=beam_nr_alternative;
2047 			beam_nr_alternative=beam_OBX->alternatives;
2066 			if (beam_OBX->nr_all_alternatives>1 || beam_OBX->parent->parent==NULL) {
2074 			  beam_ABX->level=beam_OBX->parent->level+1;
2075 			  beam_ABX->parent=beam_OBX;
2084 			  beam_nr_call=beam_OBX->nr_call;
2085 			  beam_ABX=beam_OBX->parent;
2086 			  del_orbox_and_sons(beam_OBX);
2100 			  beam_OBX=beam_ABX->parent;
2220 			beam_OBX=beam_ABX->parent;
2240 			if (beam_OBX->eager_split) goto split;
2306 			  beam_OBX=beam_ABX->parent;
2324                             beam_OBX=(struct OR_BOX *) request_memory(ORBOX_SIZE);
2325 	 		    beam_nr_call->call=beam_OBX;
2327 			    beam_OBX->nr_call=beam_nr_call;
2328 			    beam_OBX->parent=beam_ABX;
2329 			    beam_OBX->eager_split=beam_ES;
2331  			    beam_OBX->nr_all_alternatives=NR_INDEXED;
2336 			      if (i==0) beam_OBX->alternatives=beam_nr_alternative;  else  p->next=beam_nr_alternative;
2365 			beam_nr_alternative=beam_OBX->alternatives;
2385  		        beam_OBX=beam_ABX->parent;
2399  		        beam_OBX=beam_ABX->parent;
2413  		        beam_OBX=beam_ABX->parent;
2471 			       beam_OBX=beam_ABX->parent;
2485  		         beam_OBX=beam_ABX->parent;
2521 		         beam_OBX=beam_ABX->parent;
2540  		        beam_OBX=beam_ABX->parent;
3383 			beam_OBX=beam_ABX->parent;
3400 …if (beam_ABX->externals!=NULL && beam_OBX->nr_all_alternatives>1) printf("cut com externals (noisy…
3401 …if (beam_ABX->externals!=NULL && beam_OBX->nr_all_alternatives==1) printf("cut com externals (dege…
3414 			          beam_OBX->nr_all_alternatives--;
3416 			       if (beam_OBX->nr_all_alternatives==1) {
3417 				  beam_nr_alternative=beam_OBX->alternatives;
3429 			beam_OBX=beam_ABX->parent;
3432 			  if (!is_leftmost(beam_OBX->parent,beam_OBX->nr_call)) {
3446 			    printf("Executando o commit (apaga %d alternatives) \n",beam_OBX->nr_all_alternatives-1);
3447 …if (beam_ABX->externals!=NULL && beam_OBX->nr_all_alternatives>1) printf("commit com externals (no…
3448 …if (beam_ABX->externals!=NULL && beam_OBX->nr_all_alternatives==1) printf("commit com externals (d…
3451 			    if (beam_OBX->nr_all_alternatives>1) {
3453 			      beam_OBX->nr_all_alternatives=1;
3454 			      new=beam_OBX->alternatives;
3455 			      beam_OBX->alternatives=beam_nr_alternative; /* fica a ser a unica alternativa */
3674   if (o==beam_OBX) printf("=> "); else printf("   ");