ECLiPSe 7.1 Alphabetic Predicate Index

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