| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | changeset.pl | 43 amode:monitor_changes_arr(+,+,+,+,-), label
106 amode:monitor_changes(+,+,+,+,+,-), label
|
| H A D | ic_make_overlap_bivs.pl | 215 amode:make_overlap_bivs(+,-,-,++,++), label
|
| H A D | ic_probe_search.pl | 302 amode:probe_search(+,+,++,++,+), label
|
| H A D | make_overlap_bivs.pl | 215 amode:make_overlap_bivs(+,-,-,++,++), label
|
| H A D | probe_search.pl | 303 amode:probe_search(+,+,++,++,+), label
|
| H A D | ic_probe.pl | 221 amode : set_up_probe(+,+,-,++,-), label
252 amode :add_con(+,++,+), label
|
| H A D | probe.pl | 220 amode : set_up_probe(+,+,-,++,-), label
251 amode :add_con(+,++,+), label
|
| H A D | ic_probing_for_scheduling.pl | 360 amode: fun_to_cons_var(+,-,-), label
379 amode:probe_sched(+,+,+,+,?), label
429 amode:probe_cstr_sched(+,+,+,++,+,-,++), label
|
| H A D | probing_for_scheduling.pl | 360 amode: fun_to_cons_var(+,-,-), label
379 amode:probe_sched(+,+,+,++,?), label
429 amode:probe_cstr_sched(+,+,+,++,+,-,++), label
|
| H A D | shadow_cons.pl | 53 amode:shadow_var(?,+,-), label
81 amode:shadow_call(+,?), label
|
| H A D | repair.pl | 358 amode: r_conflict(+,?), label
445 amode: r_conflict_prop(+,?), label
729 amode: tenable(?), label
799 amode: tent_get(?,?), label
847 amode: tent_set(?,++), label
998 amode: tent_is(-,+), label
1049 amode: tent_call(+,+,+), label
1200 amode:conflict_constraints(+,-), label
1254 amode: poss_conflict_vars(+,-), label
1274 amode label
[all...] |
| /barrelfish-master/usr/eclipseclp/Contrib/ |
| H A D | listut.pl | 165 amode:(nth0(+,+,-) is det), label
166 amode:(nth0(-,+,-) is nondet), label
167 amode:(nth0(-,-,-) is nondet), label
193 amode:(nth1(+,+,-) is det), label
194 amode:(nth1(-,+,-) is nondet), label
195 amode:(nth1(-,-,-) is nondet), label
233 amode:(nth0(+,+,-,-) is det), label
234 amode:(nth0(-,+,-,-) is nondet), label
235 amode:(nth0(-,-,-,-) is nondet), label
265 amode label
266 amode:(nth1(-,+,-,-) is nondet), label
267 amode:(nth1(-,-,-,-) is nondet), label
[all...] |
| H A D | cardinal_comments.pl | 151 amode: cardinality(?,?), label
178 amode: #(?,?), label
204 amode: glb(?,-), label
220 amode: poss(?,-), label
245 amode: glb_poss(?,-,-), label
272 amode: domain(?,-), label
296 amode: domain(?,?,?), label
335 amode: lub(?,-), label
351 amode: lub(?,-,-,-), label
383 amode label
412 amode: minimum(?,?), label
441 amode: union_var(?,?), label
464 amode: union_att(?,-), label
528 amode: set(?,++,++,+), label
571 amode: sets(+,++,++,+), label
617 amode: refine(++,?), label
645 amode: set_labeling(++,+), label
684 amode: set_labeling(?), label
722 amode: card_labeling(?), label
917 amode: all_disjoint(+), label
1000 amode: all_union(+,?), label
1069 amode: complement(?,++,?), label
1103 amode: complement(?,?), label
[all...] |
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | ordset.pl | 115 amode:(list_to_ord_set(+,-) is det), label
132 amode:(is_ordset(?) is semidet), label
152 amode:(ord_memberchk(?,+) is semidet), label
168 amode:(ord_del_element(+,?,-) is det), label
193 amode:(ord_selectchk(?,+,-) is semidet), label
212 amode:(ord_nonmember(?,+) is semidet), label
229 amode:(ord_compare(-,+,+) is semidet), label
272 amode:(ord_disjoint(+,+) is semidet), label
299 amode:(ord_insert(+,+,-) is det), label
310 amode label
341 amode:(ord_intersect(+,+) is semidet), label
366 amode:(ord_intersect(+,+,-) is det), label
379 amode:(ord_intersection(+,+,-) is det), label
415 amode:(ord_intersection(+,+,-,-,-) is det), label
455 amode:(ord_seteq(+,+) is semidet), label
471 amode:(ord_subset(+,+) is semidet), label
492 amode:(ord_superset(+,+) is semidet), label
507 amode:(ord_proper_subset(+,+) is semidet), label
529 amode:(ord_proper_superset(+,+) is semidet), label
545 amode:(ord_subtract(+,+,-) is det), label
578 amode:(ord_symdiff(+,+,-) is det), label
613 amode:(ord_union(+,+,-) is det), label
628 amode:(ord_union(+,+,-,-) is det), label
665 amode:(ord_disjoint_union(+,+,-) is semidet), label
694 amode:(ord_union(+,-) is det), label
717 amode:(ord_intersection(+,-) is det), label
[all...] |
| H A D | linearize.pl | 77 amode:linearize(?,-,-), label
130 amode:linrenorm(+,-), label
159 amode:delinearize(?,-), label
436 amode:polynorm(?,-,-), label
494 amode:polyrenorm(+,-), label
516 amode:polydenorm(?,-), label
554 amode:quadnorm(?,-,-,-,-,-), label
|
| H A D | branch_and_bound.pl | 776 amode:(bb_min(+,?,+) is nondet), label
873 amode:(bb_min_cost(+,?,-,+) is semidet), label
1028 amode:(bb_min(+,?,?,?,?,?) is semidet) label
|
| H A D | calendar.pl | 105 amode:date_to_mjd(++,?), label
111 amode:mjd_to_date(++,?), label
118 amode:ymd_to_mjd(++,?), label
124 amode:mjd_to_ymd(++,?), label
132 amode:time_to_mjd(++,?) label
138 amode:mjd_to_time(++,?) label
143 amode:mjd_to_weekday(++,?) label
149 amode:mjd_to_dy(++,?) label
156 amode:dy_to_mjd(++,?) label
165 amode label
175 amode:dwy_to_mjd(++,?) label
183 amode:mjd_to_dwy(++,++,?) label
191 amode:dwy_to_mjd(++,++,?) label
201 amode:mjd_to_ywd(++,?) label
212 amode:ywd_to_mjd(++,?) label
218 amode:unix_to_mjd(++,?) label
224 amode:mjd_to_unix(++,?) label
229 amode:mjd_now(?) label
236 amode:jd_to_mjd(++,?) label
243 amode:mjd_to_jd(++,?) label
249 amode:easter_mjd(+,?), label
[all...] |
| H A D | fd.pl | 3223 amode: integers(+), label
3237 amode: labeling(+), label
|
| H A D | lists.pl | 287 amode:(collection_to_list(+,-) is semidet), label
406 amode:(collection_to_array(+,-) is semidet), label
506 amode:(halve(+,-,-) is det), label
531 amode:(splice(+,+,-) is det), label
532 amode:(splice(-,-,+) is multi), label
587 amode:(shuffle(+,-) is det), label
610 amode:(print_list(+) is det), label
622 amode:(middle_out(+,-) is det), label
654 amode:(select(+,+,-) is nondet), % redundant, but common label
655 amode label
656 amode:(select(-,-,-) is multi), label
709 amode:(delete(+,+,-) is nondet), % redundant, but common label
710 amode:(delete(-,+,-) is nondet), % redundant, but common label
711 amode:(delete(-,-,-) is multi), label
736 amode:(intersection(+,+,-) is det), label
766 amode:(length(+,+) is semidet), label
767 amode:(length(+,-) is det), label
768 amode:(length(-,+) is det), label
769 amode:(length(-,-) is multi), label
803 amode:(member(-,+) is nondet), label
804 amode:(member(+,-) is nondet), label
805 amode:(member(-,-) is multi), label
831 amode:(memberchk(+,+) is semidet), label
832 amode:(memberchk(+,-) is det), label
855 amode:(nonmember(+,+) is semidet), label
880 amode:(subtract(+,+,-) is det), label
909 amode:(union(+,+,-) is det), label
938 amode:(reverse(+,-) is det), label
962 amode:(append(+,+,-) is det), label
963 amode:(append(-,-,+) is multi), label
986 amode:(checklist(+,+)), label
1014 amode:(flatten(+,-) is det), label
1044 amode:(flatten(++,+,-) is det), label
1083 amode:(maplist(+,+,-)), label
1084 amode:(maplist(+,-,+)), label
1114 amode:(subset(-,+) is multi), label
[all...] |
| H A D | remote_tools.pl | 165 amode: attach_tools(?,++,?), label
226 amode: attached(?), label
|
| H A D | asm.pl | 277 amode:(pasm(+,-,-,-) is semidet), label
298 amode:(portable_object_code(++) is semidet), label
|
| /barrelfish-master/usr/eclipseclp/Mercury/ |
| H A D | m_tree234.pl | 73 amode: init(-), label
84 amode: is_empty(+), label
95 amode: member(+, ?, ?), label
121 amode: search(+, ++, ?), label
145 amode: lookup(+, ++, ?), label
170 amode: lower_bound_search(+, ++, ?, ?), label
198 amode: lower_bound_lookup(+, ++, ?, ?), label
227 amode: upper_bound_search(+, ++, ?, ?), label
255 amode: upper_bound_lookup(+, ++, ?, ?), label
286 amode label
313 amode: set(+, ++, ?, -), label
341 amode: delete(+, ++, -), label
367 amode: remove(+, ++, ?, -), label
395 amode: remove_smallest(+, ?, ?, -), label
420 amode: keys(+, -), label
441 amode: values(+, -), label
464 amode: update(+, ++, ?, -), label
490 amode: count(+, ?), label
511 amode: assoc_list_to_tree234(+, -), label
531 amode: tree234_to_assoc_list(+, -), label
[all...] |
| H A D | mercury.pl | 37 amode: error(++), label
50 amode: report_lookup_error(++, ++, ?), label
|
| H A D | m_map.pl | 105 amode: init(-), label
116 amode: is_empty(+), label
127 amode: contains(+, ++), label
149 amode: member(+, ?, ?), label
176 amode: search(+, ++, ?), label
200 amode: lookup(+, ++, ?), label
225 amode: lower_bound_search(+, ++, ?, ?), label
253 amode: lower_bound_lookup(+, ++, ?, ?), label
282 amode: upper_bound_search(+, ++, ?, ?), label
310 amode label
339 amode: inverse_search(+, ?, ?), label
363 amode: insert(+, ++, ?, -), label
388 amode: det_insert(+, ++, ?, -), label
414 amode: det_insert_from_corresponding_lists(+, ++, ?, -), label
441 amode: det_insert_from_assoc_list(+, +, -), label
466 amode: update(+, ++, ?, -), label
491 amode: det_update(+, ++, ?, -), label
518 amode: set(+, ++, ?, -), label
544 amode: keys(+, -), label
565 amode: sorted_keys(+, -), label
587 amode: values(+, -), label
608 amode: to_assoc_list(+, -), label
630 amode: to_sorted_assoc_list(+, -), label
652 amode: from_assoc_list(+, -), label
672 amode: from_sorted_assoc_list(+, -), label
693 amode: delete(+, ++, -), label
718 amode: delete_list(+, ++, -), label
742 amode: remove(+, ++, ?, -), label
767 amode: det_remove(+, ++, ?, -), label
793 amode: count(+, ?), label
814 amode: from_corresponding_lists(++, ?, -), label
835 amode: merge(+, +, -), label
861 amode: overlay(+, +, -), label
889 amode: select(+, ++, -), label
912 amode: apply_to_list(++, +, ?), label
937 amode: optimize(+, -), label
960 amode: remove_smallest(+, ?, ?, -), label
[all...] |
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
| H A D | ech.pl | 2516 amode: constraints(+), label
2546 amode: in_chrstore(+), label
2561 amode: option(++,++), label
|