Kernel/src/elipsys_fd.c

50 #define Append_List3(fct, tag1,val1,tag2,val2,tag3,val3, list) {\
61 	if (*(list)) {				\
62 	    _pw2[1].val.ptr = *(list);		\
67 	*(list) = _pw2;				\
72 #define Append_List(wd, tag1, val1, tag2, val2, list){   \
82 	if (*(list)) {				\
83 	    _pw2[1].val.ptr = *(list);          \
88 	*(list) = _pw2;				\
144 static BOOLEAN		contigs(pword *StructTable, pword *Sequences, pword *Item, pword *Occurences, pword *Contigs, pword **list);
145 static BOOLEAN		disjunctive(pword *StructStarts, pword *StructDurations, pword *StructOrientations, pword **list);
146 static BOOLEAN		disjunction_choose(pword *x, pword *Dx, pword *y, pword *Dy, pword *branch, pword **list);
147 static BOOLEAN		sequences(pword *StructTable, pword *Sequences, pword *Item, pword *Occurences, pword **list);
239 dupdate_min(pword *p, word newmin, pword **list)
241   Append_List(d_update_min,TINT,newmin,p->tag.kernel,p->val.all, list);
247 dupdate_max(pword *p, word newmax, pword **list)
249     Append_List(d_update_max,TINT,newmax,p->tag.kernel,p->val.all, list);
254 static BOOLEAN setup_domain_greatereq(pword *ArgX, pword *ArgY, pword *ArgNb, pword **list)
259 	     ArgNb->tag.kernel,ArgNb->val.all, list);
265 dremove_value(pword *p, word v, pword **list)
280       Append_List(d_update_any,TINT,v,p->tag.kernel,p->val.all, list);
284       Append_List(d_update_min,TINT,v,p->tag.kernel,p->val.all, list);
288       Append_List(d_update_max,TINT,v,p->tag.kernel,p->val.all, list);
346   pword		*list = 0;
353     res = disjunctive(&P1,&P2,&P3, &list);
355 	if (list == (pword *) 0) {
358 	    Return_Unify_List(vl, tl, list)
465 disjunctive(pword *StructStarts, pword *StructDurations, pword *StructOrientations, pword **list)
978 		    if (_False(dupdate_min(AuxStart,earliest_start + sum_subset, list)))
1023 		    if (_False(dupdate_max(AuxStart,latest_end - sum_subset - durations[index_k], list)))
1090 		  if (_False(dupdate_max(AuxStart,max_start_possible_lasts-durations[index_i], list)))
1107 		  if (_False(dupdate_min(AuxStart, min_end_possible_firsts, list)))
1246   pword		*list = 0;
1255     res = contigs(&P1,&P2,&P3,&P4,&P5, &list);
1257 	if (list == (pword *) 0) {
1260 	    Return_Unify_List(vl, tl, list)
1274 static BOOLEAN contigs(pword *StructTable, pword *Sequences, pword *Item, pword *Occurences, pword *Contigs, pword **list)
1541 	       if (dremove_value(temp_item,item_value, list)) {;}
1567 	       if (dremove_value(temp_item,item_value, list)){;}
1705 	     if (dremove_value(temp_item,item_value, list)) {;}
1766 		 /* If there is an item in the list whose value has not been fixed    */
1807     if (_False(dupdate_min(Sequences,at_least_length, list)))
1827       if (_False(dupdate_max(Sequences,at_most_length, list)))
1915       if (_False(dupdate_min(Occurences,at_least_occurences, list)))
1925 	 if _False(dupdate_max(Occurences,at_most_occurences, list))
1946     if (_False(dupdate_min(Contigs,at_least_contigs, list)))
1956       if (_False(dupdate_max(Contigs,at_most_contigs, list)))
1976   pword		*list = 0;
1984     res = sequences(&P1,&P2,&P3,&P4, &list);
1986 	if (list == (pword *) 0) {
1989 	    Return_Unify_List(vl, tl, list)
2002 static BOOLEAN sequences(pword *StructTable, pword *Sequences, pword *Item, pword *Occurences, pword **list)
2242 	       if (dremove_value(temp_item,item_value, list)) {;}
2268 	       if (dremove_value(temp_item,item_value, list)){;}
2407 	     if (dremove_value(temp_item,item_value, list)) {;}
2455     if (_False(dupdate_min(Sequences,at_least_length, list)))
2475       if (_False(dupdate_max(Sequences,at_most_length, list)))
2563       if (_False(dupdate_min(Occurences,at_least_occurences, list)))
2573 	 if _False(dupdate_max(Occurences,at_most_occurences, list))
2595   pword		*list = 0;
2604     res = disjunction_choose(&P1,&P2,&P3,&P4,&P5, &list);
2606 	if (list == (pword *) 0) {
2609 	    Return_Unify_List(vl, tl, list)
2617 static BOOLEAN disjunction_choose(pword *x, pword *Dx, pword *y, pword *Dy, pword *branch, pword **list)
2645       res = setup_domain_greatereq(y,x,dx, list);
2659       res = setup_domain_greatereq(x,y,dy, list);
2689     res = setup_domain_greatereq(x,y,dy, list);
2700     res = setup_domain_greatereq(y,x,dx, list);