ECLiPSe 7.2 Alphabetic Predicate Index

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