Lines Matching refs:mode
71 % :- mode init(uo) is det.
82 % :- mode is_empty(in) is semidet.
93 % :- mode member(in, out, out) is nondet.
119 % :- mode search(in, in, out) is semidet.
143 % :- mode lookup(in, in, out) is det.
168 % :- mode lower_bound_search(in, in, out, out) is semidet.
196 % :- mode lower_bound_lookup(in, in, out, out) is det.
225 % :- mode upper_bound_search(in, in, out, out) is semidet.
253 % :- mode upper_bound_lookup(in, in, out, out) is det.
282 % :- mode insert(in, in, in, out) is semidet.
283 % % :- mode insert(di_tree234, in, in, uo_tree234) is semidet.
284 % % :- mode insert(in, in, in, out) is semidet.
309 % :- mode set(di, di, di, uo) is det.
310 % % :- mode set(di_tree234, in, in, uo_tree234) is det.
311 % :- mode set(in, in, in, out) is det.
337 % :- mode delete(di, in, uo) is det.
338 % % :- mode delete(di_tree234, in, uo_tree234) is det.
339 % :- mode delete(in, in, out) is det.
363 % :- mode remove(di, in, uo, uo) is semidet.
364 % % :- mode remove(di_tree234, in, out, uo_tree234) is semidet.
365 % :- mode remove(in, in, out, out) is semidet.
390 % :- mode remove_smallest(di, uo, uo, uo) is semidet.
391 % % :- mode remove_smallest(di_tree234, out, out, uo_tree234)
393 % :- mode remove_smallest(in, out, out, out) is semidet.
418 % :- mode keys(in, out) is det.
439 % :- mode values(in, out) is det.
460 % :- mode update(in, in, in, out) is semidet.
461 % % :- mode update(di_tree234, in, in, uo_tree234) is det.
462 % % :- mode update(di, di, di, uo) is semidet.
488 % :- mode count(in, out) is det.
509 % :- mode assoc_list_to_tree234(in, out) is det.
529 % :- mode tree234_to_assoc_list(in, out) is det.
1208 % :- mode uo_two :: out(uniq_two(unique, unique, unique)).
1209 % :- mode suo_two :: out(uniq_two(ground, ground, uniq_tree234_gg)).
1210 % :- mode out_two :: out(two(ground, ground, ground)).
1212 % :- mode di_two :: di(uniq_two(unique, unique, unique)).
1213 % :- mode sdi_two :: di(uniq_two(ground, ground, uniq_tree234_gg)).
1214 % :- mode in_two :: in(two(ground, ground, ground)).
1216 % :- mode di_three :: di(uniq_three(unique, unique, unique)).
1217 % :- mode sdi_three :: di(uniq_three(ground, ground, uniq_tree234_gg)).
1218 % :- mode in_three :: in(three(ground, ground, ground)).
1220 % :- mode di_four :: di(uniq_four(unique, unique, unique)).
1221 % :- mode sdi_four :: di(uniq_four(ground, ground, uniq_tree234_gg)).
1222 % :- mode in_four :: in(four(ground, ground, ground)).
1227 % :- mode split_four(di_four, uo, uo, uo_two, uo_two) is det.
1228 % % :- mode split_four(sdi_four, out, out, suo_two, suo_two) is det.
1229 % :- mode split_four(in_four, out, out, out_two, out_two) is det.
1278 % :- mode insert2(di_two, di, di, uo) is semidet.
1279 % % :- mode insert2(sdi_two, in, in, uo_tree234) is semidet.
1280 % :- mode insert2(in_two, in, in, out) is semidet.
1375 % :- mode insert3(di_three, di, di, uo) is semidet.
1376 % % :- mode insert3(sdi_three, in, in, uo_tree234) is semidet.
1377 % :- mode insert3(in_three, in, in, out) is semidet.
1560 % :- mode set2(di_two, di, di, uo) is det.
1561 % % :- mode set2(sdi_two, in, in, uo_tree234) is det.
1562 % :- mode set2(in_two, in, in, out) is det.
1657 % :- mode set3(di_three, di, di, uo) is det.
1658 % % :- mode set3(sdi_three, in, in, uo_tree234) is det.
1659 % :- mode set3(in_three, in, in, out) is det.
1816 % :- mode delete_2(di, in, uo, out) is det.
1817 % :- mode delete_2(in, in, out, out) is det.
2063 % :- mode remove_2(di, in, uo, uo, out) is semidet.
2064 % :- mode remove_2(in, in, out, out, out) is semidet.
2316 % :- mode remove_smallest_2(di, uo, uo, uo, out) is semidet.
2317 % :- mode remove_smallest_2(in, out, out, out, out) is semidet.
2391 % :- mode fix_2node_t0(di, di, di, di, uo, out) is det.
2392 % :- mode fix_2node_t0(in, in, in, in, out, out) is det.
2421 % :- mode fix_2node_t1(di, di, di, di, uo, out) is det.
2422 % :- mode fix_2node_t1(in, in, in, in, out, out) is det.
2452 % :- mode fix_3node_t0(di, di, di, di, di, di, di, uo, out) is det.
2453 % :- mode fix_3node_t0(in, in, in, in, in, in, in, out, out) is det.
2484 % :- mode fix_3node_t1(di, di, di, di, di, di, di, uo, out) is det.
2485 % :- mode fix_3node_t1(in, in, in, in, in, in, in, out, out) is det.
2516 % :- mode fix_3node_t2(di, di, di, di, di, di, di, uo, out) is det.
2517 % :- mode fix_3node_t2(in, in, in, in, in, in, in, out, out) is det.
2549 % :- mode fix_4node_t0(di, di, di, di, di, di, di, di, di, di, uo, out) is det.
2550 % :- mode fix_4node_t0(in, in, in, in, in, in, in, in, in, in, out, out) is det.
2582 % :- mode fix_4node_t1(di, di, di, di, di, di, di, di, di, di, uo, out) is det.
2583 % :- mode fix_4node_t1(in, in, in, in, in, in, in, in, in, in, out, out) is det.
2615 % :- mode fix_4node_t2(di, di, di, di, di, di, di, di, di, di, uo, out) is det.
2616 % :- mode fix_4node_t2(in, in, in, in, in, in, in, in, in, in, out, out) is det.
2648 % :- mode fix_4node_t3(di, di, di, di, di, di, di, di, di, di, uo, out) is det.
2649 % :- mode fix_4node_t3(in, in, in, in, in, in, in, in, in, in, out, out) is det.
2684 % :- mode keys_2(in, in, out) is det.
2706 % :- mode values_2(in, in, out) is det.
2729 % :- mode assoc_list_to_tree234_2(in, in, out) is det.
2743 % :- mode tree234_to_assoc_list_2(in, in, out) is det.