ECLiPSe 7.2 Alphabetic Predicate Index

1. ! / 0 → kernel/control
2. # / 2 → lib/fd_sets
3. # / 2 → lib/ic_hybrid_sets
4. # / 2 → lib/ic_sets
5. # / 2 → lib/conjunto
6. # / 2 → lib_public/cardinal
7. # / 3 → lib/fd
8. ## / 2 → lib/fd
9. ## / 3 → lib/fd
10. #/\ / 2 → lib/clpfd
11. #/\ / 2 → lib/fd
12. #/\ / 3 → lib/fd
13. #:: / 2 → lib/gfd
14. #:: / 2 → lib/suspend
15. #:: / 2 → lib/fd
16. #:: / 2 → lib/ic
17. #:: / 3 → lib/gfd
18. #:: / 3 → lib/suspend
19. #:: / 3 → lib/fd
20. #:: / 3 → lib/ic
21. #< / 2 → lib/gfd
22. #< / 2 → lib/suspend
23. #< / 2 → lib/fd
24. #< / 2 → lib/ic
25. #< / 3 → lib/gfd
26. #< / 3 → lib/suspend
27. #< / 3 → lib/fd
28. #< / 3 → lib/ic
29. #<= / 2 → lib/fd
30. #<= / 3 → lib/fd
31. #<== / 2 → lib/clpfd
32. #<==> / 2 → lib/clpfd
33. #<=> / 2 → lib/fd
34. #<=> / 3 → lib/fd
35. #= / 2 → lib/gfd
36. #= / 2 → lib/suspend
37. #= / 2 → lib/fd
38. #= / 2 → lib/ic
39. #= / 3 → lib/gfd
40. #= / 3 → lib/suspend
41. #= / 3 → lib/fd
42. #= / 3 → lib/ic
43. #=< / 2 → lib/gfd
44. #=< / 2 → lib/suspend
45. #=< / 2 → lib/ic
46. #=< / 3 → lib/gfd
47. #=< / 3 → lib/suspend
48. #=< / 3 → lib/ic
49. #==> / 2 → lib/clpfd
50. #=> / 2 → lib/fd
51. #=> / 3 → lib/fd
52. #> / 2 → lib/gfd
53. #> / 2 → lib/suspend
54. #> / 2 → lib/fd
55. #> / 2 → lib/ic
56. #> / 3 → lib/gfd
57. #> / 3 → lib/suspend
58. #> / 3 → lib/fd
59. #> / 3 → lib/ic
60. #>= / 2 → lib/gfd
61. #>= / 2 → lib/suspend
62. #>= / 2 → lib/fd
63. #>= / 2 → lib/ic
64. #>= / 3 → lib/gfd
65. #>= / 3 → lib/suspend
66. #>= / 3 → lib/fd
67. #>= / 3 → lib/ic
68. #\ / 1 → lib/clpfd
69. #\+ / 1 → lib/fd
70. #\+ / 2 → lib/fd
71. #\/ / 2 → lib/clpfd
72. #\/ / 2 → lib/fd
73. #\/ / 3 → lib/fd
74. #\= / 2 → lib/gfd
75. #\= / 2 → lib/suspend
76. #\= / 2 → lib/fd
77. #\= / 2 → lib/ic
78. #\= / 3 → lib/gfd
79. #\= / 3 → lib/suspend
80. #\= / 3 → lib/fd
81. #\= / 3 → lib/ic
82. $:: / 2 → lib/eplex
83. $:: / 2 → lib/suspend
84. $:: / 2 → lib/ic
85. $:: / 3 → lib/suspend
86. $:: / 3 → lib/ic
87. $< / 2 → lib/suspend
88. $< / 2 → lib/ic
89. $< / 3 → lib/suspend
90. $< / 3 → lib/ic
91. $= / 2 → lib/eplex
92. $= / 2 → lib/suspend
93. $= / 2 → lib/colgen
94. $= / 2 → lib/ic
95. $= / 3 → lib/suspend
96. $= / 3 → lib/ic
97. $=< / 2 → lib/eplex
98. $=< / 2 → lib/suspend
99. $=< / 2 → lib/colgen
100. $=< / 2 → lib/ic
101. $=< / 3 → lib/suspend
102. $=< / 3 → lib/ic
103. $> / 2 → lib/suspend
104. $> / 2 → lib/ic
105. $> / 3 → lib/suspend
106. $> / 3 → lib/ic
107. $>= / 2 → lib/eplex
108. $>= / 2 → lib/suspend
109. $>= / 2 → lib/colgen
110. $>= / 2 → lib/ic
111. $>= / 3 → lib/suspend
112. $>= / 3 → lib/ic
113. $\= / 2 → lib/suspend
114. $\= / 2 → lib/ic
115. $\= / 3 → lib/suspend
116. $\= / 3 → lib/ic
117. & / 2 → lib/par_util
118. &:: / 2 → lib/ic_symbolic
119. &:: / 2 → lib/sd
120. &< / 2 → lib/ic_symbolic
121. &< / 3 → lib/ic_symbolic
122. &= / 2 → lib/ic_symbolic
123. &= / 2 → lib/sd
124. &= / 3 → lib/ic_symbolic
125. &= / 3 → lib/sd
126. &=< / 2 → lib/ic_symbolic
127. &=< / 3 → lib/ic_symbolic
128. &> / 2 → lib/ic_symbolic
129. &> / 3 → lib/ic_symbolic
130. &>= / 2 → lib/ic_symbolic
131. &>= / 3 → lib/ic_symbolic
132. &\= / 2 → lib/ic_symbolic
133. &\= / 2 → lib/sd
134. &\= / 3 → lib/ic_symbolic
135. &\= / 3 → lib/sd
136. * / 3 → kernel/arithmetic
137. *-> / 2 → kernel/control
138. + / 2 → kernel/arithmetic
139. + / 3 → kernel/arithmetic
140. +\ / 2 → lib_public/lambda
141. +\ / 3 → lib_public/lambda
142. +\ / 4 → lib_public/lambda
143. +\ / 5 → lib_public/lambda
144. +\ / 6 → lib_public/lambda
145. +\ / 7 → lib_public/lambda
146. , / 2 → kernel/control
147. - / 2 → kernel/arithmetic
148. - / 3 → kernel/arithmetic
149. -> / 2 → kernel/control
150. -?-> / 1 → kernel/control
151. . / 2 → kernel/compiler
152. . / 3 → lib/cprolog
153. / / 3 → kernel/arithmetic
154. // / 3 → kernel/arithmetic
155. /\ / 3 → kernel/arithmetic
156. : / 2 → kernel/control
157. :: / 2 → lib/fd_sets
158. :: / 2 → lib/gfd
159. :: / 2 → lib/ic_hybrid_sets
160. :: / 2 → lib/ic_sets
161. :: / 2 → lib/suspend
162. :: / 2 → lib/fd
163. :: / 2 → lib/ic
164. :: / 3 → lib/gfd
165. :: / 3 → lib/suspend
166. :: / 3 → lib/fd
167. :: / 3 → lib/ic
168. :~ / 2 → lib/tentative
169. ; / 2 → kernel/control
170. < / 2 → kernel/arithmetic
171. < / 2 → lib/iso_light
172. < / 2 → lib/suspend
173. < / 2 → lib/ic
174. < / 2 → lib/iso_strict
175. < / 3 → lib/suspend
176. << / 3 → kernel/arithmetic
177. <=> / 2 → lib/gfd
178. <=> / 2 → lib/ic
179. <=> / 3 → lib/gfd
180. <=> / 3 → lib/ic
181. = / 2 → kernel/termcomp
182. =.. / 2 → kernel/termmanip
183. =:= / 2 → kernel/arithmetic
184. =:= / 2 → lib/iso_light
185. =:= / 2 → lib/suspend
186. =:= / 2 → lib/ic
187. =:= / 2 → lib/iso_strict
188. =:= / 3 → lib/suspend
189. =< / 2 → kernel/arithmetic
190. =< / 2 → lib/iso_light
191. =< / 2 → lib/suspend
192. =< / 2 → lib/ic
193. =< / 2 → lib/iso_strict
194. =< / 3 → lib/suspend
195. == / 2 → kernel/termcomp
196. ==== / 2 → lib/test_util
197. => / 2 → lib/eplex
198. => / 2 → lib/gfd
199. => / 2 → lib/suspend
200. => / 2 → lib/ic
201. => / 3 → lib/gfd
202. => / 3 → lib/suspend
203. => / 3 → lib/ic
204. =@= / 2 → lib/swi
205. =\= / 2 → kernel/arithmetic
206. =\= / 2 → lib/iso_light
207. =\= / 2 → lib/suspend
208. =\= / 2 → lib/ic
209. =\= / 2 → lib/iso_strict
210. =\= / 3 → lib/suspend
211. > / 2 → kernel/arithmetic
212. > / 2 → lib/iso_light
213. > / 2 → lib/suspend
214. > / 2 → lib/ic
215. > / 2 → lib/iso_strict
216. > / 3 → lib/suspend
217. >= / 2 → kernel/arithmetic
218. >= / 2 → lib/iso_light
219. >= / 2 → lib/suspend
220. >= / 2 → lib/ic
221. >= / 2 → lib/iso_strict
222. >= / 3 → lib/suspend
223. >> / 3 → kernel/arithmetic
224. ?= / 2 → lib/swi
225. @ / 2 → kernel/control
226. @< / 2 → kernel/termcomp
227. @=< / 2 → kernel/termcomp
228. @> / 2 → kernel/termcomp
229. @>= / 2 → kernel/termcomp
230. \ / 1 → lib_public/lambda
231. \ / 2 → kernel/arithmetic
232. \ / 2 → lib_public/lambda
233. \ / 3 → lib_public/lambda
234. \ / 4 → lib_public/lambda
235. \ / 5 → lib_public/lambda
236. \ / 6 → lib_public/lambda
237. \ / 7 → lib_public/lambda
238. \+ / 1 → kernel/control
239. \/ / 3 → kernel/arithmetic
240. \= / 2 → kernel/termcomp
241. \== / 2 → kernel/termcomp
242. \=@= / 2 → lib/swi
243. ^ / 2 → kernel/control
244. ^ / 3 → kernel/arithmetic
245. ^ / 3 → lib_public/lambda
246. ^ / 4 → lib_public/lambda
247. ^ / 5 → lib_public/lambda
248. ^ / 6 → lib_public/lambda
249. ^ / 7 → lib_public/lambda
250. ^ / 8 → lib_public/lambda
251. ^ / 9 → lib_public/lambda
252. `$ / 2 → lib_public/cardinal
253. `-@ / 2 → lib_public/cardinal
254. `/= / 2 → lib_public/cardinal
255. `:: / 2 → lib/conjunto_fd_sets
256. `:: / 2 → lib/conjunto
257. `:: / 2 → lib_public/cardinal
258. `< / 2 → lib/conjunto_fd_sets
259. `< / 2 → lib/conjunto
260. `< / 2 → lib_public/cardinal
261. `<> / 2 → lib/conjunto_fd_sets
262. `<> / 2 → lib/conjunto
263. `<> / 2 → lib_public/cardinal
264. `= / 2 → lib/conjunto_fd_sets
265. `= / 2 → lib/conjunto
266. `= / 2 → lib_public/cardinal
267. `>= / 2 → lib_public/cardinal
268. `@ / 2 → lib_public/cardinal
269. ~ / 1 → kernel/control
270. ~= / 2 → kernel/termcomp
271. ~= / 2 → lib/notinstance
272. ~=< / 2 → lib/notinstance
273. abolish / 1 → kernel/compiler
274. abolish / 1 → lib/iso_light
275. abolish / 1 → lib/quintus
276. abolish / 2 → lib/cprolog
277. abolish / 2 → lib/quintus
278. abolish / 2 → lib/sepia
279. abolish_body / 3 → lib/sepia
280. abolish_op / 2 → kernel/obsolete
281. abolish_record / 1 → kernel/obsolete
282. abort / 0 → kernel/control
283. abs / 2 → kernel/arithmetic
284. absolute_file_name / 2 → lib/quintus
285. ac_eq / 3 → lib/ic
286. accept / 3 → kernel/iostream
287. acos / 2 → kernel/arithmetic
288. acyclic_term / 1 → kernel/typetest
289. add_attribute / 2 → kernel/termmanip
290. add_attribute / 3 → kernel/termmanip
291. add_con / 3 → lib/probe
292. add_con / 3 → lib/ic_probe
293. add_path / 1 → lib/util
294. add_suffix / 1 → lib/util
295. add_to_heap / 4 → lib/heaps
296. add_visualizer / 3 → lib_public/visualization
297. after_event_timer → kernel/env
298. aggregate_result / 1 → lib/instprofile
299. alarm / 1 → kernel/opsys
300. all_different / 1 → lib/clpfd
301. all_disjoint / 1 → lib/fd_sets
302. all_disjoint / 1 → lib/ic_hybrid_sets
303. all_disjoint / 1 → lib/ic_sets
304. all_disjoint / 1 → lib/conjunto
305. all_disjoint / 1 → lib_public/fzn_ic
306. all_disjoint / 1 → lib_public/cardinal
307. all_disjoint / 1 → lib_public/fzn_fd
308. all_distinct / 1 → lib/clpfd
309. all_eq / 2 → lib/gfd
310. all_ge / 2 → lib/gfd
311. all_gt / 2 → lib/gfd
312. all_intersection / 2 → lib/fd_sets
313. all_intersection / 2 → lib/ic_hybrid_sets
314. all_intersection / 2 → lib/ic_sets
315. all_le / 2 → lib/gfd
316. all_lt / 2 → lib/gfd
317. all_min_cuts / 8 → lib_public/all_min_cuts
318. all_min_cuts / 9 → lib_public/all_min_cuts
319. all_min_cuts → lib_public/all_min_cuts
320. all_min_cuts_eplex / 7 → lib_public/all_min_cuts_eplex
321. all_min_cuts_eplex / 8 → lib_public/all_min_cuts_eplex
322. all_min_cuts_eplex → lib_public/all_min_cuts_eplex
323. all_min_cuts_list / 5 → lib_public/all_min_cuts
324. all_ne / 2 → lib/gfd
325. all_ordered / 2 → lib/ic_hybrid_sets
326. all_same_length / 1 → lib/lists
327. all_same_length / 2 → lib/lists
328. all_short_paths_as_edges / 6 → lib/graph_algorithms
329. all_short_paths_as_graph / 6 → lib/graph_algorithms
330. all_solutions / 1 → lib/ic_gap_sbdd
331. all_solutions / 1 → lib/ic_gap_sbds
332. all_solutions / 2 → lib/ic_gap_sbdd
333. all_solutions / 2 → lib/ic_gap_sbds
334. all_union / 2 → lib/fd_sets
335. all_union / 2 → lib/ic_hybrid_sets
336. all_union / 2 → lib/ic_sets
337. all_union / 2 → lib/conjunto
338. all_union / 2 → lib_public/cardinal
339. all_union_lex / 2 → lib/ic_hybrid_sets
340. alldifferent / 1 → lib/gfd
341. alldifferent / 1 → lib/fd_global
342. alldifferent / 1 → lib/ic_symbolic
343. alldifferent / 1 → lib/sd
344. alldifferent / 1 → lib/ic_global
345. alldifferent / 1 → lib/fd
346. alldifferent / 1 → lib/ic
347. alldifferent / 1 → lib_public/fd_global_gac
348. alldifferent / 1 → lib_public/ic_global_gac
349. alldifferent / 2 → lib/fd_global
350. alldifferent / 2 → lib/ic_symbolic
351. alldifferent / 2 → lib/ic_global
352. alldifferent_cst / 2 → lib/gfd
353. alldifferent_cst / 2 → lib/ic
354. alldifferent_matrix / 1 → lib/fd_global
355. alldifferent_matrix / 1 → lib/ic_global
356. alldifferent_matrix / 1 → lib_public/fd_global_gac
357. alldifferent_matrix / 1 → lib_public/ic_global_gac
358. alldifferent_t / 2 → lib/tentative_constraints
359. alldifferent_t / 3 → lib/tentative_constraints
360. alldistinct / 1 → lib/fd
361. allsols → kernel/allsols
362. als / 1 → kernel/compiler
363. among / 4 → lib/gfd
364. analyse / 1 → lib/mode_analyser
365. and / 2 → lib/gfd
366. and / 2 → lib/suspend
367. and / 2 → lib/ic
368. and / 3 → lib/gfd
369. and / 3 → lib/suspend
370. and / 3 → lib/ic
371. and_to_list / 2 → lib_public/flat
372. anti_unify / 3 → lib/anti_unify
373. anti_unify → lib/anti_unify
374. append / 2 → lib/lists
375. append / 3 → lib/lists
376. append_element / 3 → lib_public/list_collection
377. append_list / 3 → lib_public/list_collection
378. append_strings / 3 → kernel/stratom
379. applic → lib_public/applic
380. appliedpos / 2 → lib/ech
381. applist / 2 → lib/apply_macros
382. apply / 2 → lib/apply
383. apply / 2 → lib_public/applic
384. apply → lib/apply
385. apply_ / 3 → lib/apply
386. apply_macros → lib/apply_macros
387. apply_to_list / 3 → lib_public/m_map
388. appnodes / 2 → lib/apply_macros
389. aref / 3 → lib_public/logarr
390. arefa / 3 → lib_public/logarr
391. arefl / 3 → lib_public/logarr
392. arg / 3 → kernel/termmanip
393. arg / 3 → lib/cprolog
394. arg / 3 → lib/quintus
395. argc / 1 → kernel/opsys
396. args / 3 → lib/lists_of_structures
397. argument_number / 4 → lib_public/vis_structures
398. argv / 2 → kernel/opsys
399. arithmetic → kernel/arithmetic
400. arity / 2 → kernel/termmanip
401. array / 1 → kernel/storage
402. array / 2 → kernel/storage
403. array / 3 → lib/sepia
404. array_body / 4 → lib/sepia
405. array_concat / 3 → kernel/termmanip
406. array_flat / 3 → kernel/termmanip
407. array_length / 2 → lib_public/arrays
408. array_list / 2 → kernel/termmanip
409. array_sort / 4 → kernel/termcomp
410. array_to_list / 2 → lib_public/arrays
411. array_to_list / 2 → lib_public/logarr
412. arrays → lib_public/arrays
413. articulation_points / 2 → lib/graph_algorithms
414. aset / 4 → lib_public/logarr
415. asin / 2 → kernel/arithmetic
416. asm / 2 → lib/asm
417. asm / 3 → lib/asm
418. asm → lib/asm
419. assert / 1 → kernel/dynamic
420. asserta / 1 → kernel/dynamic
421. asserta / 1 → lib/iso_light
422. assertz / 1 → kernel/dynamic
423. assertz / 1 → lib/iso_light
424. assoc → lib_public/assoc
425. assoc_list_to_tree234 / 2 → lib_public/m_tree234
426. assoc_to_keys / 2 → lib_public/assoc
427. assoc_to_list / 2 → lib_public/assoc
428. assoc_to_values / 2 → lib_public/assoc
429. asymmetric / 1 → lib_public/grasper
430. at / 2 → kernel/iostream
431. at_end_of_stream / 0 → lib/iso_light
432. at_end_of_stream / 1 → lib/iso_light
433. at_eof / 1 → kernel/iostream
434. atan / 2 → kernel/arithmetic
435. atan / 3 → kernel/arithmetic
436. atleast / 3 → lib/gfd
437. atleast / 3 → lib/fd_global
438. atleast / 3 → lib/ic_global
439. atmost / 3 → lib/gfd
440. atmost / 3 → lib/fd_global
441. atmost / 3 → lib/ic_symbolic
442. atmost / 3 → lib/ic_global
443. atmost / 3 → lib/fd
444. atom / 1 → kernel/typetest
445. atom_chars / 2 → lib/iso_light
446. atom_chars / 2 → lib/quintus
447. atom_codes / 2 → lib/iso_light
448. atom_concat / 3 → lib/iso_light
449. atom_length / 2 → kernel/stratom
450. atom_length / 2 → lib/iso_light
451. atom_string / 2 → kernel/stratom
452. atom_subscripts → kernel/env
453. atomic / 1 → kernel/typetest
454. atomics_to_string / 2 → kernel/stratom
455. atomics_to_string / 3 → kernel/stratom
456. attach_suspensions / 2 → kernel/suspensions
457. attach_tools / 0 → lib/remote_tools
458. attach_tools / 3 → lib/remote_tools
459. attached / 1 → lib/remote_tools
460. attached_suspensions / 2 → kernel/suspensions
461. attribute / 1 → lib/atts
462. attribute declaration → kernel/termmanip
463. atts → lib/atts
464. atts_handlers_init / 0 → lib/atts
465. atts_subset / 3 → lib/atts
466. attvar / 1 → lib/dynamic_attributes
467. autoload / 2 → kernel/obsolete
468. autoload_tool / 2 → kernel/obsolete
469. b_external / 1 → kernel/obsolete
470. b_external / 2 → kernel/obsolete
471. bag_abolish / 1 → kernel/storage
472. bag_count / 2 → kernel/storage
473. bag_create / 1 → kernel/storage
474. bag_dissolve / 2 → kernel/storage
475. bag_enter / 2 → kernel/storage
476. bag_erase / 1 → kernel/storage
477. bag_inter / 3 → lib_public/bags
478. bag_retrieve / 2 → kernel/storage
479. bag_to_list / 2 → lib_public/bags
480. bag_to_set / 2 → lib_public/bags
481. bag_union / 3 → lib_public/bags
482. bagmax / 2 → lib_public/bags
483. bagmin / 2 → lib_public/bags
484. bagof / 3 → kernel/allsols
485. bags → lib_public/bags
486. bar_is_no_atom → kernel/env
487. bar_is_semicolon → kernel/env
488. based_bignums → kernel/env
489. bb_cost / 2 → lib/branch_and_bound
490. bb_finish / 1 → lib/branch_and_bound
491. bb_inf / 3 → lib/mip
492. bb_inf / 4 → lib/mip
493. bb_init / 2 → lib/branch_and_bound
494. bb_min / 3 → lib/branch_and_bound
495. bb_min / 6 → lib/branch_and_bound
496. bb_min_cost / 4 → lib/branch_and_bound
497. bb_options / struct → lib/branch_and_bound
498. bb_probe / 7 → lib/branch_and_bound
499. bb_solution / 2 → lib/branch_and_bound
500. begin_module / 1 → kernel/obsolete
501. best-first search → lib/best_first_search
502. best_first_search → lib/best_first_search
503. between / 3 → lib/util
504. between / 3 → lib/swi
505. between / 3 → lib_public/between
506. between / 4 → kernel/arithmetic
507. between → lib_public/between
508. bfs → lib/bfs
509. bfs_branch / 1 → lib/bfs
510. bfs_branch / 2 → lib/bfs
511. bfs_branch / 3 → lib/bfs
512. bfs_deg_est / 2 → lib/bfs
513. bfs_enhanced / 2 → lib/bfs
514. bfs_fracvar / 1 → lib/bfs
515. bfs_get / 3 → lib/bfs
516. bfs_global_cut / 2 → lib/bfs
517. bfs_impose_node_state / 2 → lib/bfs
518. bfs_instance / 1 → lib/bfs
519. bfs_integers / 2 → lib/bfs
520. bfs_minimize / 3 → lib/best_first_search
521. bfs_minimize / 4 → lib/best_first_search
522. bfs_minimize_eplex_node / 2 → lib/bfs
523. bfs_node_cost / 2 → lib/bfs
524. bfs_node_info / 3 → lib/bfs
525. bfs_node_info / 6 → lib/bfs
526. bfs_set / 3 → lib/bfs
527. bfs_solve / 2 → lib/bfs
528. bfs_solver_setup / 3 → lib/bfs
529. bfs_solver_setup / 4 → lib/bfs
530. bfs_statistics / 1 → lib/bfs
531. bfs_strong / 2 → lib/bfs
532. bfs_update_pseudocosts / 1 → lib/bfs
533. bfs_var_get / 4 → lib/bfs
534. biconnected_components / 3 → lib/graph_algorithms
535. bin_packing / 3 → lib/gfd
536. bin_packing / 3 → lib/fd_global
537. bin_packing / 3 → lib/ic_global
538. bin_packing / 4 → lib/gfd
539. bin_packing / 4 → lib/fd_global
540. bin_packing / 4 → lib/ic_global
541. bin_packing_g / 3 → lib/gfd
542. bin_packing_md / 3 → lib/gfd
543. bin_packing_md / 4 → lib/gfd
544. binary_to_list / 4 → lib_public/flat
545. binary_to_list / 5 → lib_public/flat
546. bind / 2 → kernel/iostream
547. bipartite matching → lib/graph_algorithms
548. blanks_after_sign → kernel/env
549. blanks_in_nil → kernel/env
550. block / 1 → lib/sicstus
551. block / 3 → kernel/obsolete
552. bool_channeling / 3 → lib/gfd
553. bool_channeling / 3 → lib/fd_global
554. bool_channeling / 3 → lib/ic_global
555. branch-and-bound → lib/branch_and_bound
556. branch-and-bound → lib/best_first_search
557. branch_and_bound → lib/branch_and_bound
558. break / 0 → lib/toplevel
559. break / 0 → lib/quintus
560. break_level → kernel/env
561. breal / 1 → kernel/typetest
562. breal / 2 → kernel/arithmetic
563. breal_bounds / 3 → kernel/arithmetic
564. breal_from_bounds / 3 → kernel/arithmetic
565. breal_max / 2 → kernel/arithmetic
566. breal_min / 2 → kernel/arithmetic
567. bsi / 0 → lib/sepia
568. bsi / 1 → lib/sepia
569. byte_count / 2 → lib/swi
570. bytes → kernel/stratom
571. bytes_to_term / 2 → kernel/termmanip
572. C / 3 → kernel/termmanip
573. c_compile_and_load / 1 → lib/util
574. calendar → lib/calendar
575. call / 1 → kernel/control
576. call / 2 → kernel/obsolete
577. call → kernel/control
578. call_c / 2 → kernel/externals
579. call_explicit / 2 → kernel/obsolete
580. call_graph / 3 → lib/xref
581. call_priority / 2 → kernel/suspensions
582. call_residue / 2 → lib/sicstus
583. call_satisfied_constraints / 0 → lib/repair
584. call_timeout_safe / 1 → lib/timeout
585. callable / 1 → kernel/typetest
586. callable / 1 → lib_public/applic
587. cancel_after_event / 1 → kernel/obsolete
588. cancel_after_event / 2 → kernel/event
589. canonical_iset / 2 → lib_public/intervals
590. canonical_path_name / 2 → kernel/opsys
591. card_labeling / 1 → lib_public/cardinal
592. cardinal → lib_public/cardinal
593. cardinal / struct → lib_public/cardinal
594. cardinality / 2 → lib_public/cardinal
595. catch / 3 → kernel/control
596. ccompile / 1 → lib/coverage
597. ccompile / 2 → lib/coverage
598. cd / 1 → kernel/opsys
599. cdeletethreshold / 2 → lib/ech
600. ceiling / 2 → kernel/arithmetic
601. cg_subproblem_solution / 1 → lib/colgen
602. cgi → lib/cgi
603. chain / 2 → lib/clpfd
604. changeset → lib/changeset
605. char_code / 2 → kernel/termmanip
606. char_conversion / 2 → lib/iso_light
607. char_int / 2 → kernel/obsolete
608. character_count / 2 → lib/swi
609. character_count / 2 → lib/quintus
610. chars → kernel/stratom
611. check_pairapplied / 6 → lib/ech
612. check_pairapplied_direct / 6 → lib/ech
613. check_pairapplied_directmarked / 8 → lib/ech
614. check_samepairapplied / 6 → lib/ech
615. check_samepairapplied_direct / 6 → lib/ech
616. check_samepairapplied_directmarked / 8 → lib/ech
617. checkand / 2 → lib_public/applic
618. checkbag / 2 → lib_public/bags
619. checklist / 2 → lib/apply_macros
620. checklist / 2 → lib/lists
621. checklist / 2 → lib_public/applic
622. chr / 1 → lib/chr
623. chr / 1 → lib/ech
624. chr / 2 → lib/ech
625. chr → lib/chr
626. CHR= / 2 → lib/chr
627. chr_delayed_goals_handler / 3 → lib/chr
628. chr_get_constraint / 1 → lib/chr
629. chr_get_constraint / 1 → lib/ech
630. chr_get_constraint / 2 → lib/chr
631. chr_get_constraint / 2 → lib/ech
632. chr_get_gconstraint / 2 → lib/ech
633. chr_get_vconstraint / 3 → lib/ech
634. chr_label_with / 1 → lib/chr
635. chr_labeling / 0 → lib/chr
636. chr_notrace / 0 → lib/chr
637. chr_opium / 0 → lib/chr
638. chr_resolve / 1 → lib/chr
639. chr_start_handler / 3 → lib/chr
640. chr_trace / 0 → lib/chr
641. chr2pl / 1 → lib/chr
642. CHRalready_in / 1 → lib/chr
643. CHRcheck_and_mark_applied / 2 → lib/chr
644. CHRcheck_and_mark_applied / 5 → lib/chr
645. CHRdelay / 2 → lib/chr
646. CHRfail / 0 → lib/chr
647. CHRgen_num / 1 → lib/chr
648. CHRget_delayed_goals / 2 → lib/chr
649. CHRhead_not_kept / 1 → lib/chr
650. CHRkeep_heads_checking / 4 → lib/chr
651. CHRkeep_heads_checking / 6 → lib/chr
652. CHRkill / 1 → lib/chr
653. CHRnonvar / 1 → lib/chr
654. CHRvar / 1 → lib/chr
655. chtab / 2 → kernel/modules
656. chtab / 2 → kernel/modules
657. chtab / 2 → kernel/modules
658. chtab → kernel/syntax
659. cio → lib/cio
660. circuit / 1 → lib/gfd
661. circuit / 1 → lib/ic
662. circuit / 3 → lib/gfd
663. circuit / 4 → lib/gfd
664. circuit_g / 1 → lib/gfd
665. circuit_g / 3 → lib/gfd
666. circuit_g / 4 → lib/gfd
667. circuit_offset / 2 → lib/gfd
668. circuit_offset / 4 → lib/gfd
669. circuit_offset / 5 → lib/gfd
670. circuit_offset_g / 2 → lib/gfd
671. circuit_offset_g / 4 → lib/gfd
672. circuit_offset_g / 5 → lib/gfd
673. clause / 1 → kernel/dynamic
674. clause / 2 → kernel/dynamic
675. clause / 2 → lib/iso_light
676. close / 1 → kernel/iostream
677. close / 2 → kernel/iostream
678. close_delta_file / 0 → lib/instprofile
679. close_sender / 1 → lib/notify_ports
680. close_sender / 2 → lib/notify_ports
681. close_visualization / 1 → lib_public/visualization
682. clpfd → lib/clpfd
683. clrbit / 3 → kernel/arithmetic
684. coca / 1 → lib/chr
685. codes → kernel/stratom
686. colgen → lib/colgen
687. colgen_instance / 1 → lib/colgen
688. collate_time_logs / 4 → lib/time_log
689. collect_all_pool_constraints / 2 → lib/constraint_pools
690. collect_typed_pool_constraints / 3 → lib/constraint_pools
691. collection_to_list / 2 → lib/eclipse_6
692. collection_to_list / 2 → lib/lists
693. comment / 2 → kernel/directives
694. comment_to_html / 2 → lib/document
695. compare / 3 → kernel/termcomp
696. compare_instances / 3 → kernel/termcomp
697. compile / 1 → kernel/compiler
698. compile / 2 → kernel/compiler
699. compile_pattern / 3 → lib/regex
700. compile_selection / 0 → lib/util
701. compile_stream / 1 → kernel/compiler
702. compile_term / 1 → kernel/compiler
703. compile_term / 2 → kernel/compiler
704. compile_term_annotated / 3 → kernel/compiler
705. compiled / 0 → lib/util
706. compiled_file / 2 → lib/sepia
707. compiled_stream / 1 → kernel/compiler
708. compiler → kernel/compiler
709. complement / 2 → lib_public/cardinal
710. complement / 3 → lib_public/cardinal
711. complementary_graph / 2 → lib_public/grasper
712. compose / 3 → lib_public/graphs
713. compound / 1 → kernel/typetest
714. concat / 2 → lib/matrix_util
715. concat_atom / 2 → kernel/stratom
716. concat_atoms / 3 → kernel/stratom
717. concat_string / 2 → kernel/stratom
718. concat_strings / 3 → kernel/stratom
719. concurrency → lib/concurrency
720. concurrent / 3 → lib/concurrency
721. concurrent_or / 3 → lib/concurrency
722. condition_signal / 2 → kernel/engines
723. condition_wait / 2 → kernel/engines
724. Conditional → kernel/control
725. Conditional → kernel/control
726. config_opts → lib/config_opts
727. conflict_constraints / 1 → lib/repair
728. conflict_constraints / 2 → lib/repair
729. conflict_vars / 1 → lib/repair
730. conjunto → lib/conjunto
731. conjunto_fd_sets → lib/conjunto_fd_sets
732. connect / 2 → kernel/iostream
733. connected / 1 → lib_public/grasper
734. connected_components / 2 → lib/graph_algorithms
735. constraint_pools → lib/constraint_pools
736. constraintnumpos / 2 → lib/ech
737. constraints / 1 → lib/ech
738. constraints / 2 → lib/ech
739. constraints_number / 2 → lib/fd
740. construct_group / 8 → lib/sym_expr
741. consult / 1 → lib/cprolog
742. contains / 2 → lib_public/occur
743. contains / 2 → lib_public/m_map
744. control → kernel/control
745. convert_time / 2 → lib/swi
746. convlist / 3 → lib_public/applic
747. copy / 2 → lib_public/metutl
748. copy_ground / 3 → lib_public/struct
749. copy_term / 2 → kernel/termmanip
750. copy_term / 3 → kernel/termmanip
751. copy_term / 3 → lib/dynamic_attributes
752. copy_term handler → kernel/termmanip
753. copy_term_nat / 2 → lib/dynamic_attributes
754. copy_term_vars / 3 → kernel/termmanip
755. copysign / 3 → kernel/arithmetic
756. coroutine / 0 → kernel/obsolete
757. coroutine → kernel/env
758. correspond / 4 → lib_public/listut
759. cos / 2 → kernel/arithmetic
760. count / 2 → lib_public/m_tree234
761. count / 2 → lib_public/m_map
762. count / 4 → lib/gfd
763. count → kernel/control
764. count_matches / 4 → lib/gfd
765. coverage → lib/coverage
766. coverof / 3 → kernel/allsols
767. cprolog / 0 → lib/sepia
768. cprolog / 1 → lib/sepia
769. cprolog → lib/cprolog
770. cputime / 1 → kernel/opsys
771. cpviz → lib_public/cpviz
772. create / 2 → lib_public/list_collection
773. create_applied / 2 → lib/ech
774. create_constraint_pool / 3 → lib/constraint_pools
775. create_module / 1 → kernel/modules
776. create_module / 3 → kernel/modules
777. create_visualization / 2 → lib_public/visualization
778. critical_links / 2 → lib/graph_algorithms
779. cs_all / 2 → lib/tentative
780. cs_all_violated / 2 → lib/tentative
781. cs_all_worst / 2 → lib/tentative
782. cs_clear_all / 1 → lib/tentative
783. cs_clear_satisfied / 1 → lib/tentative
784. cs_create / 2 → lib/tentative
785. cs_current_violations / 2 → lib/tentative
786. cs_random_violated / 2 → lib/tentative
787. cs_random_worst / 2 → lib/tentative
788. cs_violations / 2 → lib/tentative
789. csv → lib/csv
790. csv_options / 2 → lib/csv
791. csv_options / struct → lib/csv
792. csv_read / 3 → lib/csv
793. csv_read_row / 2 → lib/csv
794. csv_read_row / 3 → lib/csv
795. cumulative / 2 → lib/clpfd
796. cumulative / 4 → lib/gfd
797. cumulative / 4 → lib/ic_edge_finder3
798. cumulative / 4 → lib/cumulative
799. cumulative / 4 → lib/edge_finder3
800. cumulative / 4 → lib/edge_finder
801. cumulative / 4 → lib/ic_edge_finder
802. cumulative / 4 → lib/ic_cumulative
803. cumulative / 5 → lib/ic_edge_finder3
804. cumulative / 5 → lib/edge_finder3
805. cumulative / 5 → lib/edge_finder
806. cumulative / 5 → lib/ic_edge_finder
807. cumulative → lib/cumulative
808. cumulative_optional / 5 → lib/gfd
809. cumulatives / 5 → lib/gfd
810. cumulatives_g / 5 → lib/gfd
811. cumulatives_min / 5 → lib/gfd
812. cumulatives_min_g / 5 → lib/gfd
813. curly_args_as_list → kernel/env
814. current_after_event / 1 → kernel/obsolete
815. current_after_events / 1 → kernel/event
816. current_array / 2 → kernel/storage
817. current_array / 3 → lib/sepia
818. current_array_body / 4 → lib/sepia
819. current_atom / 1 → kernel/typetest
820. current_built_in / 1 → kernel/compiler
821. current_char_conversion / 2 → lib/iso_light
822. current_compiled_file / 3 → kernel/compiler
823. current_domain / 3 → kernel/termcomp
824. current_error / 1 → kernel/event
825. current_flag / 1 → lib/swi
826. current_functor / 1 → kernel/typetest
827. current_functor / 2 → lib/cprolog
828. current_functor / 2 → lib/swi
829. current_host / 1 → lib/sockets
830. current_input / 1 → lib/iso_light
831. current_input / 1 → lib/quintus
832. current_interrupt / 2 → kernel/event
833. current_key / 2 → lib/quintus
834. current_macro / 4 → kernel/syntax
835. current_module / 1 → kernel/modules
836. current_module / 2 → lib/quintus
837. current_module_predicate / 2 → kernel/compiler
838. current_op / 3 → kernel/syntax
839. current_op / 3 → lib/iso_light
840. current_output / 1 → lib/iso_light
841. current_output / 1 → lib/quintus
842. current_pragma / 1 → kernel/compiler
843. current_predicate / 1 → kernel/compiler
844. current_predicate / 2 → lib/cprolog
845. current_predicate / 2 → lib/swi
846. current_prolog_flag / 2 → lib/iso_light
847. current_prolog_flag / 2 → lib/iso_strict
848. current_record / 1 → kernel/record
849. current_signal / 3 → lib/swi
850. current_store / 1 → kernel/storage
851. current_stream / 1 → kernel/iostream
852. current_stream / 3 → kernel/obsolete
853. current_struct / 1 → kernel/obsolete
854. current_struct / 2 → kernel/syntax
855. current_suspension / 1 → kernel/suspensions
856. current_trigger / 1 → kernel/suspensions
857. cursor / struct → lib/dbi
858. cursor_all_execute / 2 → lib/dbi
859. cursor_all_tuples / 2 → lib/dbi
860. cursor_close / 1 → lib/dbi
861. cursor_N_execute / 4 → lib/dbi
862. cursor_N_tuples / 4 → lib/dbi
863. cursor_next_execute / 2 → lib/dbi
864. cursor_next_execute / 3 → lib/dbi
865. cursor_next_tuple / 2 → lib/dbi
866. Cut → kernel/control
867. cwd → kernel/env
868. cwd_scope → kernel/env
869. cycle / 3 → lib_public/cycle
870. cycle / 4 → lib_public/cycle
871. cycle → lib_public/cycle
872. cyclic term → kernel/typetest
873. cyclic_term / 1 → lib/swi
874. date / 1 → kernel/opsys
875. date and time → lib/calendar
876. date_to_mjd / 2 → lib/calendar
877. daVinci → lib/daVinci
878. daVinci_begin / 0 → lib/daVinci
879. daVinci_draw_graph / 1 → lib/daVinci
880. daVinci_edge / 3 → lib/daVinci
881. daVinci_edge_attribute / 3 → lib/daVinci
882. daVinci_end / 0 → lib/daVinci
883. daVinci_exit / 0 → lib/daVinci
884. daVinci_node / 1 → lib/daVinci
885. daVinci_node / 2 → lib/daVinci
886. daVinci_node_attribute / 3 → lib/daVinci
887. db_reference / 1 → lib/cprolog
888. dbgcomp / 0 → kernel/obsolete
889. dbi → lib/dbi
890. debug / 0 → kernel/debug
891. debug / 1 → kernel/debug
892. debug → kernel/debug
893. debug → kernel/directives
894. debug → kernel/compiler
895. debug_compile → kernel/env
896. debug_reset / 0 → kernel/debug
897. debugging / 0 → kernel/debug
898. debugging → kernel/env
899. declare_externals / 1 → lib/foreign
900. declare_externals / 2 → lib/foreign
901. decval / 1 → kernel/storage
902. default_domain / 1 → lib/fd
903. default_language → kernel/env
904. define_error / 2 → kernel/obsolete
905. define_global_macro / 3 → lib/sepia
906. define_global_macro_ / 4 → lib/sepia
907. define_local_macro / 3 → lib/sepia
908. define_macro / 3 → kernel/obsolete
909. defined_modules / 2 → lib/instrument
910. del_attr / 2 → lib/dynamic_attributes
911. del_attrs / 1 → lib/dynamic_attributes
912. delay / 2 → kernel/obsolete
913. delay / 2 → lib/sepia
914. delayed_goals / 1 → kernel/suspensions
915. delayed_goals / 2 → kernel/suspensions
916. delayed_goals_handler / 3 → lib/toplevel
917. delayed_goals_number / 2 → kernel/suspensions
918. delayed_goals_number / 2 → lib/ic_kernel
919. delayed_goals_number / 2 → lib/ic
920. delayed_goals_number handler → kernel/termmanip
921. delete / 1 → kernel/opsys
922. delete / 3 → lib/lists
923. delete / 3 → lib_public/listut
924. delete / 3 → lib_public/m_tree234
925. delete / 3 → lib_public/m_map
926. delete / 5 → lib/gfd_search
927. delete / 5 → lib/fd_search
928. delete / 5 → lib/ic
929. delete_list / 3 → lib_public/m_map
930. deleteff / 3 → lib/sd
931. deleteff / 3 → lib/fd
932. deleteffc / 3 → lib/fd
933. deletemin / 3 → lib/fd
934. delinearize / 2 → lib/linearize
935. demon / 1 → kernel/compiler
936. demon_suspend / 4 → lib/ic_probe_support
937. demon_suspend / 4 → lib/probe_support
938. denominator / 2 → kernel/arithmetic
939. deprecated / 2 → kernel/compiler
940. deprecated → kernel/compiler
941. det_insert / 4 → lib_public/m_map
942. det_insert_from_assoc_list / 3 → lib_public/m_map
943. det_insert_from_corresponding_lists / 4 → lib_public/m_map
944. det_remove / 4 → lib_public/m_map
945. det_update / 4 → lib_public/m_map
946. dichotomic search → lib/branch_and_bound
947. dif / 2 → lib/sicstus
948. dif / 2 → lib/prolog_extras
949. difference / 3 → lib/fd_sets
950. difference / 3 → lib/ic_hybrid_sets
951. difference / 3 → lib/ic_sets
952. difference_lex / 3 → lib/ic_hybrid_sets
953. dim / 2 → kernel/termmanip
954. directives → kernel/directives
955. directory → kernel/opsys
956. dirgraph / 3 → lib_public/grasper
957. disasm / 2 → lib/asm
958. disasm / 3 → lib/asm
959. discontiguous / 1 → kernel/compiler
960. disjoint / 2 → lib/fd_sets
961. disjoint / 2 → lib/ic_hybrid_sets
962. disjoint / 2 → lib/ic_sets
963. disjoint2 / 1 → lib/gfd
964. disjoint2_optional / 1 → lib/gfd
965. disjunction / 5 → lib/fd
966. Disjunction → kernel/control
967. disjunction_choose / 5 → lib/fd
968. disjunctive / 2 → lib/gfd
969. disjunctive / 2 → lib/ic_edge_finder3
970. disjunctive / 2 → lib/edge_finder3
971. disjunctive / 2 → lib/edge_finder
972. disjunctive / 2 → lib/ic_edge_finder
973. disjunctive / 3 → lib/fd
974. disjunctive_bools / 3 → lib/ic_edge_finder3
975. disjunctive_bools / 3 → lib/edge_finder3
976. disjunctive_bools / 3 → lib/edge_finder
977. disjunctive_bools / 3 → lib/ic_edge_finder
978. disjunctive_optional / 3 → lib/gfd
979. display / 1 → kernel/ioterm
980. display / 1 → lib/quintus
981. display / 2 → kernel/ioterm
982. distfix → lib_public/distfix
983. distfixop / 4 → lib_public/distfix
984. div / 3 → kernel/arithmetic
985. divmod / 4 → lib/gfd
986. do / 2 → kernel/control
987. document → lib/document
988. dom / 2 → lib/fd
989. dom_check_in / 2 → lib/fd
990. dom_compare / 3 → lib/fd
991. dom_copy / 2 → lib/fd
992. dom_difference / 4 → lib/fd
993. dom_intersection / 4 → lib/fd
994. dom_member / 2 → lib/fd
995. dom_range / 3 → lib/fd
996. dom_size / 2 → lib/fd
997. dom_to_list / 2 → lib/fd
998. dom_union / 4 → lib/fd
999. domain / 1 → kernel/termcomp
1000. domain / 2 → lib_public/cardinal
1001. domain / 3 → lib_public/cardinal
1002. domain_error / 2 → lib/error
1003. domain_index / 3 → kernel/termcomp
1004. doubled_quote_is_quote → kernel/env
1005. draw_visualization / 1 → lib_public/visualization
1006. draw_visualization / 2 → lib_public/visualization
1007. dvar_attribute / 2 → lib/fd
1008. dvar_domain / 2 → lib/fd
1009. dvar_msg / 3 → lib/fd
1010. dvar_range / 3 → lib/fd
1011. dvar_remove_element / 2 → lib/fd
1012. dvar_remove_greater / 2 → lib/fd
1013. dvar_remove_smaller / 2 → lib/fd
1014. dvar_replace / 2 → lib/fd
1015. dvar_update / 2 → lib/fd
1016. dwy_to_mjd / 2 → lib/calendar
1017. dwy_to_mjd / 3 → lib/calendar
1018. dy_to_mjd / 2 → lib/calendar
1019. dynamic / 1 → kernel/dynamic
1020. dynamic / 1 → lib/quintus
1021. dynamic → kernel/dynamic
1022. dynamic_attributes → lib/dynamic_attributes
1023. easter_mjd / 2 → lib/calendar
1024. ech → lib/ech
1025. eci_to_html / 3 → lib/document
1026. ecis_to_htmls / 0 → lib/document
1027. ecis_to_htmls / 3 → lib/document
1028. ecis_to_htmls / 4 → lib/document
1029. eclipse_6 → lib/eclipse_6
1030. eclipse_info_suffix → kernel/env
1031. eclipse_object_suffix → kernel/env
1032. edge_finder → lib/edge_finder
1033. edge_finder3 → lib/edge_finder3
1034. edit / 1 → lib/util
1035. el_weight / 2 → lib/conjunto
1036. element / 3 → lib/gfd
1037. element / 3 → lib/ic_symbolic
1038. element / 3 → lib/fd
1039. element / 3 → lib/ic
1040. element_g / 3 → lib/gfd
1041. elif / 1 → kernel/directives
1042. else / 0 → kernel/directives
1043. else_skip / 2 → lib/test_util
1044. empty_assoc / 1 → lib_public/assoc
1045. empty_heap / 1 → lib/heaps
1046. empty_queue / 1 → lib/queues
1047. enable_interrupts → kernel/env
1048. end_break / 3 → lib/toplevel
1049. end_compile_handler / 2 → lib/quintus_util
1050. endif / 0 → kernel/directives
1051. engine_clone / 3 → kernel/engines
1052. engine_create / 2 → kernel/engines
1053. engine_join / 3 → kernel/engines
1054. engine_post / 2 → kernel/engines
1055. engine_resume / 3 → kernel/engines
1056. engine_resume_thread / 2 → kernel/engines
1057. engine_self / 1 → kernel/engines
1058. engines / 0 → lib/concurrency
1059. engines → kernel/engines
1060. ensure_loaded / 1 → kernel/compiler
1061. ensure_loaded / 1 → lib/quintus
1062. enter_suspension_list / 3 → kernel/suspensions
1063. env / 0 → kernel/env
1064. env → kernel/env
1065. environment variables → kernel/opsys
1066. environment variables → kernel/opsys
1067. eof_is_no_fullstop → kernel/env
1068. eplex → lib/eplex
1069. eplex_add_constraints / 2 → lib/eplex
1070. eplex_cleanup / 0 → lib/eplex
1071. eplex_cplex → lib/eplex_cplex
1072. eplex_get / 2 → lib/eplex
1073. eplex_get_iis / 4 → lib/eplex
1074. eplex_glpk → lib/eplex_glpk
1075. eplex_gurobi → lib/eplex_gurobi
1076. eplex_highs → lib/eplex_highs
1077. eplex_instance / 1 → lib/eplex
1078. eplex_osi → lib/eplex_osi
1079. eplex_osi_clpcbc → lib/eplex_osi_clpcbc
1080. eplex_osi_glpk → lib/eplex_osi_glpk
1081. eplex_osi_symclp → lib/eplex_osi_symclp
1082. eplex_probe / 2 → lib/eplex
1083. eplex_read / 2 → lib/eplex
1084. eplex_set / 2 → lib/eplex
1085. eplex_solve / 1 → lib/eplex
1086. eplex_solver_setup / 1 → lib/eplex
1087. eplex_solver_setup / 4 → lib/eplex
1088. eplex_var_get / 3 → lib/eplex
1089. eplex_var_get_bounds / 3 → lib/eplex
1090. eplex_verify_solution / 2 → lib/eplex
1091. eplex_write / 2 → lib/eplex
1092. eplex_xpress → lib/eplex_xpress
1093. eq_t / 3 → lib/tentative_constraints
1094. erase / 1 → kernel/record
1095. erase / 1 → lib/quintus
1096. erase / 2 → kernel/record
1097. erase_all / 1 → kernel/record
1098. erase_all_templates / 0 → lib/instrument
1099. erase_array / 1 → kernel/storage
1100. erase_file_templates / 1 → lib/instrument
1101. erase_macro / 1 → kernel/obsolete
1102. erase_macro / 2 → kernel/syntax
1103. erase_module / 1 → kernel/modules
1104. erase_module_templates / 0 → lib/instrument
1105. erased / 1 → lib/cprolog
1106. err_msg / 2 → lib/sepia
1107. errno_id / 1 → kernel/opsys
1108. errno_id / 2 → kernel/obsolete
1109. error / 1 → lib_public/mercury
1110. error / 2 → kernel/event
1111. error / 3 → kernel/event
1112. error → lib/error
1113. error_id / 2 → kernel/event
1114. eval / 2 → kernel/arithmetic
1115. eval_to_array / 2 → kernel/termmanip
1116. eval_to_complete_list / 2 → kernel/termmanip
1117. eval_to_list / 2 → kernel/termmanip
1118. evaluation_error / 1 → lib/error
1119. event / 1 → kernel/event
1120. event → kernel/event
1121. event_after / 2 → kernel/event
1122. event_after / 3 → kernel/event
1123. event_after_every / 2 → kernel/event
1124. event_create / 2 → kernel/obsolete
1125. event_create / 3 → kernel/event
1126. event_disable / 1 → kernel/event
1127. event_enable / 1 → kernel/event
1128. event_retrieve / 2 → kernel/obsolete
1129. event_retrieve / 3 → kernel/event
1130. events_after / 1 → kernel/event
1131. events_defer / 0 → kernel/event
1132. events_nodefer / 0 → kernel/event
1133. exclude / 2 → lib/gfd
1134. exclude / 2 → lib/ic_kernel
1135. exclude / 3 → lib_public/applic
1136. exclude_range / 3 → lib/gfd
1137. exclude_range / 3 → lib/ic_kernel
1138. exec / 2 → kernel/opsys
1139. exec / 3 → kernel/opsys
1140. exec_group / 3 → kernel/opsys
1141. exec_viz / 1 → lib_public/cpviz
1142. existence_error / 2 → lib/error
1143. Existential quantification → kernel/control
1144. existing_file / 4 → kernel/opsys
1145. exists / 1 → kernel/opsys
1146. exit / 1 → kernel/opsys
1147. exit_all / 1 → lib/concurrency
1148. exit_block / 1 → kernel/obsolete
1149. exp / 2 → kernel/arithmetic
1150. expand → kernel/directives
1151. expand_clause / 2 → kernel/compiler
1152. expand_clause_and_goals / 6 → lib/source_processor
1153. expand_clause_goals / 5 → lib/source_processor
1154. expand_goal / 2 → kernel/compiler
1155. expand_goals → kernel/compiler
1156. expand_macros / 2 → kernel/ioterm
1157. expand_term / 2 → lib/quintus
1158. export / 1 → kernel/modules
1159. export_graph / 2 → lib_public/grasper
1160. extension → kernel/env
1161. extensional / 4 → lib/gfd
1162. external / 1 → kernel/externals
1163. external / 2 → kernel/externals
1164. externals → kernel/externals
1165. extract_array / 4 → lib_public/visualize_tree
1166. extract_array / 5 → lib_public/visualize_tree
1167. fail / 0 → kernel/control
1168. fail_if / 1 → kernel/obsolete
1169. failure / 4 → lib_public/visualize_tree
1170. failure_c / 4 → lib_public/visualize_tree
1171. false / 0 → kernel/control
1172. fcompile / 1 → lib/fcompile
1173. fcompile / 1 → lib/sicstus
1174. fcompile / 2 → lib/fcompile
1175. fcompile → lib/fcompile
1176. fd → lib/fd
1177. fd_dom / 2 → lib/clpfd
1178. fd_eval / 1 → lib/fd
1179. fd_global → lib/fd_global
1180. fd_global_gac → lib_public/fd_global_gac
1181. fd_inf / 2 → lib/clpfd
1182. fd_mdd → lib/fd_mdd
1183. fd_prop_test_util → lib/fd_prop_test_util
1184. fd_sbds → lib/fd_sbds
1185. fd_search → lib/fd_search
1186. fd_sets → lib/fd_sets
1187. fd_size / 2 → lib/clpfd
1188. fd_sup / 2 → lib/clpfd
1189. fd_var / 1 → lib/clpfd
1190. feas_flow_with_lb / 8 → lib/max_flow
1191. fetch / 3 → lib_public/arrays
1192. file_callsites / 3 → lib/instrument
1193. file_info / 1 → lib/util
1194. file_result / 1 → lib/instrument
1195. file_result / 2 → lib/instrument
1196. fileerrors / 0 → lib/cprolog
1197. finalization / 1 → kernel/modules
1198. find_java / 1 → lib/java_vc
1199. find_partner / 4 → lib/ech
1200. findall / 3 → kernel/allsols
1201. first_solution / 1 → lib/ic_gap_sbdd
1202. first_solution / 1 → lib/ic_gap_sbds
1203. fix / 2 → kernel/arithmetic
1204. fixme / 1 → lib/test_util
1205. flag / 3 → lib/swi
1206. flat → lib_public/flat
1207. flatten / 2 → lib/lists
1208. flatten / 3 → lib/lists
1209. flatten_array / 2 → kernel/obsolete
1210. flatzinc → lib_public/flatzinc
1211. flatzinc_parser → lib_public/flatzinc_parser
1212. flatzinc_syntax → lib_public/flatzinc_syntax
1213. float / 1 → kernel/typetest
1214. float / 2 → kernel/arithmetic
1215. float_needs_point → kernel/env
1216. float_precision → kernel/env
1217. floor / 2 → kernel/arithmetic
1218. flush / 1 → kernel/iostream
1219. flush_output / 0 → lib/iso_light
1220. flush_output / 1 → lib/iso_light
1221. flush_output / 1 → lib/quintus
1222. folder → kernel/opsys
1223. for → kernel/control
1224. forall / 2 → lib/swi
1225. foreach → kernel/control
1226. foreacharg → kernel/control
1227. foreachelem → kernel/control
1228. foreachindex → kernel/control
1229. foreachnotification / 6 → lib/notify_ports
1230. foreachnotification / 7 → lib/notify_ports
1231. foreign → lib/foreign
1232. fork / 2 → kernel/control
1233. format / 2 → lib/format
1234. format / 3 → lib/format
1235. format → lib/format
1236. frandom / 1 → kernel/arithmetic
1237. free / 1 → kernel/typetest
1238. freeof / 2 → lib_public/occur
1239. freeze / 2 → lib/sicstus
1240. freeze / 2 → lib/prolog_extras
1241. freeze / 2 → lib/swi
1242. from_assoc_list / 2 → lib_public/m_map
1243. from_corresponding_lists / 3 → lib_public/m_map
1244. from_file / 2 → lib/fromonto
1245. from_sorted_assoc_list / 2 → lib_public/m_map
1246. from_stream / 2 → lib/fromonto
1247. from_string / 2 → lib/fromonto
1248. fromonto → lib/fromonto
1249. fromto / 4 → lib/apply_macros
1250. fromto → kernel/control
1251. frozen / 2 → lib/sicstus
1252. fun_to_cons_var / 3 → lib/ic_probing_for_scheduling
1253. fun_to_cons_var / 3 → lib/probing_for_scheduling
1254. functor / 3 → kernel/termmanip
1255. fzn_eplex → lib_public/fzn_eplex
1256. fzn_error / 2 → lib_public/flatzinc
1257. fzn_fd → lib_public/fzn_fd
1258. fzn_ic → lib_public/fzn_ic
1259. fzn_init / 2 → lib_public/flatzinc
1260. fzn_last / 1 → lib_public/flatzinc
1261. fzn_load_stream / 2 → lib_public/flatzinc
1262. fzn_obj_lookup / 2 → lib_public/flatzinc
1263. fzn_output / 1 → lib_public/flatzinc
1264. fzn_run / 1 → lib_public/flatzinc
1265. fzn_run / 2 → lib_public/flatzinc
1266. fzn_run_stream / 2 → lib_public/flatzinc
1267. fzn_search / 1 → lib_public/flatzinc
1268. fzn_unsat / 1 → lib_public/flatzinc
1269. fzn_var_lookup / 3 → lib_public/flatzinc
1270. fzn_write / 2 → lib_public/flatzinc
1271. fzn_write / 4 → lib_public/flatzinc
1272. gap → lib/gap
1273. gap_command / 2 → lib/gap
1274. gap_ensure_started / 0 → lib/gap
1275. gap_query / 3 → lib/gap
1276. gap_query_string / 3 → lib/gap
1277. gap_reporting_level → lib/gap
1278. gap_reporting_stream → lib/gap
1279. gap_restart / 0 → lib/gap
1280. gap_running / 0 → lib/gap
1281. gap_shutdown / 0 → lib/gap
1282. garbage_collect / 0 → kernel/env
1283. gc / 0 → lib/quintus
1284. gc → kernel/env
1285. gc_interval → kernel/env
1286. gc_interval_dict → kernel/env
1287. gc_policy → kernel/env
1288. gcc / 2 → lib/gfd
1289. gcc / 2 → lib_public/fd_global_gac
1290. gcc / 2 → lib_public/ic_global_gac
1291. gcc / struct → lib/gfd
1292. gcc_matrix / 3 → lib_public/fd_global_gac
1293. gcc_matrix / 3 → lib_public/ic_global_gac
1294. gcd / 3 → kernel/arithmetic
1295. gcd / 5 → kernel/arithmetic
1296. gen_arg / 3 → lib_public/between
1297. gen_assoc / 3 → lib_public/assoc
1298. gen_cons_table / 3 → lib/document
1299. gen_int / 1 → lib_public/between
1300. gen_nat / 1 → lib_public/between
1301. gen_nat / 2 → lib_public/between
1302. general_subscripts → kernel/env
1303. generic_from_point / 6 → lib/sym_expr
1304. generic_to_point / 5 → lib/sym_expr
1305. get / 1 → kernel/iochar
1306. get / 1 → lib/cprolog
1307. get / 2 → kernel/iochar
1308. get / 2 → lib/bfs
1309. get / 2 → lib/colgen
1310. get_a_var_name / 2 → lib/var_name
1311. get_all_options / 1 → lib/config_opts
1312. get_all_pool_constraints / 2 → lib/constraint_pools
1313. get_assoc / 3 → lib_public/assoc
1314. get_assoc / 5 → lib_public/assoc
1315. get_attr / 3 → lib/dynamic_attributes
1316. get_attrs / 2 → lib/dynamic_attributes
1317. get_atts / 2 → lib/atts
1318. get_bounds / 3 → lib/gfd
1319. get_bounds / 3 → lib/ic_kernel
1320. get_bounds / 3 → lib/ic
1321. get_bounds handler → kernel/termmanip
1322. get_byte / 1 → lib/iso_light
1323. get_byte / 2 → lib/iso_light
1324. get_callsite_data / 2 → lib/instrument
1325. get_changeable_value / 2 → lib/eplex
1326. get_changeable_value / 2 → lib/tentative
1327. get_changeable_value / 2 → lib/repair
1328. get_char / 1 → kernel/iochar
1329. get_char / 1 → lib/iso_light
1330. get_char / 2 → kernel/iochar
1331. get_char / 2 → lib/iso_light
1332. get_chtab / 2 → kernel/syntax
1333. get_code / 1 → lib/iso_light
1334. get_code / 2 → lib/iso_light
1335. get_column / 4 → lib/csv
1336. get_constraint_list / 3 → lib/ech
1337. get_constraints_number / 2 → lib/gfd
1338. get_delta / 2 → lib/gfd
1339. get_delta / 2 → lib/ic_kernel
1340. get_delta / 2 → lib/ic
1341. get_domain / 2 → lib/gfd
1342. get_domain / 2 → lib/ic_kernel
1343. get_domain / 2 → lib/ic
1344. get_domain_as_list / 2 → lib/gfd
1345. get_domain_as_list / 2 → lib/ic_symbolic
1346. get_domain_as_list / 2 → lib/ic_kernel
1347. get_domain_as_list / 2 → lib/sd
1348. get_domain_as_list / 2 → lib/ic
1349. get_domain_size / 2 → lib/gfd
1350. get_domain_size / 2 → lib/ic_kernel
1351. get_domain_size / 2 → lib/sd
1352. get_domain_size / 2 → lib/ic
1353. get_engine_property / 3 → kernel/engines
1354. get_error_handler / 2 → lib/sepia
1355. get_error_handler / 3 → kernel/obsolete
1356. get_error_output / 1 → lib/cgi
1357. get_event_handler / 3 → kernel/event
1358. get_failed_test_count / 1 → lib/test_util
1359. get_file_info / 3 → kernel/opsys
1360. get_finite_integer_bounds / 3 → lib/gfd
1361. get_finite_integer_bounds / 3 → lib/ic_kernel
1362. get_finite_integer_bounds / 3 → lib/ic
1363. get_flag / 2 → kernel/env
1364. get_flag / 3 → kernel/compiler
1365. get_float_bounds / 3 → lib/ic_kernel
1366. get_float_bounds / 3 → lib/ic
1367. get_from_heap / 4 → lib/heaps
1368. get_global_constraint / 2 → lib/ech
1369. get_ic_attr / 2 → lib/ic_kernel
1370. get_indexes / 2 → lib_public/list_collection
1371. get_integer_bounds / 3 → lib/gfd
1372. get_integer_bounds / 3 → lib/ic_kernel
1373. get_integer_bounds / 3 → lib/ic
1374. get_interrupt_handler / 2 → lib/sepia
1375. get_interrupt_handler / 3 → kernel/event
1376. get_label / 3 → lib_public/trees
1377. get_leash / 2 → kernel/debug
1378. get_list / 3 → lib_public/list_collection
1379. get_max / 2 → lib/gfd
1380. get_max / 2 → lib/ic_kernel
1381. get_max / 2 → lib/ic
1382. get_median / 2 → lib/gfd
1383. get_median / 2 → lib/ic_kernel
1384. get_median / 2 → lib/ic
1385. get_min / 2 → lib/gfd
1386. get_min / 2 → lib/ic_kernel
1387. get_min / 2 → lib/ic
1388. get_module_info / 3 → kernel/modules
1389. get_next_assoc / 4 → lib_public/assoc
1390. get_option / 2 → lib/config_opts
1391. get_options / 2 → lib/module_options
1392. get_param_value / 3 → lib/cgi
1393. get_pool_item / 2 → lib/constraint_pools
1394. get_prev_assoc / 4 → lib_public/assoc
1395. get_priority / 1 → kernel/suspensions
1396. get_probect / 1 → lib/probe
1397. get_probect / 1 → lib/ic_probe
1398. get_prompt / 3 → kernel/obsolete
1399. get_regret_lwb / 2 → lib/gfd
1400. get_regret_upb / 2 → lib/gfd
1401. get_set_attribute / 2 → lib/fd_sets
1402. get_set_attribute / 2 → lib/ic_hybrid_sets
1403. get_set_attribute / 2 → lib/ic_sets
1404. get_solver_type / 2 → lib/ic_kernel
1405. get_solver_type / 2 → lib/ic
1406. get_stream / 2 → kernel/iostream
1407. get_stream_info / 3 → kernel/iostream
1408. get_string_code / 3 → kernel/stratom
1409. get_suspension_data / 3 → kernel/suspensions
1410. get_threshold / 1 → lib/ic_kernel
1411. get_threshold / 1 → lib/ic
1412. get_time / 1 → lib/swi
1413. get_timer / 2 → kernel/obsolete
1414. get_typed_pool_constraints / 3 → lib/constraint_pools
1415. get_var_bounds / 3 → kernel/termmanip
1416. get_var_info / 3 → kernel/typetest
1417. get_var_name / 2 → lib/var_name
1418. get_weighted_degree / 2 → lib/gfd
1419. get_weighted_degree_decay / 1 → lib/gfd
1420. get0 / 1 → lib/cprolog
1421. get0 / 2 → lib/quintus
1422. getbit / 3 → kernel/arithmetic
1423. getcwd / 1 → kernel/opsys
1424. getEdgeSet / 2 → lib_public/grasper
1425. getenv / 2 → kernel/opsys
1426. getref / 2 → kernel/storage
1427. getval / 2 → kernel/storage
1428. getVertexSet / 2 → lib_public/grasper
1429. gfd → lib/gfd
1430. gfd / struct → lib/gfd
1431. gfd_control / struct → lib/gfd
1432. gfd_get_default / 2 → lib/gfd
1433. gfd_maxint / 1 → lib/gfd
1434. gfd_minint / 1 → lib/gfd
1435. gfd_prob / struct → lib/gfd
1436. gfd_sbds → lib/gfd_sbds
1437. gfd_search → lib/gfd_search
1438. gfd_set_default / 2 → lib/gfd
1439. gfd_space / struct → lib/gfd
1440. gfd_stats / struct → lib/gfd
1441. gfd_update / 0 → lib/gfd
1442. gfd_vars_exclude / 2 → lib/gfd
1443. gfd_vars_exclude_domain / 2 → lib/gfd
1444. gfd_vars_exclude_range / 3 → lib/gfd
1445. gfd_vars_impose_bounds / 3 → lib/gfd
1446. gfd_vars_impose_domain / 2 → lib/gfd
1447. gfd_vars_impose_max / 2 → lib/gfd
1448. gfd_vars_impose_min / 2 → lib/gfd
1449. glb / 2 → lib/conjunto
1450. glb / 2 → lib_public/cardinal
1451. glb_poss / 3 → lib_public/cardinal
1452. global / 1 → kernel/obsolete
1453. global_cardinality / 2 → lib/clpfd
1454. global_cardinality / 3 → lib/clpfd
1455. global_op / 3 → kernel/obsolete
1456. gnuplot → lib/gnuplot
1457. goal_expansion → kernel/env
1458. graph_adjacent_edge / 3 → lib/graph_algorithms
1459. graph_algorithms → lib/graph_algorithms
1460. graph_cycles / 2 → lib/graph_algorithms
1461. graph_edge / 2 → lib/graph_algorithms
1462. graph_get_adjacent_edges / 3 → lib/graph_algorithms
1463. graph_get_all_edges / 2 → lib/graph_algorithms
1464. graph_get_edge / 4 → lib/graph_algorithms
1465. graph_get_edges / 4 → lib/graph_algorithms
1466. graph_get_incoming_edges / 3 → lib/graph_algorithms
1467. graph_get_maxnode / 2 → lib/graph_algorithms
1468. graph_get_nodenames / 2 → lib/graph_algorithms
1469. graph_is_acyclic / 1 → lib/graph_algorithms
1470. graph_is_bidirected / 1 → lib/graph_algorithms
1471. graph_labeling / 1 → lib_public/grasper
1472. graph_labeling / 3 → lib_public/grasper
1473. graph_node / 2 → lib/graph_algorithms
1474. graph_reverse_edges / 2 → lib/graph_algorithms
1475. graph_set_nodenames / 2 → lib/graph_algorithms
1476. graph_set_random_weights / 3 → lib/graph_algorithms
1477. graphs → lib_public/graphs
1478. graphviz → lib/graphviz
1479. grasper → lib_public/grasper
1480. ground / 1 → kernel/typetest
1481. ground / 1 → lib_public/metutl
1482. group_by_key / 3 → lib/lists_of_structures
1483. group_values_with_key / 4 → lib/lists_of_structures
1484. group_with_key / 3 → lib/lists_of_structures
1485. halt / 0 → kernel/opsys
1486. halt / 1 → lib/iso_light
1487. halve / 3 → lib/lists
1488. ham_path / 3 → lib/gfd
1489. ham_path / 5 → lib/gfd
1490. ham_path / 6 → lib/gfd
1491. ham_path_g / 3 → lib/gfd
1492. ham_path_g / 5 → lib/gfd
1493. ham_path_g / 6 → lib/gfd
1494. ham_path_offset / 4 → lib/gfd
1495. ham_path_offset / 6 → lib/gfd
1496. ham_path_offset / 7 → lib/gfd
1497. ham_path_offset_g / 4 → lib/gfd
1498. ham_path_offset_g / 6 → lib/gfd
1499. ham_path_offset_g / 7 → lib/gfd
1500. handle_close / 1 → kernel/externals
1501. handler / 1 → lib/ech
1502. has_tent_value / 1 → lib/tentative
1503. hash / 1 → lib/swi
1504. hash → lib/hash
1505. hash_add / 3 → lib/hash
1506. hash_clone / 2 → lib/hash
1507. hash_contains / 2 → lib/hash
1508. hash_count / 2 → lib/hash
1509. hash_create / 1 → lib/hash
1510. hash_delete / 2 → lib/hash
1511. hash_display / 2 → lib/hash
1512. hash_entry / 3 → lib/hash
1513. hash_erase / 1 → lib/hash
1514. hash_find / 3 → lib/hash
1515. hash_get / 3 → lib/hash
1516. hash_insert / 3 → lib/hash
1517. hash_insert_suspension / 3 → lib/hash
1518. hash_iter / 2 → lib/hash
1519. hash_keys / 2 → lib/hash
1520. hash_last / 1 → lib/hash
1521. hash_list / 2 → lib/hash
1522. hash_list / 3 → lib/hash
1523. hash_map / 3 → lib/hash
1524. hash_next / 4 → lib/hash
1525. hash_remove / 3 → lib/hash
1526. hash_set / 3 → lib/hash
1527. hash_stat / 1 → lib/hash
1528. hash_term / 2 → lib/swi
1529. hash_terminate_suspensions / 1 → lib/hash
1530. hash_update / 4 → lib/hash
1531. hash_update / 5 → lib/hash
1532. head_queue / 2 → lib/queues
1533. headers_map / 2 → lib/csv
1534. heap_size / 2 → lib/heaps
1535. heap_to_list / 2 → lib/heaps
1536. heaps → lib/heaps
1537. heapused / 1 → lib/cprolog
1538. help / 1 → kernel/env
1539. hostarch → kernel/env
1540. hostid → kernel/env
1541. hostname → kernel/env
1542. htmlify_string / 2 → lib/document
1543. http → lib/http
1544. http_client / 7 → lib/http_client
1545. http_client → lib/http_client
1546. http_compile / 1 → lib/http_client
1547. http_compile / 2 → lib/http_client
1548. http_open / 2 → lib/http_client
1549. http_server / 1 → lib/http_server
1550. http_server / 2 → lib/http_server
1551. http_server → lib/http_server
1552. ic → lib/ic
1553. ic / struct → lib/ic_kernel
1554. ic_cumulative → lib/ic_cumulative
1555. ic_edge_finder → lib/ic_edge_finder
1556. ic_edge_finder3 → lib/ic_edge_finder3
1557. ic_event / 1 → lib/ic_kernel
1558. ic_gap_sbdd → lib/ic_gap_sbdd
1559. ic_gap_sbds → lib/ic_gap_sbds
1560. ic_global → lib/ic_global
1561. ic_global_gac → lib_public/ic_global_gac
1562. ic_hybrid_sets → lib/ic_hybrid_sets
1563. ic_kernel → lib/ic_kernel
1564. ic_make_overlap_bivs → lib/ic_make_overlap_bivs
1565. ic_mdd → lib/ic_mdd
1566. ic_probe → lib/ic_probe
1567. ic_probe_search → lib/ic_probe_search
1568. ic_probe_support → lib/ic_probe_support
1569. ic_probing_for_scheduling → lib/ic_probing_for_scheduling
1570. ic_prop_test_util → lib/ic_prop_test_util
1571. ic_sbds → lib/ic_sbds
1572. ic_sets → lib/ic_sets
1573. ic_stat / 1 → lib/ic_kernel
1574. ic_stat_get / 1 → lib/ic_kernel
1575. ic_stat_register_event / 2 → lib/ic_kernel
1576. ic_symbolic → lib/ic_symbolic
1577. icompile / 1 → lib/document
1578. icompile / 2 → lib/document
1579. iddiff / 3 → lib/ic_probe_support
1580. iddiff / 3 → lib/probe_support
1581. identified_constraint / 2 → lib/colgen
1582. idmemb / 2 → lib/ic_probe_support
1583. idmemb / 2 → lib/probe_support
1584. if / 1 → kernel/directives
1585. if / 3 → lib/sicstus
1586. ignore / 1 → lib/swi
1587. ignore_eof → kernel/env
1588. ignore_handler / 2 → lib/ech
1589. import / 1 → kernel/modules
1590. impose_bounds / 3 → lib/gfd
1591. impose_bounds / 3 → lib/ic_kernel
1592. impose_domain / 2 → lib/gfd
1593. impose_domain / 2 → lib/ic_kernel
1594. impose_max / 2 → lib/gfd
1595. impose_max / 2 → lib/ic_kernel
1596. impose_min / 2 → lib/gfd
1597. impose_min / 2 → lib/ic_kernel
1598. in / 2 → lib/fd_sets
1599. in / 2 → lib/ic_hybrid_sets
1600. in / 2 → lib/ic_sets
1601. in / 2 → lib/conjunto
1602. in / 2 → lib/clpfd
1603. in / 2 → lib_public/cardinal
1604. in / 3 → lib/fd_sets
1605. in / 3 → lib/ic_hybrid_sets
1606. in / 3 → lib/ic_sets
1607. in_chrstore / 1 → lib/ech
1608. in_chrstore / 2 → lib/ech
1609. in_set_range / 2 → lib/fd_sets
1610. in_set_range / 2 → lib/ic_hybrid_sets
1611. in_set_range / 2 → lib/ic_sets
1612. include / 1 → kernel/directives
1613. includes / 2 → lib/fd_sets
1614. includes / 2 → lib/ic_hybrid_sets
1615. includes / 2 → lib/ic_sets
1616. incore / 1 → lib/quintus
1617. incremental_all_shortest_paths_as_edges / 6 → lib/graph_algorithms
1618. incremental_all_shortest_paths_as_graph / 6 → lib/graph_algorithms
1619. incremental_single_pair_all_shortest_paths_as_graph / 7 → lib/graph_algorithms
1620. incremental_single_pair_shortest_path / 6 → lib/graph_algorithms
1621. incval / 1 → kernel/storage
1622. index / 1 → lib/swi
1623. indomain / 1 → lib/gfd
1624. indomain / 1 → lib/ic_symbolic
1625. indomain / 1 → lib/sd
1626. indomain / 1 → lib/fd
1627. indomain / 1 → lib/ic
1628. indomain / 2 → lib/gfd_search
1629. indomain / 2 → lib/fd_search
1630. indomain / 2 → lib/ic
1631. infers / 2 → lib/propia
1632. init / 1 → lib_public/m_tree234
1633. init / 1 → lib_public/m_map
1634. init_suspension_list / 2 → kernel/suspensions
1635. initialise_time_logging / 1 → lib/time_log
1636. initialization / 1 → kernel/modules
1637. initialization / 1 → kernel/modules
1638. initialization / 1 → kernel/modules
1639. initialization / 1 → lib/iso_light
1640. inline / 1 → kernel/compiler
1641. inline / 2 → kernel/compiler
1642. ins / 2 → lib/clpfd
1643. insert / 4 → lib_public/m_tree234
1644. insert / 4 → lib_public/m_map
1645. insert_pairapplied / 6 → lib/ech
1646. insert_samepairapplied / 6 → lib/ech
1647. insert_suspension / 3 → kernel/suspensions
1648. insert_suspension / 4 → kernel/suspensions
1649. inserta / 4 → lib/lists_of_structures
1650. insertz / 4 → lib/lists_of_structures
1651. insetdomain / 4 → lib/fd_sets
1652. insetdomain / 4 → lib/ic_hybrid_sets
1653. insetdomain / 4 → lib/ic_sets
1654. installation_directory → kernel/env
1655. instance / 2 → kernel/termcomp
1656. instance / 2 → lib/cprolog
1657. instance / 2 → lib/quintus
1658. instantiation_deviates / 1 → lib/eplex
1659. instantiation_error / 1 → lib/error
1660. instprofile → lib/instprofile
1661. instrument / 2 → lib/instrument
1662. instrument / 3 → lib/instrument
1663. instrument → lib/instrument
1664. instrument_control / 2 → lib/instrument
1665. int_geq_than / 10 → lib/ic_hybrid_sets
1666. int_leq_than / 10 → lib/ic_hybrid_sets
1667. int_sets / struct → lib/fd_sets
1668. int_sets / struct → lib/ic_hybrid_sets
1669. int_sets / struct → lib/ic_sets
1670. integer / 1 → kernel/typetest
1671. integer / 2 → kernel/arithmetic
1672. integer_atom / 2 → kernel/stratom
1673. integer_list_to_dom / 2 → lib/fd
1674. integers / 1 → lib/eplex
1675. integers / 1 → lib/gfd
1676. integers / 1 → lib/bfs
1677. integers / 1 → lib/ic_kernel
1678. integers / 1 → lib/suspend
1679. integers / 1 → lib/fd
1680. integers / 1 → lib/ic
1681. integral_t / 3 → lib/tentative_constraints
1682. interface / 1 → lib/util
1683. interrupt / 1 → lib/sepia
1684. intersect_atmost_n / 4 → lib/ic_hybrid_sets
1685. intersect_lex / 3 → lib/ic_hybrid_sets
1686. intersection / 3 → lib/fd_sets
1687. intersection / 3 → lib/ic_hybrid_sets
1688. intersection / 3 → lib/ic_sets
1689. intersection / 3 → lib/lists
1690. interval_alarm / 1 → lib/sepia
1691. interval_contains / 2 → lib_public/intervals
1692. interval_difference / 3 → lib_public/intervals
1693. interval_ends_first / 2 → lib_public/intervals
1694. interval_includes / 2 → lib_public/intervals
1695. interval_intersection / 3 → lib_public/intervals
1696. interval_is_less / 2 → lib_public/intervals
1697. interval_is_less_and_not_coalescable / 2 → lib_public/intervals
1698. interval_union / 3 → lib_public/intervals
1699. intervals → lib_public/intervals
1700. intervals_are_coalescable / 2 → lib_public/intervals
1701. intervals_are_disjoint / 2 → lib_public/intervals
1702. intervals_are_not_coalescable / 2 → lib_public/intervals
1703. intervals_meet / 2 → lib_public/intervals
1704. intset / 3 → lib/fd_sets
1705. intset / 3 → lib/ic_hybrid_sets
1706. intset / 3 → lib/ic_sets
1707. intsets / 4 → lib/fd_sets
1708. intsets / 4 → lib/ic_hybrid_sets
1709. intsets / 4 → lib/ic_sets
1710. inverse / 2 → lib/gfd
1711. inverse / 2 → lib/fd_global
1712. inverse / 2 → lib/ic_global
1713. inverse / 2 → lib_public/fd_global_gac
1714. inverse / 2 → lib_public/ic_global_gac
1715. inverse / 4 → lib/gfd
1716. inverse_g / 2 → lib/gfd
1717. inverse_g / 4 → lib/gfd
1718. inverse_search / 3 → lib_public/m_map
1719. iochar → kernel/iochar
1720. iostream → kernel/iostream
1721. ioterm → kernel/ioterm
1722. is / 2 → kernel/arithmetic
1723. is / 2 → lib/iso_light
1724. is / 2 → lib/iso_strict
1725. is_array / 1 → kernel/typetest
1726. is_array / 1 → lib_public/logarr
1727. is_assoc / 1 → lib_public/assoc
1728. is_bag / 1 → lib_public/bags
1729. is_built_in / 1 → kernel/obsolete
1730. is_constraint_pool / 1 → lib/constraint_pools
1731. is_digit / 1 → lib/quintus
1732. is_domain / 1 → lib/fd
1733. is_dynamic / 1 → kernel/dynamic
1734. is_empty / 1 → lib_public/m_tree234
1735. is_empty / 1 → lib_public/m_map
1736. is_event / 1 → kernel/typetest
1737. is_exact_solver_var / 1 → lib/fd_sets
1738. is_exact_solver_var / 1 → lib/gfd
1739. is_exact_solver_var / 1 → lib/ic_symbolic
1740. is_exact_solver_var / 1 → lib/ic_kernel
1741. is_exact_solver_var / 1 → lib/ic_sets
1742. is_exact_solver_var / 1 → lib/sd
1743. is_exact_solver_var / 1 → lib/fd
1744. is_exact_solver_var / 1 → lib/ic
1745. is_handle / 1 → kernel/typetest
1746. is_handle / 2 → kernel/typetest
1747. is_in_domain / 2 → lib/gfd
1748. is_in_domain / 2 → lib/ic_kernel
1749. is_in_domain / 2 → lib/ic
1750. is_in_domain / 3 → lib/gfd
1751. is_in_domain / 3 → lib/ic_kernel
1752. is_in_domain / 3 → lib/ic
1753. is_in_store / 2 → lib/ech
1754. is_integer_domain / 1 → lib/fd
1755. is_list / 1 → kernel/typetest
1756. is_locked / 1 → kernel/obsolete
1757. is_lower / 1 → lib/quintus
1758. is_map / 1 → lib_public/map
1759. is_module / 1 → lib/sepia
1760. is_ordset / 1 → lib/ordset
1761. is_predicate / 1 → kernel/compiler
1762. is_protected / 1 → lib/sepia
1763. is_protected_ / 2 → lib/sepia
1764. is_record / 1 → kernel/record
1765. is_sbdd_var / 1 → lib/ic_gap_sbdd
1766. is_sbds_var / 1 → lib/ic_gap_sbds
1767. is_sbds_var / 1 → lib/fd_sbds
1768. is_sbds_var / 1 → lib/ic_sbds
1769. is_sbds_var / 1 → lib/gfd_sbds
1770. is_solver_type / 1 → lib/fd_sets
1771. is_solver_type / 1 → lib/gfd
1772. is_solver_type / 1 → lib/ic_hybrid_sets
1773. is_solver_type / 1 → lib/ic_kernel
1774. is_solver_type / 1 → lib/ic_sets
1775. is_solver_type / 1 → lib/sd
1776. is_solver_type / 1 → lib/ic
1777. is_solver_var / 1 → lib/fd_sets
1778. is_solver_var / 1 → lib/gfd
1779. is_solver_var / 1 → lib/ic_hybrid_sets
1780. is_solver_var / 1 → lib/ic_symbolic
1781. is_solver_var / 1 → lib/ic_kernel
1782. is_solver_var / 1 → lib/ic_sets
1783. is_solver_var / 1 → lib/sd
1784. is_solver_var / 1 → lib/fd
1785. is_solver_var / 1 → lib/ic
1786. is_sub_graph / 2 → lib/graph_algorithms
1787. is_suspension / 1 → kernel/typetest
1788. is_thread / 1 → lib/threads
1789. is_tree234 / 1 → lib_public/m_tree234
1790. is_upper / 1 → lib/quintus
1791. isd / 2 → lib/fd
1792. iset_complement / 3 → lib_public/intervals
1793. iset_contains / 2 → lib_public/intervals
1794. iset_difference / 3 → lib_public/intervals
1795. iset_includes / 2 → lib_public/intervals
1796. iset_intersection / 3 → lib_public/intervals
1797. iset_union / 3 → lib_public/intervals
1798. iso → lib/iso
1799. ISO 8601 → lib/calendar
1800. iso_base_prefix → kernel/env
1801. iso_escapes → kernel/env
1802. iso_light → lib/iso_light
1803. iso_restrictions → kernel/env
1804. iso_strict → lib/iso_strict
1805. itemplate / struct → lib/instrument
1806. iter_init / 2 → lib_public/m_tree234
1807. iter_next / 4 → lib_public/m_tree234
1808. Iteration → kernel/control
1809. java_vc → lib/java_vc
1810. jd_to_mjd / 2 → lib/calendar
1811. join_queue / 3 → lib/queues
1812. join_string / 3 → kernel/stratom
1813. json → lib/json
1814. json_read / 3 → lib/json
1815. json_write / 3 → lib/json
1816. julian date → lib/calendar
1817. jump_queue / 3 → lib/queues
1818. keys / 2 → lib_public/m_tree234
1819. keys / 2 → lib_public/m_map
1820. keys_and_values / 3 → lib_public/project
1821. keysort / 2 → kernel/termcomp
1822. kill / 2 → kernel/opsys
1823. kill_constraint / 2 → lib/ech
1824. kill_display_matrix / 1 → kernel/debug
1825. kill_suspension / 1 → kernel/suspensions
1826. label / 1 → lib/clpfd
1827. labeling / 1 → lib/gfd
1828. labeling / 1 → lib/sd
1829. labeling / 1 → lib/fd
1830. labeling / 1 → lib/ic
1831. labeling / 2 → lib/clpfd
1832. labeling_ff / 4 → lib/ic_hybrid_sets
1833. labeling_lex / 1 → lib/ic_hybrid_sets
1834. labeling_lex / 4 → lib/ic_hybrid_sets
1835. labeling_smallest_glb / 1 → lib/ic_hybrid_sets
1836. lambda → lib_public/lambda
1837. last / 2 → lib_public/listut
1838. last_errno → kernel/env
1839. last_port_profile / 1 → lib/port_profiler
1840. lazy_io → lib/lazy_io
1841. lcm / 3 → kernel/arithmetic
1842. ldsb → lib_public/ldsb
1843. ldsb_indomain / 1 → lib_public/ldsb
1844. ldsb_indomain_set / 1 → lib_public/ldsb
1845. ldsb_initialise / 2 → lib_public/ldsb
1846. ldsb_try / 3 → lib_public/ldsb
1847. ldsb_try_set / 3 → lib_public/ldsb
1848. leash / 1 → lib/cprolog
1849. leash → kernel/compiler
1850. length / 2 → lib/lists
1851. length / 3 → lib_public/bags
1852. length_queue / 2 → lib/queues
1853. leq / 2 → lib/ic_hybrid_sets
1854. less / 2 → lib/ic_hybrid_sets
1855. lex_chain / 1 → lib/clpfd
1856. lex_eq / 2 → lib/gfd
1857. lex_ge / 2 → lib/gfd
1858. lex_gt / 2 → lib/gfd
1859. lex_le / 2 → lib/gfd
1860. lex_le / 2 → lib/fd_global
1861. lex_le / 2 → lib/ic_global
1862. lex_le / 2 → lib_public/fd_global_gac
1863. lex_le / 2 → lib_public/ic_global_gac
1864. lex_lt / 2 → lib/gfd
1865. lex_lt / 2 → lib/fd_global
1866. lex_lt / 2 → lib/ic_global
1867. lex_lt / 2 → lib_public/fd_global_gac
1868. lex_lt / 2 → lib_public/ic_global_gac
1869. lex_min_max / 3 → lib/ic_hybrid_sets
1870. lex_ne / 2 → lib/gfd
1871. lex_set_range / 3 → lib/ic_hybrid_sets
1872. lexico_le / 2 → lib/fd_global
1873. lexico_le / 2 → lib/ic_global
1874. lib / 1 → kernel/compiler
1875. lib / 2 → kernel/obsolete
1876. library_path → kernel/env
1877. limit_arg_precedence → kernel/env
1878. line_count / 2 → lib/swi
1879. line_count / 2 → lib/quintus
1880. linearize / 3 → lib/linearize
1881. linearize → lib/linearize
1882. linrenorm / 2 → lib/linearize
1883. lint / 1 → lib/lint
1884. lint / 2 → lib/lint
1885. lint → lib/lint
1886. lips / 0 → lib/lips
1887. lips / 1 → lib/lips
1888. lips / 2 → lib/lips
1889. lips → lib/lips
1890. list_collection → lib_public/list_collection
1891. list_error / 3 → lib/util
1892. list_join_queue / 3 → lib/queues
1893. list_jump_queue / 3 → lib/queues
1894. list_to_and / 2 → lib_public/flat
1895. list_to_array / 2 → lib_public/arrays
1896. list_to_assoc / 2 → lib_public/assoc
1897. list_to_assoc / 4 → lib_public/assoc
1898. list_to_bag / 2 → lib_public/bags
1899. list_to_binary / 3 → lib_public/flat
1900. list_to_binary / 4 → lib_public/flat
1901. list_to_dom / 2 → lib/fd
1902. list_to_hash / 4 → lib/hash
1903. list_to_heap / 2 → lib/heaps
1904. list_to_map / 2 → lib_public/map
1905. list_to_or / 2 → lib_public/flat
1906. list_to_ord_set / 2 → lib/ordset
1907. list_to_plus / 2 → lib_public/flat
1908. list_to_queue / 2 → lib/queues
1909. list_to_stream / 3 → lib/lazy_io
1910. list_to_times / 2 → lib_public/flat
1911. list_to_tree / 2 → lib_public/trees
1912. list2cols / 4 → lib/matrix_util
1913. list2rows / 4 → lib/matrix_util
1914. list2set / 2 → lib/conjunto_fd_sets
1915. list2set / 2 → lib/conjunto
1916. listen / 2 → kernel/iostream
1917. listing / 0 → kernel/dynamic
1918. listing / 1 → kernel/dynamic
1919. lists → lib/lists
1920. lists_of_structures → lib/lists_of_structures
1921. lists_structs / 2 → lib/lists_of_structures
1922. listut → lib_public/listut
1923. Literate programming → kernel/directives
1924. ln / 2 → kernel/arithmetic
1925. load / 1 → kernel/externals
1926. load / 1 → lib/sicstus
1927. load / 2 → lib/sepia
1928. load_foreign_files / 2 → lib/foreign
1929. loaded_library → kernel/env
1930. local / 1 → kernel/modules
1931. local search → lib/repair
1932. local_intersect_atmost_n / 4 → lib/ic_hybrid_sets
1933. local_op / 3 → lib/sepia
1934. local_record / 1 → kernel/obsolete
1935. local_time / 8 → kernel/opsys
1936. local_time_string / 3 → kernel/opsys
1937. locate / 2 → lib/ic
1938. locate / 3 → lib/ic
1939. locate / 4 → lib/ic
1940. lock / 0 → kernel/modules
1941. lock / 1 → kernel/obsolete
1942. lock / 2 → kernel/obsolete
1943. lock_pass / 1 → kernel/modules
1944. log / 2 → lib/cprolog
1945. log_time_local / 2 → lib/time_log
1946. log10 / 2 → lib/cprolog
1947. logarr → lib_public/logarr
1948. lookup / 3 → lib_public/m_tree234
1949. lookup / 3 → lib_public/m_map
1950. Loops → kernel/control
1951. lower_bound_lookup / 4 → lib_public/m_tree234
1952. lower_bound_lookup / 4 → lib_public/m_map
1953. lower_bound_search / 4 → lib_public/m_tree234
1954. lower_bound_search / 4 → lib_public/m_map
1955. lp_add / 3 → lib/eplex
1956. lp_add_columns / 2 → lib/eplex
1957. lp_add_constraints / 3 → lib/eplex
1958. lp_add_constraints / 4 → lib/eplex
1959. lp_add_cutpool_constraints / 4 → lib/eplex
1960. lp_add_vars / 2 → lib/eplex
1961. lp_cleanup / 1 → lib/eplex
1962. lp_demon_setup / 5 → lib/eplex
1963. lp_get / 2 → lib/eplex
1964. lp_get / 3 → lib/eplex
1965. lp_get_changeable_value / 3 → lib/eplex
1966. lp_get_iis / 5 → lib/eplex
1967. lp_get_license / 0 → lib/eplex
1968. lp_get_license / 2 → lib/eplex
1969. lp_get_license_challenge / 1 → lib/eplex
1970. lp_probe / 3 → lib/eplex
1971. lp_read / 3 → lib/eplex
1972. lp_release_license / 0 → lib/eplex
1973. lp_set / 2 → lib/eplex
1974. lp_set / 3 → lib/eplex
1975. lp_setup / 4 → lib/eplex
1976. lp_solve / 2 → lib/eplex
1977. lp_suspend_on_change / 3 → lib/eplex
1978. lp_var_get / 4 → lib/eplex
1979. lp_var_get_bounds / 4 → lib/eplex
1980. lp_var_occurrence / 3 → lib/eplex
1981. lp_var_set_bounds / 4 → lib/eplex
1982. lp_verify_solution / 3 → lib/eplex
1983. lp_write / 3 → lib/eplex
1984. ls / 0 → lib/sepia
1985. ls / 1 → lib/sepia
1986. lub / 2 → lib/conjunto
1987. lub / 2 → lib_public/cardinal
1988. lub / 4 → lib_public/cardinal
1989. m_map → lib_public/m_map
1990. m_tree234 → lib_public/m_tree234
1991. macro / 3 → kernel/syntax
1992. macro_expansion → kernel/syntax
1993. macro_expansion → kernel/env
1994. make / 0 → kernel/env
1995. make_array / 1 → kernel/obsolete
1996. make_array / 2 → kernel/obsolete
1997. make_atom / 1 → lib/test_util
1998. make_bignum / 1 → lib/test_util
1999. make_display_matrix / 2 → kernel/debug
2000. make_display_matrix / 5 → kernel/debug
2001. make_float / 1 → lib/test_util
2002. make_graph / 3 → lib/graph_algorithms
2003. make_graph_symbolic / 3 → lib/graph_algorithms
2004. make_integer / 1 → lib/test_util
2005. make_interval / 1 → lib/test_util
2006. make_list / 1 → lib/test_util
2007. make_local_array / 1 → kernel/obsolete
2008. make_local_array / 2 → kernel/obsolete
2009. make_n_random_seeds / 2 → lib/fd_prop_test_util
2010. make_n_random_seeds / 2 → lib/ic_prop_test_util
2011. make_n_random_variables / 4 → lib/fd_prop_test_util
2012. make_n_random_variables / 4 → lib/ic_prop_test_util
2013. make_negbignum / 1 → lib/test_util
2014. make_negfloat / 1 → lib/test_util
2015. make_neginteger / 1 → lib/test_util
2016. make_neginterval / 1 → lib/test_util
2017. make_negrational / 1 → lib/test_util
2018. make_nil / 1 → lib/test_util
2019. make_overlap_bivs / 5 → lib/make_overlap_bivs
2020. make_overlap_bivs / 5 → lib/ic_make_overlap_bivs
2021. make_overlap_bivs → lib/make_overlap_bivs
2022. make_queue / 1 → lib/queues
2023. make_random_graph / 6 → lib/graph_algorithms
2024. make_rational / 1 → lib/test_util
2025. make_simple_interface / 0 → lib/foreign
2026. make_simple_interface / 1 → lib/foreign
2027. make_string / 1 → lib/test_util
2028. make_struct / 1 → lib/test_util
2029. make_sub_bag / 2 → lib_public/bags
2030. make_sub_graph / 3 → lib/graph_algorithms
2031. make_suspension / 3 → kernel/suspensions
2032. make_suspension / 4 → kernel/suspensions
2033. make_undirected_graph / 2 → lib/graph_algorithms
2034. make_var / 1 → lib/test_util
2035. manual / 0 → lib/quintus
2036. map → lib_public/map
2037. map_agree / 2 → lib_public/map
2038. map_assoc / 2 → lib_public/assoc
2039. map_assoc / 3 → lib_public/assoc
2040. map_atts / 2 → lib/atts
2041. map_compose / 3 → lib_public/map
2042. map_disjoint / 2 → lib_public/map
2043. map_domain / 2 → lib_public/map
2044. map_exclude / 3 → lib_public/map
2045. map_include / 3 → lib_public/map
2046. map_invert / 2 → lib_public/map
2047. map_map / 3 → lib_public/map
2048. map_range / 2 → lib_public/map
2049. map_to_assoc / 2 → lib_public/map
2050. map_tree / 3 → lib_public/trees
2051. map_union / 3 → lib_public/map
2052. map_update / 3 → lib_public/map
2053. map_update / 4 → lib_public/map
2054. map_value / 3 → lib_public/map
2055. mapand / 3 → lib_public/applic
2056. mapargs / 3 → lib/apply_macros
2057. mapbag / 3 → lib_public/bags
2058. maplist / 2 → lib/lists
2059. maplist / 3 → lib/apply_macros
2060. maplist / 3 → lib/lists
2061. maplist / 3 → lib_public/applic
2062. mapstream / 3 → lib/apply_macros
2063. match / 2 → lib/regex
2064. match / 3 → lib/regex
2065. match / 4 → lib/regex
2066. matchall / 4 → lib/regex
2067. matching / 2 → lib_public/fd_global_gac
2068. matching / 2 → lib_public/ic_global_gac
2069. Matching → kernel/control
2070. matching → lib/graph_algorithms
2071. matchsub / 4 → lib/regex
2072. matrix / 3 → lib/matrix_util
2073. matrix / 4 → lib/matrix_util
2074. matrix_util → lib/matrix_util
2075. max / 2 → kernel/arithmetic
2076. max / 2 → lib/gfd
2077. max / 2 → lib/ic
2078. max / 3 → kernel/arithmetic
2079. max_assoc / 3 → lib_public/assoc
2080. max_first_index / 2 → lib/gfd
2081. max_first_index_g / 2 → lib/gfd
2082. max_flow / 5 → lib/max_flow
2083. max_flow / 7 → lib/max_flow
2084. max_flow → lib/max_flow
2085. max_flow_eplex / 5 → lib_public/max_flow_eplex
2086. max_flow_eplex → lib_public/max_flow_eplex
2087. max_flow_eplex_dual / 5 → lib_public/max_flow_eplex
2088. max_flow_eplex_dual / 7 → lib_public/max_flow_eplex
2089. max_flow_with_lb / 6 → lib/max_flow
2090. max_flow_with_lb / 8 → lib/max_flow
2091. max_global_trail → kernel/env
2092. max_index / 2 → lib/gfd
2093. max_index_g / 2 → lib/gfd
2094. max_integer → kernel/env
2095. max_list / 2 → lib/swi
2096. max_local_control → kernel/env
2097. max_predicate_arity → kernel/env
2098. max_regret_lwb / 2 → lib/gfd
2099. max_regret_upb / 2 → lib/gfd
2100. max_weight / 2 → lib/conjunto
2101. max_weighted_degree / 2 → lib/gfd
2102. max_weighted_degree_per_value / 2 → lib/gfd
2103. maxdomain / 2 → lib/fd
2104. maximum / 2 → lib_public/cardinal
2105. maximum_matching_hopcroft_karp / 4 → lib/graph_algorithms
2106. maxlist / 2 → lib/fd_global
2107. maxlist / 2 → lib/ic_global
2108. maxlist / 2 → lib/ic
2109. mdd_solutions / 2 → lib/mdd_support
2110. mdd_support → lib/mdd_support
2111. mddc / 2 → lib/ic_mdd
2112. mddc / 2 → lib/fd_mdd
2113. mem / 2 → lib/gfd
2114. mem / 3 → lib/gfd
2115. member / 2 → lib/lists
2116. member / 3 → lib_public/bags
2117. member / 3 → lib_public/m_tree234
2118. member / 3 → lib_public/m_map
2119. memberchk / 2 → lib/lists
2120. membership_booleans / 2 → lib/fd_sets
2121. membership_booleans / 2 → lib/ic_hybrid_sets
2122. membership_booleans / 2 → lib/ic_sets
2123. mercury → lib_public/mercury
2124. merge / 3 → kernel/termcomp
2125. merge / 3 → lib_public/m_map
2126. merge / 5 → kernel/termcomp
2127. merge_senders / 2 → lib/notify_ports
2128. merge_set / 3 → lib/swi
2129. merge_suspension_lists / 4 → kernel/suspensions
2130. message queue → kernel/record
2131. message queue → kernel/record
2132. message_queue_create / 1 → lib/threads
2133. message_queue_create / 2 → lib/threads
2134. message_queue_destroy / 1 → lib/threads
2135. meta / 1 → kernel/typetest
2136. meta_attribute / 2 → kernel/termmanip
2137. meta_attribute_now_later / 3 → lib/source_processor
2138. meta_bind / 2 → kernel/termmanip
2139. meta_predicate / 1 → kernel/compiler
2140. metutl → lib_public/metutl
2141. middle_out / 2 → lib/lists
2142. min / 2 → kernel/arithmetic
2143. min / 2 → lib/gfd
2144. min / 2 → lib/ic
2145. min / 3 → kernel/arithmetic
2146. min_assoc / 3 → lib_public/assoc
2147. min_first_index / 2 → lib/gfd
2148. min_first_index_g / 2 → lib/gfd
2149. min_index / 2 → lib/gfd
2150. min_index_g / 2 → lib/gfd
2151. min_list / 2 → lib/swi
2152. min_max / 2 → lib/fd
2153. min_max / 4 → lib/fd
2154. min_max / 5 → lib/fd
2155. min_max / 6 → lib/fd
2156. min_max / 8 → lib/fd
2157. min_max_body / 3 → lib/fd
2158. min_max_body / 5 → lib/fd
2159. min_max_body / 6 → lib/fd
2160. min_max_body / 7 → lib/fd
2161. min_max_body / 9 → lib/fd
2162. min_of_heap / 3 → lib/heaps
2163. min_of_heap / 5 → lib/heaps
2164. mindomain / 2 → lib/fd
2165. minimize / 2 → lib/branch_and_bound
2166. minimize / 2 → lib/fd
2167. minimize / 3 → lib/colgen
2168. minimize / 3 → lib_public/fzn_ic
2169. minimize / 3 → lib_public/fzn_fd
2170. minimize / 4 → lib/fd
2171. minimize / 5 → lib/fd
2172. minimize / 6 → lib/fd
2173. minimize / 8 → lib/fd
2174. minimize_body / 3 → lib/fd
2175. minimize_body / 5 → lib/fd
2176. minimize_body / 6 → lib/fd
2177. minimize_body / 7 → lib/fd
2178. minimize_body / 9 → lib/fd
2179. minimize_bound_check / 0 → lib/fd
2180. minimum / 2 → lib_public/cardinal
2181. minimum_spanning_forest / 5 → lib/graph_algorithms
2182. minimum_spanning_tree / 4 → lib/graph_algorithms
2183. minizinc → lib_public/minizinc
2184. minlist / 2 → lib/fd_global
2185. minlist / 2 → lib/ic_global
2186. minlist / 2 → lib/ic
2187. mip → lib/mip
2188. mjd_now / 1 → lib/calendar
2189. mjd_to_date / 2 → lib/calendar
2190. mjd_to_dow / 2 → lib/calendar
2191. mjd_to_dow / 3 → lib/calendar
2192. mjd_to_dwy / 2 → lib/calendar
2193. mjd_to_dwy / 3 → lib/calendar
2194. mjd_to_dy / 2 → lib/calendar
2195. mjd_to_jd / 2 → lib/calendar
2196. mjd_to_time / 2 → lib/calendar
2197. mjd_to_unix / 2 → lib/calendar
2198. mjd_to_weekday / 2 → lib/calendar
2199. mjd_to_ymd / 2 → lib/calendar
2200. mjd_to_ywd / 2 → lib/calendar
2201. mkdir / 1 → kernel/opsys
2202. mod / 3 → kernel/arithmetic
2203. mode / 1 → kernel/compiler
2204. mode_analyser → lib/mode_analyser
2205. modify_bound / 3 → lib/conjunto
2206. module / 1 → kernel/modules
2207. module / 3 → kernel/modules
2208. module_callsites / 2 → lib/instrument
2209. module_interface / 1 → kernel/obsolete
2210. module_options → lib/module_options
2211. module_property / 2 → lib/swi
2212. module_result / 0 → lib/instrument
2213. module_result / 1 → lib/instrument
2214. modules → kernel/modules
2215. monitor_changes / 6 → lib/changeset
2216. monitor_changes_arr / 5 → lib/changeset
2217. monitored_constraint / struct → lib/tentative
2218. most_constrained_per_value / 2 → lib/gfd
2219. msg / 3 → lib/fd_sets
2220. msg / 3 → lib/gfd
2221. msg / 3 → lib/ic_symbolic
2222. msg / 3 → lib/ic_kernel
2223. msg / 3 → lib/ic_sets
2224. msg / 3 → lib/sd
2225. msg / 3 → lib/fd
2226. msort / 2 → kernel/termcomp
2227. multifile / 1 → lib/multifile
2228. multifile → lib/multifile
2229. multifor → kernel/control
2230. must_be / 2 → lib/error
2231. mutex / 2 → kernel/obsolete
2232. mutex_create / 1 → lib/threads
2233. mutex_create / 2 → lib/threads
2234. mutex_destroy / 1 → lib/threads
2235. mutex_init / 1 → kernel/obsolete
2236. my_tent_call / 4 → lib/ic_probe_support
2237. my_tent_call / 4 → lib/probe_support
2238. mzn_load / 5 → lib_public/minizinc
2239. mzn_load_string / 5 → lib_public/minizinc
2240. mzn_run / 0 → lib_public/minizinc
2241. mzn_run / 2 → lib_public/minizinc
2242. mzn_run / 3 → lib_public/minizinc
2243. mzn_run_string / 2 → lib_public/minizinc
2244. mzn2fzn / 4 → lib_public/minizinc
2245. name / 2 → kernel/obsolete
2246. name / 2 → lib/quintus
2247. name_to_handle / 3 → kernel/storage
2248. name_variables / 4 → lib_public/visualize_tree
2249. name_variables / 5 → lib_public/visualize_tree
2250. naming variable → lib/var_name
2251. neg / 1 → lib/gfd
2252. neg / 1 → lib/suspend
2253. neg / 1 → lib/ic
2254. neg / 2 → lib/gfd
2255. neg / 2 → lib/suspend
2256. neg / 2 → lib/ic
2257. Negation → kernel/control
2258. Negation → kernel/control
2259. Negation → kernel/control
2260. neq_t / 3 → lib/tentative_constraints
2261. nested_comments → kernel/env
2262. new_array / 1 → lib_public/logarr
2263. new_constraints / 3 → lib/ech
2264. new_domain_var / 1 → lib/fd
2265. new_socket_server / 3 → kernel/iostream
2266. next_lex_min / 3 → lib/ic_hybrid_sets
2267. nextto / 3 → lib_public/listut
2268. nexttoward / 3 → kernel/arithmetic
2269. nl / 0 → kernel/iochar
2270. nl / 1 → kernel/iochar
2271. nl_in_quotes → kernel/env
2272. nmember / 3 → lib_public/listut
2273. nmembers / 3 → lib_public/listut
2274. no_array_subscripts → kernel/env
2275. no_attributes → kernel/env
2276. no_blanks → kernel/env
2277. no_curly_arguments → kernel/env
2278. no_delayed_goals / 0 → lib/sepia
2279. no_delayed_goals / 1 → lib/chr
2280. no_global_bindings / 2 → lib/chr
2281. no_macro_expansion/1 → kernel/syntax
2282. no_string_concatenation → kernel/env
2283. no_style_check / 1 → lib/quintus
2284. nodbgcomp / 0 → kernel/obsolete
2285. node_cost / 1 → lib/bfs
2286. node_info / 5 → lib/bfs
2287. node_to_nodename / 3 → lib/graph_algorithms
2288. nodebug / 0 → kernel/debug
2289. nodename_to_node / 3 → lib/graph_algorithms
2290. nodenames_to_nodes / 3 → lib/graph_algorithms
2291. nodes_to_nodenames / 3 → lib/graph_algorithms
2292. nofileerrors / 0 → lib/cprolog
2293. nogc / 0 → lib/quintus
2294. nonground / 1 → kernel/typetest
2295. nonground / 2 → kernel/typetest
2296. nonground / 3 → kernel/typetest
2297. nonmember / 2 → lib/lists
2298. nonvar / 1 → kernel/typetest
2299. normalise_cstrs / 3 → lib/eplex
2300. normalize / 3 → lib/linearize
2301. nospy / 1 → kernel/debug
2302. nospyall / 0 → lib/quintus
2303. not / 1 → kernel/control
2304. not_unify / 2 → kernel/termcomp
2305. notify_constrained / 1 → kernel/suspensions
2306. notify_ports → lib/notify_ports
2307. notin / 2 → lib/fd_sets
2308. notin / 2 → lib/ic_hybrid_sets
2309. notin / 2 → lib/ic_sets
2310. notin / 2 → lib/conjunto
2311. notin / 2 → lib_public/cardinal
2312. notinstance → lib/notinstance
2313. notrace / 0 → kernel/debug
2314. nth_value / 3 → lib/gfd_search
2315. nth_value / 3 → lib/fd_search
2316. nth_value / 3 → lib/ic
2317. nth0 / 3 → lib_public/listut
2318. nth0 / 4 → lib_public/listut
2319. nth1 / 3 → lib_public/listut
2320. nth1 / 4 → lib_public/listut
2321. number / 1 → kernel/typetest
2322. number_chars / 2 → lib/iso_light
2323. number_chars / 2 → lib/quintus
2324. number_codes / 2 → lib/iso_light
2325. number_merge / 3 → kernel/termcomp
2326. number_merge / 5 → kernel/obsolete
2327. number_sort / 2 → kernel/termcomp
2328. number_sort / 4 → kernel/obsolete
2329. number_string / 2 → kernel/stratom
2330. number_variables / 3 → lib_public/visualize_tree
2331. number_variables / 4 → lib_public/visualize_tree
2332. numbervars / 3 → lib/numbervars
2333. numbervars → lib/numbervars
2334. numerator / 2 → kernel/arithmetic
2335. numlist / 3 → lib/swi
2336. numlist / 3 → lib_public/listut
2337. nvalue / 2 → lib/fd_global
2338. nvalue / 2 → lib/ic_global
2339. nvalues / 3 → lib/gfd
2340. object_spec_to_filename / 2 → lib/document
2341. object_suffix → kernel/env
2342. obsolete → kernel/obsolete
2343. occ / 3 → lib_public/struct
2344. occ / struct → lib/gfd
2345. occur → lib_public/occur
2346. occurrences / 3 → lib/gfd
2347. occurrences / 3 → lib/fd_global
2348. occurrences / 3 → lib/ic_symbolic
2349. occurrences / 3 → lib/ic_global
2350. occurs / 2 → kernel/termcomp
2351. occurs check → kernel/typetest
2352. occurs_check / 2 → lib_public/metutl
2353. occurs_in / 2 → lib_public/metutl
2354. octet → kernel/stratom
2355. of → kernel/syntax
2356. on_exception / 3 → lib/sicstus
2357. on_signal / 3 → lib/swi
2358. once / 1 → kernel/control
2359. onto_file / 2 → lib/fromonto
2360. onto_stream / 2 → lib/fromonto
2361. onto_string / 2 → lib/fromonto
2362. op / 3 → kernel/syntax
2363. op / 3 → lib/quintus
2364. open / 3 → kernel/iostream
2365. open / 3 → lib/iso
2366. open / 3 → lib/iso_strict
2367. open / 4 → kernel/iostream
2368. open / 4 → lib/iso
2369. open / 4 → lib/iso_strict
2370. open_delta_file / 1 → lib/instprofile
2371. open_null_stream / 1 → lib/swi
2372. open_null_stream / 1 → lib/quintus
2373. open_receiver / 2 → lib/notify_ports
2374. open_receiver / 4 → lib/notify_ports
2375. open_receiver_init / 4 → lib/notify_ports
2376. open_receiver_init / 6 → lib/notify_ports
2377. open_sender / 1 → lib/notify_ports
2378. open_sender / 2 → lib/notify_ports
2379. open_tagged_receiver / 3 → lib/notify_ports
2380. open_tagging_sender / 1 → lib/notify_ports
2381. opsys → kernel/opsys
2382. opt_level → kernel/directives
2383. opt_level → kernel/compiler
2384. optimization → lib/branch_and_bound
2385. optimize / 2 → lib/eplex
2386. optimize / 2 → lib_public/m_map
2387. optimize / 3 → lib/eplex
2388. option / 2 → lib/ech
2389. option / 3 → lib/ech
2390. options / struct → lib/ic_probe_support
2391. options / struct → lib/probe_support
2392. or / 2 → lib/gfd
2393. or / 2 → lib/suspend
2394. or / 2 → lib/ic
2395. or / 3 → lib/gfd
2396. or / 3 → lib/suspend
2397. or / 3 → lib/ic
2398. Or → kernel/control
2399. or_to_list / 2 → lib_public/flat
2400. ord_add_element / 3 → lib/ordset
2401. ord_compare / 3 → lib/ordset
2402. ord_del_element / 3 → lib/ordset
2403. ord_disjoint / 2 → lib/ordset
2404. ord_disjoint_union / 3 → lib/ordset
2405. ord_insert / 3 → lib/ordset
2406. ord_intersect / 2 → lib/ordset
2407. ord_intersect / 3 → lib/ordset
2408. ord_intersection / 2 → lib/ordset
2409. ord_intersection / 3 → lib/ordset
2410. ord_intersection / 5 → lib/ordset
2411. ord_list_to_assoc / 2 → lib_public/assoc
2412. ord_memberchk / 2 → lib/ordset
2413. ord_nonmember / 2 → lib/ordset
2414. ord_proper_subset / 2 → lib/ordset
2415. ord_proper_superset / 2 → lib/ordset
2416. ord_selectchk / 3 → lib/ordset
2417. ord_seteq / 2 → lib/ordset
2418. ord_subset / 2 → lib/ordset
2419. ord_subtract / 3 → lib/ordset
2420. ord_superset / 2 → lib/ordset
2421. ord_symdiff / 3 → lib/ordset
2422. ord_union / 2 → lib/ordset
2423. ord_union / 3 → lib/ordset
2424. ord_union / 4 → lib/ordset
2425. order / 2 → lib_public/grasper
2426. order → lib_public/order
2427. ordered / 1 → lib_public/order
2428. ordered / 2 → lib/gfd
2429. ordered / 2 → lib/fd_global
2430. ordered / 2 → lib/ic_global
2431. ordered / 2 → lib_public/order
2432. ordered_sum / 2 → lib/fd_global
2433. ordered_sum / 2 → lib/ic_global
2434. ordered_tuples_to_mdd / 2 → lib/mdd_support
2435. ordset → lib/ordset
2436. oriented_graph / 2 → lib_public/grasper
2437. os_file_name / 2 → kernel/opsys
2438. otherwise / 0 → lib/quintus
2439. output_mode → kernel/env
2440. output_options → kernel/env
2441. overlay / 3 → lib_public/m_map
2442. p_member / 3 → lib_public/graphs
2443. p_to_s_graph / 2 → lib_public/graphs
2444. p_transpose / 2 → lib_public/graphs
2445. par_between / 3 → lib/par_util
2446. par_delete / 3 → lib/par_util
2447. par_indomain / 1 → lib/fd
2448. par_lips / 1 → lib/lips
2449. par_maplist / 3 → lib/par_util
2450. par_member / 2 → lib/par_util
2451. par_util → lib/par_util
2452. parallel / 1 → kernel/compiler
2453. pasm / 4 → lib/asm
2454. path / 3 → lib_public/grasper
2455. patharg / 3 → lib_public/occur
2456. pathname / 2 → kernel/obsolete
2457. pathname / 3 → kernel/opsys
2458. pathname / 4 → kernel/opsys
2459. pause / 0 → kernel/opsys
2460. peek_byte / 1 → lib/iso_light
2461. peek_byte / 2 → lib/iso_light
2462. peek_char / 1 → lib/iso_light
2463. peek_char / 2 → lib/iso_light
2464. peek_code / 1 → lib/iso_light
2465. peek_code / 2 → lib/iso_light
2466. peer / 1 → kernel/externals
2467. peer_deregister_multitask / 1 → kernel/externals
2468. peer_do_multitask / 1 → kernel/externals
2469. peer_get_property / 3 → kernel/externals
2470. peer_multitask_confirm / 0 → kernel/externals
2471. peer_multitask_terminate / 0 → kernel/externals
2472. peer_queue_close / 1 → kernel/externals
2473. peer_queue_create / 5 → kernel/externals
2474. peer_queue_get_property / 3 → kernel/externals
2475. peer_register_multitask / 2 → kernel/externals
2476. perm / 2 → lib_public/listut
2477. perm2 / 4 → lib_public/listut
2478. permission_error / 3 → lib/error
2479. phrase / 2 → kernel/control
2480. phrase / 3 → kernel/control
2481. pid → kernel/env
2482. piecewise_linear / 3 → lib/ic
2483. piecewise_linear_hull / 3 → lib/eplex
2484. pipe / 2 → kernel/obsolete
2485. plot / 1 → lib/gnuplot
2486. plot / 2 → lib/gnuplot
2487. plot / 3 → lib/gnuplot
2488. plot / 4 → lib/gnuplot
2489. plus / 3 → kernel/arithmetic
2490. plus_is_no_sign → kernel/env
2491. plus_to_list / 2 → lib_public/flat
2492. point / 1 → lib/coverage
2493. polydenorm / 2 → lib/linearize
2494. polynorm / 3 → lib/linearize
2495. polyrenorm / 2 → lib/linearize
2496. pool_is_empty / 1 → lib/constraint_pools
2497. port_profile / 1 → lib/port_profiler
2498. port_profile / 2 → lib/port_profiler
2499. port_profiler → lib/port_profiler
2500. portable_object_code / 1 → lib/asm
2501. portray / 3 → kernel/syntax
2502. portray_bag / 1 → lib_public/bags
2503. portray_clause / 1 → lib/quintus
2504. portray_delay_reified / 2 → lib/suspend
2505. portray_delayed_goals / 2 → lib/suspend
2506. portray_goal / 2 → kernel/obsolete
2507. portray_map / 1 → lib_public/map
2508. portray_term / 3 → kernel/ioterm
2509. position / 3 → lib_public/occur
2510. poss / 2 → lib_public/cardinal
2511. poss_conflict_vars / 1 → lib/repair
2512. poss_conflict_vars / 2 → lib/repair
2513. possible_path / 6 → lib/graph_algorithms
2514. possible_path / 7 → lib/graph_algorithms
2515. post_typed_pool_constraint / 3 → lib/constraint_pools
2516. posted_params / 1 → lib/cgi
2517. potential_members / 2 → lib/fd_sets
2518. potential_members / 2 → lib/ic_hybrid_sets
2519. potential_members / 2 → lib/ic_sets
2520. ppid → kernel/env
2521. pragma / 1 → kernel/directives
2522. precede / 2 → lib/gfd
2523. precede / 3 → lib/gfd
2524. pred / 1 → kernel/env
2525. predecessors / 3 → lib_public/grasper
2526. predicate_property / 1 → lib/sepia
2527. predicate_property / 2 → lib/prolog_extras
2528. predicate_property / 2 → lib/swi
2529. predicate_property / 2 → lib/quintus
2530. predsort / 3 → lib/swi
2531. prefer_rationals → kernel/env
2532. prefix_element / 3 → lib_public/list_collection
2533. prefix_list / 3 → lib_public/list_collection
2534. pretty_print / 1 → lib/pretty_printer
2535. pretty_print / 2 → lib/pretty_printer
2536. pretty_print / 3 → lib/pretty_print
2537. pretty_print / 3 → lib/pretty_printer
2538. pretty_print / 4 → lib/pretty_printer
2539. pretty_print → lib/pretty_print
2540. pretty_print_close / 1 → lib/pretty_printer
2541. pretty_print_open / 3 → lib/pretty_printer
2542. pretty_print_term / 5 → lib/pretty_printer
2543. pretty_printer → lib/pretty_printer
2544. prev_lex_max / 3 → lib/ic_hybrid_sets
2545. primitive / 1 → lib/cprolog
2546. print / 1 → kernel/ioterm
2547. print / 2 → kernel/ioterm
2548. print handler → kernel/termmanip
2549. print_counters / 0 → lib/coverage
2550. print_default_options / 1 → lib/module_options
2551. print_depth → kernel/env
2552. print_list / 1 → lib/lists
2553. print_solver_var / 2 → lib/ic_kernel
2554. print_solver_var / 2 → lib/ic
2555. print_tentative / 2 → lib/tentative
2556. print_values / 3 → lib/toplevel
2557. print_wam / 1 → lib/asm
2558. printf / 2 → kernel/ioterm
2559. printf / 3 → kernel/ioterm
2560. priority → kernel/compiler
2561. probe → lib/probe
2562. probe_cstr_sched / 7 → lib/ic_probing_for_scheduling
2563. probe_cstr_sched / 7 → lib/probing_for_scheduling
2564. probe_sched / 5 → lib/ic_probing_for_scheduling
2565. probe_sched / 5 → lib/probing_for_scheduling
2566. probe_search / 5 → lib/ic_probe_search
2567. probe_search / 5 → lib/probe_search
2568. probe_search → lib/probe_search
2569. probe_support → lib/probe_support
2570. probing_for_scheduling → lib/probing_for_scheduling
2571. profile / 1 → lib/profile
2572. profile / 2 → lib/profile
2573. profile / 4 → lib/cumulative
2574. profile / 4 → lib/ic_cumulative
2575. profile → lib/profile
2576. project / 3 → lib_public/project
2577. project → lib_public/project
2578. prolog_extras → lib/prolog_extras
2579. prolog_flag / 2 → lib/quintus
2580. prolog_flag / 3 → lib/quintus
2581. prolog_suffix → kernel/env
2582. prompt / 2 → lib/cprolog
2583. proper_graph / 1 → lib/graph_algorithms
2584. propia → lib/propia
2585. prune_instances / 2 → kernel/termcomp
2586. public / 1 → lib/quintus
2587. put / 1 → kernel/iochar
2588. put / 1 → lib/cprolog
2589. put / 2 → kernel/iochar
2590. put / 2 → lib/quintus
2591. put_assoc / 4 → lib_public/assoc
2592. put_attr / 3 → lib/dynamic_attributes
2593. put_attrs / 2 → lib/dynamic_attributes
2594. put_atts / 2 → lib/atts
2595. put_byte / 1 → lib/iso_light
2596. put_byte / 2 → lib/iso_light
2597. put_char / 1 → kernel/iochar
2598. put_char / 1 → lib/iso_light
2599. put_char / 2 → kernel/iochar
2600. put_char / 2 → lib/iso_light
2601. put_code / 1 → lib/iso_light
2602. put_code / 2 → lib/iso_light
2603. put_label / 4 → lib_public/trees
2604. put_line / 1 → lib/quintus
2605. q_prompt / 2 → lib/quintus_util
2606. quadnorm / 6 → lib/linearize
2607. queue_to_list / 2 → lib/queues
2608. queues → lib/queues
2609. quintus / 0 → lib/sepia
2610. quintus / 1 → lib/sepia
2611. quintus → lib/quintus
2612. quintus_util → lib/quintus_util
2613. r / 1 → lib/repair
2614. r_conflict / 2 → lib/repair
2615. r_conflict_prop / 2 → lib/repair
2616. r_no_prop / 1 → lib/repair
2617. r_prop / 1 → lib/repair
2618. raise_exception / 1 → lib/sicstus
2619. rand_perm / 2 → lib_public/random
2620. random / 1 → kernel/arithmetic
2621. random / 2 → kernel/arithmetic
2622. random / 2 → lib_public/random
2623. random / 3 → lib_public/random
2624. random → lib_public/random
2625. random_bound_reduction_test / 2 → lib/fd_prop_test_util
2626. random_bound_reduction_test / 2 → lib/ic_prop_test_util
2627. random_bound_reduction_test / 3 → lib/fd_prop_test_util
2628. random_bound_reduction_test / 3 → lib/ic_prop_test_util
2629. random_element / 2 → lib/tentative
2630. random_int_between / 3 → lib/fd_prop_test_util
2631. random_int_between / 3 → lib/ic_prop_test_util
2632. random_mode → kernel/env
2633. random_reduce_until_ground / 3 → lib/fd_prop_test_util
2634. random_reduce_until_ground / 3 → lib/ic_prop_test_util
2635. random_sample / 3 → lib/tentative
2636. randomise / 0 → lib_public/random
2637. randomise / 1 → lib_public/random
2638. rational / 1 → kernel/typetest
2639. rational / 2 → kernel/arithmetic
2640. rational / 3 → lib/swi
2641. rational tree → kernel/typetest
2642. rationalize / 2 → kernel/arithmetic
2643. rdiv / 3 → lib/swi
2644. rdtok → lib_public/rdtok
2645. reachables / 3 → lib_public/grasper
2646. read / 1 → kernel/ioterm
2647. read / 2 → kernel/ioterm
2648. read / 2 → lib_public/distfix
2649. read / 2 → lib_public/read
2650. read → lib_public/read
2651. read_annotated / 2 → kernel/ioterm
2652. read_annotated / 3 → kernel/ioterm
2653. read_data / 3 → lib/matrix_util
2654. read_directory / 4 → kernel/opsys
2655. read_exdr / 2 → kernel/ioterm
2656. read_floats_as_breals → kernel/env
2657. read_item / 2 → lib_public/flatzinc_syntax
2658. read_item / 2 → lib_public/flatzinc_parser
2659. read_line / 1 → lib/util
2660. read_line / 2 → lib/util
2661. read_string / 3 → kernel/iochar
2662. read_string / 4 → kernel/iochar
2663. read_string / 5 → kernel/iochar
2664. read_term / 2 → kernel/ioterm
2665. read_term / 2 → lib/iso
2666. read_term / 2 → lib/iso_strict
2667. read_term / 3 → kernel/ioterm
2668. read_term / 3 → lib/iso
2669. read_term / 3 → lib/iso_strict
2670. read_token / 2 → kernel/iochar
2671. read_token / 3 → kernel/iochar
2672. read_tokens / 2 → lib_public/rdtok
2673. readvar / 3 → kernel/obsolete
2674. real / 1 → kernel/typetest
2675. reals / 1 → lib/eplex
2676. reals / 1 → lib/ic_kernel
2677. reals / 1 → lib/suspend
2678. reals / 1 → lib/ic
2679. receive_notifications / 3 → lib/notify_ports
2680. receive_notifications / 4 → lib/notify_ports
2681. reconsult / 1 → lib/cprolog
2682. record / 1 → kernel/record
2683. record / 1 → kernel/modules
2684. record / 2 → kernel/record
2685. record → kernel/record
2686. record_chrprule / 3 → lib/ech
2687. record_chrrule / 3 → lib/ech
2688. record_create / 1 → kernel/record
2689. record_namedrule / 3 → lib/ech
2690. record_wait_append / 4 → kernel/record
2691. record_wait_remove / 3 → kernel/record
2692. recorda / 2 → kernel/record
2693. recorda / 3 → kernel/record
2694. recorda / 3 → lib/quintus
2695. recorded / 2 → kernel/record
2696. recorded / 3 → kernel/record
2697. recorded / 3 → lib/quintus
2698. recorded_count / 2 → kernel/record
2699. recorded_list / 2 → kernel/record
2700. recordz / 2 → kernel/record
2701. recordz / 3 → kernel/record
2702. recordz / 3 → lib/quintus
2703. rect / struct → lib/gfd
2704. redef_handler / 2 → lib/quintus_util
2705. reduced_cost_pruning / 2 → lib/eplex
2706. reexport / 1 → kernel/modules
2707. reference / 1 → kernel/obsolete
2708. reference / 2 → kernel/storage
2709. referenced_record / 2 → kernel/record
2710. refine / 1 → lib/conjunto_fd_sets
2711. refine / 1 → lib/conjunto
2712. refine / 2 → lib_public/cardinal
2713. regex → lib/regex
2714. register_for_notification / 3 → lib/tentative
2715. register_option / 3 → lib/config_opts
2716. registry → kernel/opsys
2717. regular / 2 → lib/gfd
2718. reinit / 2 → lib_public/list_collection
2719. rem / 3 → kernel/arithmetic
2720. remote_connect / 3 → kernel/externals
2721. remote_connect_accept / 6 → kernel/externals
2722. remote_connect_setup / 3 → kernel/externals
2723. remote_disconnect / 1 → kernel/externals
2724. remote_protocol_version → kernel/env
2725. remote_tools → lib/remote_tools
2726. remote_yield / 1 → kernel/externals
2727. remove / 4 → lib_public/m_tree234
2728. remove / 4 → lib_public/m_map
2729. remove_dups / 2 → lib_public/listut
2730. remove_smallest / 4 → lib_public/m_tree234
2731. remove_smallest / 4 → lib_public/m_map
2732. remove1 / 3 → lib/ic_probe_support
2733. remove1 / 3 → lib/probe_support
2734. rename / 2 → kernel/opsys
2735. rename_head / 2 → lib/sicstus
2736. repair / 0 → lib/repairfd
2737. repair / 1 → lib/repairfd
2738. repair → lib/repair
2739. repair / struct → lib/repair
2740. repair_stat / 1 → lib/repair
2741. repairfd → lib/repairfd
2742. repeat / 0 → kernel/control
2743. replace / 4 → lib_public/occur
2744. replace_list / 4 → lib/ic_probe_support
2745. replace_list / 4 → lib/probe_support
2746. report_lookup_error / 3 → lib_public/mercury
2747. representation_error / 1 → lib/error
2748. request_notification / 2 → lib/config_opts
2749. rerecord / 2 → kernel/record
2750. reset / 0 → lib/instprofile
2751. reset / 0 → lib/mode_analyser
2752. reset_counters / 0 → lib/coverage
2753. reset_error_handler / 1 → kernel/obsolete
2754. reset_error_handlers / 0 → kernel/event
2755. reset_event_handler / 1 → kernel/event
2756. resource_error / 1 → lib/error
2757. result / 0 → lib/instprofile
2758. result / 0 → lib/coverage
2759. result / 0 → lib/mode_analyser
2760. result / 1 → lib/coverage
2761. result / 1 → lib/mode_analyser
2762. result / 2 → lib/coverage
2763. retract / 1 → kernel/dynamic
2764. retract / 1 → lib/iso_light
2765. retract_all / 1 → kernel/obsolete
2766. retractall / 1 → kernel/dynamic
2767. rev / 2 → lib_public/listut
2768. reverse / 2 → lib/lists
2769. reverse_graph / 2 → lib_public/grasper
2770. root / 1 → lib_public/visualize_tree
2771. rotate / 3 → lib/ic_symbolic
2772. rotate / 4 → lib/ic_symbolic
2773. round / 2 → kernel/arithmetic
2774. rtoken / 1 → lib/sepia
2775. rtoken / 2 → lib/sepia
2776. rtoken_body / 2 → lib/sepia
2777. rtoken_body / 3 → lib/sepia
2778. run_priority → kernel/compiler
2779. s_member / 3 → lib_public/graphs
2780. s_to_p_graph / 2 → lib_public/graphs
2781. s_to_p_trans / 2 → lib_public/graphs
2782. s_transpose / 2 → lib_public/graphs
2783. safe_set_range / 3 → lib/ic_hybrid_sets
2784. same / 2 → lib_public/fd_global_gac
2785. same / 2 → lib_public/ic_global_gac
2786. same_key_prefix / 5 → lib/lists_of_structures
2787. same_key_prefix / 6 → lib/lists_of_structures
2788. same_length / 2 → lib_public/listut
2789. sameset / 2 → lib/fd_sets
2790. sameset / 2 → lib/ic_hybrid_sets
2791. sameset / 2 → lib/ic_sets
2792. saros_lint / 1 → lib/lint
2793. saros_xref / 2 → lib/xref
2794. satisfies / 2 → lib/ic_hybrid_sets
2795. save / 1 → lib/quintus
2796. sbdd_indomain / 1 → lib/ic_gap_sbdd
2797. sbdd_initialise / 5 → lib/ic_gap_sbdd
2798. sbdd_initialise_set / 5 → lib/ic_gap_sbdd
2799. sbdd_labeling / 1 → lib/ic_gap_sbdd
2800. sbdd_record / 3 → lib/ic_gap_sbdd
2801. sbdd_recorded_indomain / 3 → lib/ic_gap_sbdd
2802. sbdd_shared / struct → lib/ic_gap_sbdd
2803. sbdd_try / 2 → lib/ic_gap_sbdd
2804. sbdd_try / 3 → lib/ic_gap_sbdd
2805. sbdd_try_set / 3 → lib/ic_gap_sbdd
2806. sbdd_try_set / 4 → lib/ic_gap_sbdd
2807. sbds_get_index / 2 → lib/fd_sbds
2808. sbds_get_index / 2 → lib/ic_sbds
2809. sbds_get_index / 2 → lib/gfd_sbds
2810. sbds_get_matrix / 2 → lib/fd_sbds
2811. sbds_get_matrix / 2 → lib/ic_sbds
2812. sbds_get_matrix / 2 → lib/gfd_sbds
2813. sbds_indomain / 1 → lib/ic_gap_sbds
2814. sbds_initialise / 4 → lib/fd_sbds
2815. sbds_initialise / 4 → lib/ic_sbds
2816. sbds_initialise / 4 → lib/gfd_sbds
2817. sbds_initialise / 5 → lib/ic_gap_sbds
2818. sbds_initialise / 5 → lib/fd_sbds
2819. sbds_initialise / 5 → lib/ic_sbds
2820. sbds_initialise / 5 → lib/gfd_sbds
2821. sbds_initialise_set / 5 → lib/ic_gap_sbds
2822. sbds_labeling / 1 → lib/ic_gap_sbds
2823. sbds_record / 3 → lib/ic_gap_sbds
2824. sbds_try / 2 → lib/ic_gap_sbds
2825. sbds_try / 2 → lib/fd_sbds
2826. sbds_try / 2 → lib/ic_sbds
2827. sbds_try / 2 → lib/gfd_sbds
2828. sbds_try / 3 → lib/ic_gap_sbds
2829. sbds_try_set / 3 → lib/ic_gap_sbds
2830. sbds_try_set / 4 → lib/ic_gap_sbds
2831. scalar_product / 4 → lib/gfd
2832. scalar_product / 4 → lib/clpfd
2833. scalar_product / 5 → lib/gfd
2834. schedule_suspensions / 1 → kernel/suspensions
2835. schedule_suspensions / 2 → kernel/suspensions
2836. schedule_woken / 1 → kernel/obsolete
2837. sd → lib/sd
2838. sd / struct → lib/sd
2839. search / 3 → lib_public/m_tree234
2840. search / 3 → lib_public/m_map
2841. search / 6 → lib/gfd
2842. search / 6 → lib/gfd_search
2843. search / 6 → lib/fd_search
2844. search / 6 → lib/ic
2845. search → lib/best_first_search
2846. see / 1 → lib/cio
2847. seed / 1 → kernel/arithmetic
2848. seeing / 1 → lib/cio
2849. seek / 2 → kernel/iostream
2850. seek / 4 → lib/swi
2851. seen / 0 → lib/cio
2852. select / 3 → kernel/obsolete
2853. select / 3 → lib/eclipse_6
2854. select / 3 → lib/lists
2855. select / 3 → lib_public/m_map
2856. select / 4 → lib_public/listut
2857. select_var / 5 → lib/gfd
2858. selectlist / 3 → lib/apply_macros
2859. send_notification / 2 → lib/notify_ports
2860. send_notification / 3 → lib/notify_ports
2861. separate_by_key / 5 → lib/lists_of_structures
2862. sepia → lib/sepia
2863. sequence / 4 → lib/gfd
2864. sequence / 4 → lib_public/fd_global_gac
2865. sequence / 4 → lib_public/ic_global_gac
2866. sequence / 5 → lib/gfd
2867. sequence / 5 → lib_public/fd_global_gac
2868. sequence / 5 → lib_public/ic_global_gac
2869. sequence_total / 6 → lib/fd_global
2870. sequence_total / 6 → lib/ic_global
2871. sequence_total / 7 → lib/fd_global
2872. sequence_total / 7 → lib/ic_global
2873. serialized / 2 → lib/clpfd
2874. serve_queue / 3 → lib/queues
2875. session_close / 1 → lib/dbi
2876. session_commit / 1 → lib/dbi
2877. session_rollback / 1 → lib/dbi
2878. session_sql / 3 → lib/dbi
2879. session_sql_prepare / 4 → lib/dbi
2880. session_sql_prepare_query / 5 → lib/dbi
2881. session_sql_query / 4 → lib/dbi
2882. session_sql_query / 5 → lib/dbi
2883. session_start / 4 → lib/dbi
2884. session_transaction / 2 → lib/dbi
2885. session_transaction / 3 → lib/dbi
2886. set / 1 → lib/conjunto
2887. set / 2 → lib/colgen
2888. set / 4 → lib_public/cardinal
2889. set / 4 → lib_public/m_tree234
2890. set / 4 → lib_public/m_map
2891. set_bounds handler → kernel/termmanip
2892. set_callsite_data / 2 → lib/instrument
2893. set_chtab / 2 → kernel/syntax
2894. set_default_option / 2 → lib/module_options
2895. set_error_handler / 2 → kernel/obsolete
2896. set_event_handler / 2 → kernel/event
2897. set_flag / 2 → kernel/env
2898. set_flag / 3 → kernel/compiler
2899. set_input / 1 → lib/iso_light
2900. set_input / 1 → lib/quintus
2901. set_interrupt_handler / 2 → kernel/event
2902. set_labeling / 1 → lib_public/cardinal
2903. set_labeling / 2 → lib_public/cardinal
2904. set_leash / 2 → kernel/debug
2905. set_lex_max / 3 → lib/ic_hybrid_sets
2906. set_lex_min / 3 → lib/ic_hybrid_sets
2907. set_option / 2 → lib/config_opts
2908. set_output / 1 → lib/iso_light
2909. set_output / 1 → lib/quintus
2910. set_pool_item / 2 → lib/constraint_pools
2911. set_probect / 1 → lib/probe
2912. set_probect / 1 → lib/ic_probe
2913. set_prolog_flag / 2 → lib/iso_light
2914. set_prolog_flag / 2 → lib/iso_strict
2915. set_prompt / 3 → kernel/obsolete
2916. set_random / 1 → lib/swi
2917. set_range / 3 → lib/fd_sets
2918. set_range / 3 → lib/ic_hybrid_sets
2919. set_range / 3 → lib/ic_sets
2920. set_range / 3 → lib/conjunto
2921. set_stream / 2 → kernel/iostream
2922. set_stream / 2 → lib/swi
2923. set_stream_position / 2 → lib/iso_light
2924. set_stream_property / 3 → kernel/iostream
2925. set_suspension_data / 3 → kernel/suspensions
2926. set_suspension_priority / 2 → kernel/obsolete
2927. set_threshold / 1 → lib/ic_kernel
2928. set_threshold / 1 → lib/ic
2929. set_threshold / 2 → lib/ic_kernel
2930. set_threshold / 2 → lib/ic
2931. set_timer / 2 → kernel/obsolete
2932. set_to_min / 1 → lib/ic_probe_support
2933. set_to_min / 1 → lib/probe_support
2934. set_to_tent / 1 → lib/ic_probe_support
2935. set_to_tent / 1 → lib/probe_support
2936. set_typed_pool_constraints / 3 → lib/constraint_pools
2937. set_up_probe / 5 → lib/probe
2938. set_up_probe / 5 → lib/ic_probe
2939. set_var_bounds / 3 → kernel/termmanip
2940. set_var_integer / 1 → lib/ic_kernel
2941. set_var_name / 2 → lib/var_name
2942. set_var_name_counter / 2 → lib/var_name
2943. set_var_real / 1 → lib/ic_kernel
2944. set_var_type / 2 → lib/ic_kernel
2945. set_vars_type / 2 → lib/ic_kernel
2946. set_weighted_degree_decay / 1 → lib/gfd
2947. set2list / 2 → lib/conjunto_fd_sets
2948. set2list / 2 → lib/conjunto
2949. setarg / 3 → kernel/termmanip
2950. setbit / 3 → kernel/arithmetic
2951. setenv / 2 → kernel/opsys
2952. setof / 3 → kernel/allsols
2953. setref / 2 → kernel/storage
2954. sets / 4 → lib_public/cardinal
2955. setup_call_cleanup / 3 → lib/prolog_extras
2956. setval / 2 → kernel/storage
2957. sformat / 2 → lib/swi
2958. sformat / 3 → lib/swi
2959. sgn / 2 → kernel/arithmetic
2960. sh / 0 → lib/cprolog
2961. sh / 1 → kernel/opsys
2962. shadow_call / 2 → lib/shadow_cons
2963. shadow_cons → lib/shadow_cons
2964. shadow_var / 3 → lib/shadow_cons
2965. shelf / 2 → kernel/storage
2966. shelf_abolish / 1 → kernel/storage
2967. shelf_create / 2 → kernel/storage
2968. shelf_create / 3 → kernel/storage
2969. shelf_dec / 2 → kernel/storage
2970. shelf_get / 3 → kernel/storage
2971. shelf_get_and_dec / 3 → kernel/storage
2972. shelf_inc / 2 → kernel/storage
2973. shelf_inc_and_get / 3 → kernel/storage
2974. shelf_set / 3 → kernel/storage
2975. shelf_size / 2 → kernel/storage
2976. shelf_test_and_set / 4 → kernel/storage
2977. shift / 3 → lib/ic_symbolic
2978. shift / 4 → lib/ic_symbolic
2979. shorter_list / 2 → lib_public/listut
2980. shortest_paths / 4 → lib/graph_algorithms
2981. shortest_paths_bellman_ford / 4 → lib/graph_algorithms
2982. should_fail / 1 → lib/test_util
2983. should_fail / 2 → lib/test_util
2984. should_give / 2 → lib/test_util
2985. should_give / 3 → lib/test_util
2986. should_output / 2 → lib/test_util
2987. should_output / 3 → lib/test_util
2988. should_raise / 2 → lib/test_util
2989. should_raise / 3 → lib/test_util
2990. should_throw / 2 → lib/test_util
2991. should_throw / 3 → lib/test_util
2992. shuffle / 2 → lib/lists
2993. sicstus / 0 → lib/sepia
2994. sicstus / 1 → lib/sepia
2995. sicstus → lib/sicstus
2996. simple / 1 → lib_public/metutl
2997. simplify / 2 → lib/linearize
2998. sin / 2 → kernel/arithmetic
2999. single_pair_all_short_paths_as_graph / 7 → lib/graph_algorithms
3000. single_pair_short_path / 6 → lib/graph_algorithms
3001. single_pair_shortest_path / 5 → lib/graph_algorithms
3002. single_pair_shortest_path_bellman_ford / 5 → lib/graph_algorithms
3003. singleton_heap / 3 → lib/heaps
3004. size / 2 → lib_public/grasper
3005. skip / 1 → lib/cio
3006. skip / 2 → lib/cio
3007. skip → kernel/directives
3008. skip → kernel/compiler
3009. skipped / 1 → kernel/debug
3010. sleep / 1 → kernel/opsys
3011. socket / 2 → lib/sockets
3012. socket / 3 → kernel/iostream
3013. socket_accept / 2 → lib/sockets
3014. socket_bind / 2 → lib/sockets
3015. socket_connect / 3 → lib/sockets
3016. socket_listen / 2 → lib/sockets
3017. socket_select / 5 → lib/sockets
3018. sockets → lib/sockets
3019. Soft cut → kernel/control
3020. solution / 1 → lib_public/visualize_tree
3021. solution_out_of_range / 1 → lib/eplex
3022. solve / 1 → lib/bfs
3023. solver_constraints_number / 1 → lib/gfd
3024. solver_setup / 2 → lib/bfs
3025. solver_setup / 2 → lib/colgen
3026. solver_setup / 3 → lib/bfs
3027. solver_setup / 3 → lib/colgen
3028. solver_vars_number / 1 → lib/gfd
3029. some / 2 → lib_public/applic
3030. somechk / 2 → lib_public/applic
3031. sort / 2 → kernel/termcomp
3032. sort / 2 → lib_public/fzn_ic
3033. sort / 2 → lib_public/fzn_fd
3034. sort / 4 → kernel/termcomp
3035. sorted / 2 → lib/gfd
3036. sorted / 2 → lib/fd_global
3037. sorted / 2 → lib/ic_global
3038. sorted / 3 → lib/gfd
3039. sorted / 3 → lib/fd_global
3040. sorted / 3 → lib/ic_global
3041. sorted_g / 3 → lib/gfd
3042. sorted_keys / 2 → lib_public/m_map
3043. sorted_list_to_dom / 2 → lib/fd
3044. sos1 / 1 → lib/eplex
3045. sos2 / 1 → lib/eplex
3046. source_close / 2 → lib/source_processor
3047. source_file / 1 → lib/quintus
3048. source_file / 2 → lib/quintus
3049. source_open / 3 → lib/source_processor
3050. source_position / struct → lib/source_processor
3051. source_processor → lib/source_processor
3052. source_read / 4 → lib/source_processor
3053. source_term / struct → lib/source_processor
3054. spanning forest → lib/graph_algorithms
3055. spanning tree → lib/graph_algorithms
3056. spell → lib/spell
3057. splice / 3 → lib/lists
3058. split / 4 → lib/regex
3059. split_string / 4 → kernel/stratom
3060. sprintf / 3 → kernel/ioterm
3061. spy / 1 → kernel/debug
3062. spy → kernel/compiler
3063. spy_term / 2 → kernel/debug
3064. spy_var / 1 → kernel/debug
3065. sqrt / 2 → kernel/arithmetic
3066. squash / 3 → lib/ic
3067. stable and unique names → lib/var_name
3068. start_break / 3 → lib/toplevel
3069. start_tracing → kernel/compiler
3070. start_tty_vc / 1 → lib/tty_vc
3071. start_tty_vc / 2 → lib/tty_vc
3072. start_tty_vc / 3 → lib/tty_vc
3073. start_vc / 1 → lib/java_vc
3074. statistics / 0 → kernel/env
3075. statistics / 0 → lib/bfs
3076. statistics / 0 → lib/quintus
3077. statistics / 2 → kernel/env
3078. statistics / 2 → lib/quintus
3079. statistics_par / 0 → lib/par_util
3080. statistics_par_reset / 0 → lib/par_util
3081. statprofile / 2 → lib/instprofile
3082. statprofile / 3 → lib/instprofile
3083. statsample / 4 → lib/instprofile
3084. statsample_control / 2 → lib/instprofile
3085. stop_tty_vc / 0 → lib/tty_vc
3086. stop_vc / 1 → lib/java_vc
3087. storage → kernel/storage
3088. store / 1 → kernel/storage
3089. store / 4 → lib_public/arrays
3090. store_contains / 2 → kernel/storage
3091. store_count / 2 → kernel/storage
3092. store_create / 1 → kernel/storage
3093. store_delete / 2 → kernel/storage
3094. store_erase / 1 → kernel/storage
3095. store_get / 3 → kernel/storage
3096. store_inc / 2 → kernel/storage
3097. store_insert / 3 → kernel/storage
3098. store_remove / 3 → kernel/storage
3099. store_set / 3 → kernel/storage
3100. store_test_and_set / 4 → kernel/storage
3101. store_update / 4 → kernel/storage
3102. stored_keys / 2 → kernel/storage
3103. stored_keys_and_values / 2 → kernel/storage
3104. stratom → kernel/stratom
3105. stream / 1 → lib/util
3106. stream alias → kernel/iostream
3107. stream redirection → kernel/iostream
3108. stream_code / 2 → lib/quintus
3109. stream_position / 2 → lib/quintus
3110. stream_position / 3 → lib/quintus
3111. stream_property / 2 → lib/iso_light
3112. stream_property / 2 → lib/iso
3113. stream_property / 2 → lib/swi
3114. stream_property / 2 → lib/iso_strict
3115. stream_select / 3 → kernel/iostream
3116. stream_select / 3 → lib/sockets
3117. stream_to_lazy_list / 2 → lib/lazy_io
3118. stream_to_list / 3 → lib/lazy_io
3119. stream_truncate / 1 → kernel/iostream
3120. streams / 0 → lib/util
3121. string / 1 → kernel/typetest
3122. string_char / 3 → kernel/stratom
3123. string_chars / 2 → kernel/stratom
3124. string_code / 3 → kernel/stratom
3125. string_codes / 2 → kernel/stratom
3126. string_concat / 3 → kernel/stratom
3127. string_length / 2 → kernel/stratom
3128. string_list / 2 → kernel/stratom
3129. string_list / 3 → kernel/stratom
3130. string_lower / 2 → kernel/stratom
3131. string_to_atom / 2 → lib/swi
3132. string_to_list / 2 → lib/swi
3133. string_upper / 2 → kernel/stratom
3134. strong_components / 2 → lib/graph_algorithms
3135. strongly_connected / 1 → lib_public/grasper
3136. struct / 1 → kernel/syntax
3137. struct → lib_public/struct
3138. style_check / 1 → lib/quintus
3139. sub_atom / 5 → lib/iso_light
3140. sub_string / 5 → kernel/stratom
3141. subcall / 2 → kernel/suspensions
3142. subgraph / 2 → lib_public/grasper
3143. sublist / 3 → lib_public/applic
3144. subscript / 3 → kernel/termmanip
3145. subscript / 3 → lib/eclipse_6
3146. subseq / 3 → lib_public/listut
3147. subseq0 / 2 → lib_public/listut
3148. subseq1 / 2 → lib_public/listut
3149. subset / 2 → lib/fd_sets
3150. subset / 2 → lib/ic_hybrid_sets
3151. subset / 2 → lib/ic_sets
3152. subset / 2 → lib/lists
3153. subsetof / 2 → lib/fd_sets
3154. subsetof / 2 → lib/ic_hybrid_sets
3155. subsetof / 2 → lib/ic_sets
3156. subst / 3 → lib_public/struct
3157. substitute_placeholders / 3 → lib/cgi
3158. substring / 3 → kernel/stratom
3159. substring / 4 → kernel/stratom
3160. substring / 5 → kernel/stratom
3161. subsumes / 2 → lib_public/metutl
3162. subsumes_chk / 2 → lib_public/metutl
3163. subsumes_term / 2 → lib/iso_light
3164. subterm / 2 → lib_public/metutl
3165. subtract / 3 → lib/lists
3166. succ / 2 → kernel/arithmetic
3167. successors / 3 → lib_public/grasper
3168. suffix / 2 → kernel/obsolete
3169. sum / 2 → kernel/arithmetic
3170. sum / 2 → lib/gfd
3171. sum / 3 → lib/gfd
3172. sum / 3 → lib/clpfd
3173. sum / 4 → lib/gfd
3174. sum_ge_zero / 1 → lib/fd_global
3175. sum_ge_zero / 1 → lib/ic_global
3176. sum_list / 2 → lib/swi
3177. sum_weight / 2 → lib/conjunto
3178. sumargs / 4 → lib/apply_macros
3179. sumlist / 2 → lib/gfd
3180. sumlist / 2 → lib/fd_global
3181. sumlist / 2 → lib/ic_global
3182. sumlist / 2 → lib_public/listut
3183. sumlist / 4 → lib/apply_macros
3184. sumnodes / 4 → lib/apply_macros
3185. suspend / 3 → kernel/suspensions
3186. suspend / 4 → kernel/suspensions
3187. suspend → lib/suspend
3188. suspend_constraint / 4 → lib/ech
3189. suspend_on_change / 2 → lib/eplex
3190. suspend_on_change / 2 → lib/tentative
3191. suspend_on_change / 2 → lib/repair
3192. suspendindexpos / 2 → lib/ech
3193. suspension handler → kernel/termmanip
3194. suspension_lists declaration → kernel/termmanip
3195. suspension_to_goal / 3 → kernel/obsolete
3196. suspensions / 1 → kernel/suspensions
3197. suspensions / 2 → kernel/suspensions
3198. suspensions → kernel/suspensions
3199. swapref / 3 → kernel/storage
3200. swi → lib/swi
3201. sym_expr → lib/sym_expr
3202. symbol_domain_index / 3 → lib/ic_symbolic
3203. symbols_domain_indices / 3 → lib/ic_symbolic
3204. symdiff / 3 → lib/fd_sets
3205. symdiff / 3 → lib/ic_hybrid_sets
3206. symdiff / 3 → lib/ic_sets
3207. symmetric / 1 → lib_public/grasper
3208. syntax → kernel/syntax
3209. syntax_errors_fail → kernel/env
3210. syntax_option / 1 → kernel/modules
3211. syntax_option / 1 → kernel/modules
3212. syntax_option / 1 → kernel/modules
3213. syntax_option → kernel/env
3214. system / 1 → kernel/opsys
3215. system → kernel/directives
3216. system_object_suffix → kernel/env
3217. tab / 1 → lib/cio
3218. tab / 2 → lib/cio
3219. table / 2 → lib/gfd
3220. table / 2 → lib/ic_mdd
3221. table / 2 → lib/fd_mdd
3222. table / 2 → lib_public/fzn_ic
3223. tan / 2 → kernel/arithmetic
3224. task / struct → lib/ic_probe_support
3225. task / struct → lib/probe_support
3226. task_structure / 4 → lib/ic_probe_support
3227. task_structure / 4 → lib/probe_support
3228. tell / 1 → lib/cio
3229. telling / 1 → lib/cio
3230. tenable / 1 → lib/repair
3231. tent_call / 3 → lib/repair
3232. tent_call / 4 → lib/repair
3233. tent_fix / 1 → lib/tentative
3234. tent_get / 2 → lib/tentative
3235. tent_get / 2 → lib/repair
3236. tent_implements / 2 → lib/tentative
3237. tent_is / 2 → lib/tentative
3238. tent_is / 2 → lib/repair
3239. tent_is / 3 → lib/repair
3240. tent_minimize_random / 3 → lib/tentative
3241. tent_set / 2 → lib/tentative
3242. tent_set / 2 → lib/repair
3243. tent_set_all / 2 → lib/tentative
3244. tent_set_attr / 2 → lib/tentative
3245. tent_set_random / 2 → lib/tentative
3246. tent_trace_array / 3 → lib/tentative
3247. tentative → lib/tentative
3248. tentative assignments → lib/repair
3249. tentative_constraints → lib/tentative_constraints
3250. tentative_ground / 2 → lib/repair
3251. term_attvars / 2 → lib/dynamic_attributes
3252. term_expansion / 2 → lib/quintus
3253. term_hash / 4 → kernel/termcomp
3254. term_string / 2 → kernel/termmanip
3255. term_string / 3 → kernel/termmanip
3256. term_to_bytes / 2 → kernel/termmanip
3257. term_variables / 2 → kernel/termmanip
3258. term_variables / 2 → lib/eclipse_6
3259. term_variables_array / 2 → kernel/termmanip
3260. term_variables_count / 2 → kernel/termmanip
3261. termcomp → kernel/termcomp
3262. terminate_all_lists / 2 → lib_public/list_collection
3263. terminate_and_get_list / 3 → lib_public/list_collection
3264. termmanip → kernel/termmanip
3265. terms_functor / 4 → lib/lists_of_structures
3266. test / 1 → lib/test_util
3267. test / 2 → lib/test_util
3268. test_and_setval / 3 → kernel/storage
3269. test_info / 2 → lib/test_util
3270. test_sub_bag / 2 → lib_public/bags
3271. test_unify handler → kernel/termmanip
3272. test_util → lib/test_util
3273. text_to_string / 2 → kernel/stratom
3274. thread_cancel / 1 → lib/threads
3275. thread_create / 1 → lib/threads
3276. thread_create / 2 → lib/threads
3277. thread_create / 3 → lib/threads
3278. thread_default / 1 → lib/threads
3279. thread_detach / 1 → lib/threads
3280. thread_exit / 1 → lib/threads
3281. thread_get_message / 1 → lib/threads
3282. thread_get_message / 2 → lib/threads
3283. thread_join / 2 → lib/threads
3284. thread_peek_message / 1 → lib/threads
3285. thread_peek_message / 2 → lib/threads
3286. thread_property / 2 → lib/threads
3287. thread_self / 1 → lib/threads
3288. thread_send_message / 1 → lib/threads
3289. thread_send_message / 2 → lib/threads
3290. thread_set_default / 1 → lib/threads
3291. thread_signal / 2 → lib/threads
3292. thread_sleep / 1 → lib/threads
3293. threads → lib/threads
3294. throttle_default / 1 → lib/ic_gap_sbdd
3295. throttle_depth_mod_non_unique / 2 → lib/ic_gap_sbdd
3296. throttle_depth_mod_unique / 2 → lib/ic_gap_sbdd
3297. throttle_depth_non_unique / 2 → lib/ic_gap_sbdd
3298. throttle_depth_unique / 2 → lib/ic_gap_sbdd
3299. throw / 1 → kernel/control
3300. tidy / 2 → lib_public/tidy
3301. tidy → lib_public/tidy
3302. tidy_expr / 2 → lib_public/tidy
3303. tidy_stmt / 2 → lib_public/tidy
3304. tidy_withvars / 2 → lib_public/tidy
3305. time / 1 → lib/util
3306. time_log → lib/time_log
3307. time_to_mjd / 2 → lib/calendar
3308. timeout / 3 → lib/timeout_simple
3309. timeout / 3 → lib/timeout
3310. timeout / 7 → lib/timeout_simple
3311. timeout / 7 → lib/timeout
3312. timeout → lib/timeout
3313. timeout_simple → lib/timeout_simple
3314. times / 3 → kernel/arithmetic
3315. times_to_list / 2 → lib_public/flat
3316. tmp_dir → kernel/env
3317. to_assoc_list / 2 → lib_public/m_map
3318. to_sorted_assoc_list / 2 → lib_public/m_map
3319. told / 0 → lib/cio
3320. tool / 1 → kernel/obsolete
3321. tool / 2 → kernel/modules
3322. tool / struct → lib_public/cpviz
3323. tool_body / 3 → kernel/modules
3324. tools / 0 → lib/remote_tools
3325. top_sort / 2 → lib/graph_algorithms
3326. top_sort / 2 → lib_public/graphs
3327. toplevel / 0 → lib/toplevel
3328. toplevel → lib/toplevel
3329. toplevel_init / 1 → lib/toplevel
3330. toplevel_module → kernel/env
3331. toplevel_prompt / 2 → lib/toplevel
3332. tr_chr / 2 → lib/chr
3333. tr_fd_out / 2 → lib/fd
3334. tr_foreign / 3 → lib/foreign
3335. tr_global_out / 2 → lib/fd_global
3336. tr_global_out / 2 → lib/ic_global
3337. tr_ic_c_constant / 2 → lib/ic_kernel
3338. tr_ic_kernel_out / 2 → lib/ic_kernel
3339. tr_if_suspend / 3 → lib/suspend
3340. tr_lib / 2 → lib/quintus
3341. tr_monitors / 2 → lib/repair
3342. tr_propia / 2 → lib/propia
3343. tr_ria_binop / 2 → lib/ic_kernel
3344. tr_ria_binop1 / 2 → lib/ic_kernel
3345. tr_ria_binop7 / 2 → lib/ic_kernel
3346. tr_ria_ternop / 2 → lib/ic_kernel
3347. tr_ria_ternop1 / 2 → lib/ic_kernel
3348. tr_ria_ternop9 / 2 → lib/ic_kernel
3349. tr_ria_unop / 2 → lib/ic_kernel
3350. tr_ria_unop1 / 2 → lib/ic_kernel
3351. tr_ria_unop5 / 2 → lib/ic_kernel
3352. tr_slists / 2 → lib/conjunto_fd_sets
3353. trace / 0 → kernel/debug
3354. trace / 0 → lib/quintus
3355. trace / 1 → kernel/debug
3356. trace_call_port / 3 → kernel/debug
3357. trace_exit_port / 0 → kernel/debug
3358. trace_parent_port / 1 → kernel/debug
3359. trace_point_port / 3 → kernel/debug
3360. traceable / 1 → kernel/debug
3361. trans / struct → lib/gfd
3362. transpose / 2 → lib/matrix_util
3363. transpose / 2 → lib/clpfd
3364. tree_indomain / 3 → lib_public/visualize_tree
3365. tree_indomain_max / 3 → lib_public/visualize_tree
3366. tree_indomain_middle / 3 → lib_public/visualize_tree
3367. tree_indomain_min / 3 → lib_public/visualize_tree
3368. tree_indomain_random / 3 → lib_public/visualize_tree
3369. tree_size / 2 → lib_public/trees
3370. tree_to_list / 2 → lib_public/trees
3371. tree234_to_assoc_list / 2 → lib_public/m_tree234
3372. trees → lib_public/trees
3373. trigger / 1 → kernel/suspensions
3374. trimcore / 0 → kernel/env
3375. true / 0 → kernel/control
3376. truncate / 2 → kernel/arithmetic
3377. try / 4 → lib_public/visualize_tree
3378. try_c / 4 → lib_public/visualize_tree
3379. try_value / 2 → lib/gfd
3380. tty_ask_more / 2 → lib/toplevel
3381. tty_banner / 2 → lib/toplevel
3382. tty_vc → lib/tty_vc
3383. ttyflush / 0 → lib/quintus
3384. ttyget / 1 → lib/quintus
3385. ttyget0 / 1 → lib/quintus
3386. ttynl / 0 → lib/quintus
3387. ttyput / 1 → lib/quintus
3388. ttyskip / 1 → lib/quintus
3389. ttytab / 1 → lib/quintus
3390. tuples_in / 2 → lib/clpfd
3391. tyi / 1 → kernel/iochar
3392. tyi / 2 → kernel/iochar
3393. tyo / 1 → kernel/iochar
3394. tyo / 2 → kernel/iochar
3395. type_error / 2 → lib/error
3396. type_of / 2 → kernel/typetest
3397. typetest → kernel/typetest
3398. underlying_graph / 2 → lib_public/grasper
3399. undirgraph / 3 → lib_public/grasper
3400. unget / 1 → kernel/iochar
3401. unicode → kernel/stratom
3402. unifiable / 3 → lib/swi
3403. unify / 2 → lib_public/metutl
3404. unify handler → kernel/termmanip
3405. unify_with_occurs_check / 2 → lib/iso_light
3406. uninstantiation_error / 1 → lib/error
3407. union / 3 → lib/fd_sets
3408. union / 3 → lib/ic_hybrid_sets
3409. union / 3 → lib/ic_sets
3410. union / 3 → lib/lists
3411. union_lex / 3 → lib/ic_hybrid_sets
3412. union_var / 2 → lib_public/cardinal
3413. unix / 1 → lib/quintus
3414. unix_time → kernel/env
3415. unix_to_mjd / 2 → lib/calendar
3416. unknown / 2 → lib/quintus
3417. unlock / 2 → kernel/modules
3418. unschedule_suspension / 1 → kernel/suspensions
3419. unskipped / 1 → kernel/debug
3420. untraceable / 1 → kernel/debug
3421. update / 4 → lib/lists_of_structures
3422. update / 4 → lib_public/m_tree234
3423. update / 4 → lib_public/m_map
3424. update_struct / 4 → kernel/termmanip
3425. upper_bound_lookup / 4 → lib_public/m_tree234
3426. upper_bound_lookup / 4 → lib_public/m_map
3427. upper_bound_search / 4 → lib_public/m_tree234
3428. upper_bound_search / 4 → lib_public/m_map
3429. use_module / 1 → kernel/modules
3430. use_module / 1 → lib/quintus
3431. use_module / 2 → lib/quintus
3432. utf8 → kernel/stratom
3433. util → lib/util
3434. value_spec_to_range / 3 → lib/sym_expr
3435. values / 2 → lib_public/m_tree234
3436. values / 2 → lib_public/m_map
3437. var / 1 → kernel/typetest
3438. var_fd / 2 → lib/fd
3439. var_functor_is_apply → kernel/env
3440. var_get / 3 → lib/bfs
3441. var_get / 3 → lib/colgen
3442. var_get_violations / 2 → lib/tentative
3443. var_inc_violations / 2 → lib/tentative
3444. var_member_chk / 2 → lib_public/metutl
3445. var_name → lib/var_name
3446. variable / 1 → kernel/storage
3447. variable / 2 → kernel/storage
3448. variable name → lib/var_name
3449. variable_names → kernel/env
3450. variables / 2 → lib_public/struct
3451. variables_of / 2 → lib_public/metutl
3452. variant / 2 → kernel/termcomp
3453. variant / 2 → lib_public/metutl
3454. vc_support → lib/vc_support
3455. version / 0 → lib/quintus
3456. version / 1 → lib/quintus
3457. version → kernel/env
3458. version_as_list → kernel/env
3459. vertices / 2 → lib_public/graphs
3460. view_graph / 1 → lib/graphviz
3461. view_graph / 2 → lib/graphviz
3462. view_graph / 3 → lib/graphviz
3463. view_mdd / 1 → lib/mdd_support
3464. viewable / 1 → lib/viewable
3465. viewable / 1 → lib/vc_support
3466. viewable → lib/viewable
3467. viewable_changeable_execute / 4 → lib/vc_support
3468. viewable_create / 2 → lib/viewable
3469. viewable_create / 2 → lib/vc_support
3470. viewable_create / 3 → lib/viewable
3471. viewable_create / 3 → lib/vc_support
3472. viewable_create / 4 → lib/viewable
3473. viewable_create / 4 → lib/vc_support
3474. viewable_element / 3 → lib/vc_support
3475. viewable_element_execute / 3 → lib/vc_support
3476. viewable_element_to_string / 2 → lib/vc_support
3477. viewable_expand / 3 → lib/viewable
3478. viewable_expand / 3 → lib/vc_support
3479. viewable_expand / 4 → lib/viewable
3480. viewable_expand / 4 → lib/vc_support
3481. viewable_get_location_name / 4 → lib/vc_support
3482. viewable_get_location_names / 3 → lib/vc_support
3483. viewable_size / 2 → lib/viewable
3484. viewable_size / 2 → lib/vc_support
3485. viewable_type / 2 → lib/viewable
3486. viewable_type / 2 → lib/vc_support
3487. vis_client_breakpoint / 0 → lib/vc_support
3488. vis_client_interest_modify / 5 → lib/vc_support
3489. vis_client_register / 4 → lib/vc_support
3490. vis_client_request_termination / 1 → lib/vc_support
3491. vis_client_unregister / 1 → lib/vc_support
3492. vis_structures → lib_public/vis_structures
3493. visualization → lib_public/visualization
3494. visualization / struct → lib_public/vis_structures
3495. visualize_tree → lib_public/visualize_tree
3496. visualizer / struct → lib_public/vis_structures
3497. viz / 2 → lib_public/cpviz
3498. viztool / 0 → lib_public/cpviz
3499. vs_all / 2 → lib/tentative
3500. vs_all_violated / 2 → lib/tentative
3501. vs_all_violated_index / 2 → lib/tentative
3502. vs_all_worst / 2 → lib/tentative
3503. vs_all_worst_index / 2 → lib/tentative
3504. vs_create / 2 → lib/tentative
3505. vs_element / 3 → lib/tentative
3506. vs_member / 2 → lib/tentative
3507. vs_random / 2 → lib/tentative
3508. vs_random_index / 2 → lib/tentative
3509. vs_random_violated / 2 → lib/tentative
3510. vs_random_violated_index / 2 → lib/tentative
3511. vs_random_worst / 2 → lib/tentative
3512. vs_random_worst_index / 2 → lib/tentative
3513. vs_size / 2 → lib/tentative
3514. vs_violated / 2 → lib/tentative
3515. vs_violated_index / 2 → lib/tentative
3516. vs_worst / 2 → lib/tentative
3517. vs_worst_index / 2 → lib/tentative
3518. wait / 2 → kernel/opsys
3519. wait_for_input / 3 → lib/swi
3520. wake / 0 → kernel/suspensions
3521. wam / 1 → lib/asm
3522. wam / 2 → lib/asm
3523. warnings → kernel/directives
3524. warnings → kernel/compiler
3525. warshall / 2 → lib_public/graphs
3526. watch / 1 → lib/fd_sets
3527. watch / 1 → lib/ic_hybrid_sets
3528. watch / 1 → lib/ic_sets
3529. weakly_connected / 1 → lib_public/grasper
3530. weight / 3 → lib/fd_sets
3531. weight / 3 → lib/ic_hybrid_sets
3532. weight / 3 → lib/ic_sets
3533. weight / 3 → lib_public/grasper
3534. well_formed / 1 → lib_public/m_tree234
3535. when / 2 → lib/sicstus
3536. with → kernel/syntax
3537. with_mutex / 2 → kernel/engines
3538. with_mutex / 2 → lib/threads
3539. wm_get / 2 → lib/sepia
3540. wm_set / 2 → lib/sepia
3541. wm_window → kernel/env
3542. worker → kernel/env
3543. workerids → kernel/env
3544. workers → kernel/env
3545. wrapperinpos / 2 → lib/ech
3546. write / 1 → kernel/ioterm
3547. write / 2 → kernel/ioterm
3548. write_canonical / 1 → kernel/ioterm
3549. write_canonical / 2 → kernel/ioterm
3550. write_exdr / 2 → kernel/ioterm
3551. write_graph / 2 → lib/graphviz
3552. write_graph / 3 → lib/graphviz
3553. write_graph / 4 → lib/graphviz
3554. write_history / 0 → lib/toplevel
3555. write_term / 2 → kernel/ioterm
3556. write_term / 2 → lib/iso
3557. write_term / 2 → lib/iso_strict
3558. write_term / 3 → kernel/ioterm
3559. write_term / 3 → lib/iso
3560. write_term / 3 → lib/iso_strict
3561. writeclause / 1 → kernel/ioterm
3562. writeclause / 2 → kernel/ioterm
3563. writeln / 1 → kernel/ioterm
3564. writeln / 2 → kernel/ioterm
3565. writeq / 1 → kernel/ioterm
3566. writeq / 2 → kernel/ioterm
3567. xget / 3 → kernel/externals
3568. xml → lib_public/xml
3569. xml_parse / 2 → lib_public/xml
3570. xml_parse / 3 → lib_public/xml
3571. xml_pp / 1 → lib_public/xml
3572. xml_subterm / 2 → lib_public/xml
3573. xor / 2 → lib/gfd
3574. xor / 3 → kernel/arithmetic
3575. xor / 3 → lib/gfd
3576. xref / 2 → lib/xref
3577. xref → lib/xref
3578. xset / 3 → kernel/externals
3579. yield / 2 → kernel/engines
3580. ymd_to_mjd / 2 → lib/calendar
3581. ywd_to_mjd / 2 → lib/calendar
3582. zcompare / 3 → lib/clpfd
3583. zn_options / 2 → lib_public/flatzinc
3584. zn_options / struct → lib_public/flatzinc
3585. zn_var / struct → lib_public/flatzinc