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. head_queue / 2 → lib/queues
1543. headers_map / 2 → lib/csv
1544. heap_size / 2 → lib/heaps
1545. heap_to_list / 2 → lib/heaps
1546. heaps → lib/heaps
1547. heapused / 1 → lib/cprolog
1548. help / 1 → kernel/env
1549. hostarch → kernel/env
1550. hostid → kernel/env
1551. hostname → kernel/env
1552. htmlify_string / 2 → lib/document
1553. http → lib/http
1554. http_client / 7 → lib/http_client
1555. http_client → lib/http_client
1556. http_compile / 1 → lib/http_client
1557. http_compile / 2 → lib/http_client
1558. http_open / 2 → lib/http_client
1559. http_server / 1 → lib/http_server
1560. http_server / 2 → lib/http_server
1561. http_server → lib/http_server
1562. ic → lib/ic
1563. ic / struct → lib/ic_kernel
1564. ic_cumulative → lib/ic_cumulative
1565. ic_edge_finder → lib/ic_edge_finder
1566. ic_edge_finder3 → lib/ic_edge_finder3
1567. ic_event / 1 → lib/ic_kernel
1568. ic_gap_sbdd → lib/ic_gap_sbdd
1569. ic_gap_sbds → lib/ic_gap_sbds
1570. ic_global → lib/ic_global
1571. ic_global_gac → lib_public/ic_global_gac
1572. ic_hybrid_sets → lib/ic_hybrid_sets
1573. ic_kernel → lib/ic_kernel
1574. ic_make_overlap_bivs → lib/ic_make_overlap_bivs
1575. ic_mdd → lib/ic_mdd
1576. ic_probe → lib/ic_probe
1577. ic_probe_search → lib/ic_probe_search
1578. ic_probe_support → lib/ic_probe_support
1579. ic_probing_for_scheduling → lib/ic_probing_for_scheduling
1580. ic_prop_test_util → lib/ic_prop_test_util
1581. ic_sbds → lib/ic_sbds
1582. ic_sets → lib/ic_sets
1583. ic_stat / 1 → lib/ic_kernel
1584. ic_stat_get / 1 → lib/ic_kernel
1585. ic_stat_register_event / 2 → lib/ic_kernel
1586. ic_symbolic → lib/ic_symbolic
1587. icompile / 1 → lib/document
1588. icompile / 2 → lib/document
1589. iddiff / 3 → lib/ic_probe_support
1590. iddiff / 3 → lib/probe_support
1591. identified_constraint / 2 → lib/colgen
1592. idmemb / 2 → lib/ic_probe_support
1593. idmemb / 2 → lib/probe_support
1594. if / 1 → kernel/directives
1595. if / 3 → lib/sicstus
1596. ignore / 1 → lib/swi
1597. ignore_eof → kernel/env
1598. ignore_handler / 2 → lib/ech
1599. import / 1 → kernel/modules
1600. impose_bounds / 3 → lib/gfd
1601. impose_bounds / 3 → lib/ic_kernel
1602. impose_domain / 2 → lib/gfd
1603. impose_domain / 2 → lib/ic_kernel
1604. impose_max / 2 → lib/gfd
1605. impose_max / 2 → lib/ic_kernel
1606. impose_min / 2 → lib/gfd
1607. impose_min / 2 → lib/ic_kernel
1608. in / 2 → lib/fd_sets
1609. in / 2 → lib/ic_hybrid_sets
1610. in / 2 → lib/ic_sets
1611. in / 2 → lib/conjunto
1612. in / 2 → lib/clpfd
1613. in / 2 → lib_public/cardinal
1614. in / 3 → lib/fd_sets
1615. in / 3 → lib/ic_hybrid_sets
1616. in / 3 → lib/ic_sets
1617. in_chrstore / 1 → lib/ech
1618. in_chrstore / 2 → lib/ech
1619. in_set_range / 2 → lib/fd_sets
1620. in_set_range / 2 → lib/ic_hybrid_sets
1621. in_set_range / 2 → lib/ic_sets
1622. include / 1 → kernel/directives
1623. includes / 2 → lib/fd_sets
1624. includes / 2 → lib/ic_hybrid_sets
1625. includes / 2 → lib/ic_sets
1626. incore / 1 → lib/quintus
1627. incremental_all_shortest_paths_as_edges / 6 → lib/graph_algorithms
1628. incremental_all_shortest_paths_as_graph / 6 → lib/graph_algorithms
1629. incremental_single_pair_all_shortest_paths_as_graph / 7 → lib/graph_algorithms
1630. incremental_single_pair_shortest_path / 6 → lib/graph_algorithms
1631. incval / 1 → kernel/storage
1632. index / 1 → lib/swi
1633. indomain / 1 → lib/gfd
1634. indomain / 1 → lib/ic_symbolic
1635. indomain / 1 → lib/sd
1636. indomain / 1 → lib/fd
1637. indomain / 1 → lib/ic
1638. indomain / 2 → lib/gfd_search
1639. indomain / 2 → lib/fd_search
1640. indomain / 2 → lib/ic
1641. infers / 2 → lib/propia
1642. init / 1 → lib_public/m_tree234
1643. init / 1 → lib_public/m_map
1644. init_suspension_list / 2 → kernel/suspensions
1645. initialise_time_logging / 1 → lib/time_log
1646. initialization / 1 → kernel/modules
1647. initialization / 1 → kernel/modules
1648. initialization / 1 → kernel/modules
1649. initialization / 1 → lib/iso_light
1650. inline / 1 → kernel/compiler
1651. inline / 2 → kernel/compiler
1652. ins / 2 → lib/clpfd
1653. insert / 4 → lib_public/m_tree234
1654. insert / 4 → lib_public/m_map
1655. insert_pairapplied / 6 → lib/ech
1656. insert_samepairapplied / 6 → lib/ech
1657. insert_suspension / 3 → kernel/suspensions
1658. insert_suspension / 4 → kernel/suspensions
1659. inserta / 4 → lib/lists_of_structures
1660. insertz / 4 → lib/lists_of_structures
1661. insetdomain / 4 → lib/fd_sets
1662. insetdomain / 4 → lib/ic_hybrid_sets
1663. insetdomain / 4 → lib/ic_sets
1664. installation_directory → kernel/env
1665. instance / 2 → kernel/termcomp
1666. instance / 2 → lib/cprolog
1667. instance / 2 → lib/quintus
1668. instantiation_deviates / 1 → lib/eplex
1669. instantiation_error / 1 → lib/error
1670. instprofile → lib/instprofile
1671. instrument / 2 → lib/instrument
1672. instrument / 3 → lib/instrument
1673. instrument → lib/instrument
1674. instrument_control / 2 → lib/instrument
1675. int_geq_than / 10 → lib/ic_hybrid_sets
1676. int_leq_than / 10 → lib/ic_hybrid_sets
1677. int_sets / struct → lib/fd_sets
1678. int_sets / struct → lib/ic_hybrid_sets
1679. int_sets / struct → lib/ic_sets
1680. integer / 1 → kernel/typetest
1681. integer / 2 → kernel/arithmetic
1682. integer_atom / 2 → kernel/stratom
1683. integer_list_to_dom / 2 → lib/fd
1684. integer_rounding_function → kernel/env
1685. integers / 1 → lib/eplex
1686. integers / 1 → lib/gfd
1687. integers / 1 → lib/bfs
1688. integers / 1 → lib/ic_kernel
1689. integers / 1 → lib/suspend
1690. integers / 1 → lib/fd
1691. integers / 1 → lib/ic
1692. integral_t / 3 → lib/tentative_constraints
1693. interface / 1 → lib/util
1694. interrupt / 1 → lib/sepia
1695. intersect_atmost_n / 4 → lib/ic_hybrid_sets
1696. intersect_lex / 3 → lib/ic_hybrid_sets
1697. intersection / 3 → lib/fd_sets
1698. intersection / 3 → lib/ic_hybrid_sets
1699. intersection / 3 → lib/ic_sets
1700. intersection / 3 → lib/lists
1701. interval_alarm / 1 → lib/sepia
1702. interval_contains / 2 → lib_public/intervals
1703. interval_difference / 3 → lib_public/intervals
1704. interval_ends_first / 2 → lib_public/intervals
1705. interval_includes / 2 → lib_public/intervals
1706. interval_intersection / 3 → lib_public/intervals
1707. interval_is_less / 2 → lib_public/intervals
1708. interval_is_less_and_not_coalescable / 2 → lib_public/intervals
1709. interval_union / 3 → lib_public/intervals
1710. intervals → lib_public/intervals
1711. intervals_are_coalescable / 2 → lib_public/intervals
1712. intervals_are_disjoint / 2 → lib_public/intervals
1713. intervals_are_not_coalescable / 2 → lib_public/intervals
1714. intervals_meet / 2 → lib_public/intervals
1715. intset / 3 → lib/fd_sets
1716. intset / 3 → lib/ic_hybrid_sets
1717. intset / 3 → lib/ic_sets
1718. intsets / 4 → lib/fd_sets
1719. intsets / 4 → lib/ic_hybrid_sets
1720. intsets / 4 → lib/ic_sets
1721. inverse / 2 → lib/gfd
1722. inverse / 2 → lib/fd_global
1723. inverse / 2 → lib/ic_global
1724. inverse / 2 → lib_public/fd_global_gac
1725. inverse / 2 → lib_public/ic_global_gac
1726. inverse / 4 → lib/gfd
1727. inverse_g / 2 → lib/gfd
1728. inverse_g / 4 → lib/gfd
1729. inverse_search / 3 → lib_public/m_map
1730. iochar → kernel/iochar
1731. iostream → kernel/iostream
1732. ioterm → kernel/ioterm
1733. is / 2 → kernel/arithmetic
1734. is / 2 → lib/iso_light
1735. is / 2 → lib/iso_strict
1736. is_array / 1 → kernel/typetest
1737. is_array / 1 → lib_public/logarr
1738. is_assoc / 1 → lib_public/assoc
1739. is_bag / 1 → lib_public/bags
1740. is_built_in / 1 → kernel/obsolete
1741. is_constraint_pool / 1 → lib/constraint_pools
1742. is_digit / 1 → lib/quintus
1743. is_domain / 1 → lib/fd
1744. is_dynamic / 1 → kernel/dynamic
1745. is_empty / 1 → lib_public/m_tree234
1746. is_empty / 1 → lib_public/m_map
1747. is_event / 1 → kernel/typetest
1748. is_exact_solver_var / 1 → lib/fd_sets
1749. is_exact_solver_var / 1 → lib/gfd
1750. is_exact_solver_var / 1 → lib/ic_symbolic
1751. is_exact_solver_var / 1 → lib/ic_kernel
1752. is_exact_solver_var / 1 → lib/ic_sets
1753. is_exact_solver_var / 1 → lib/sd
1754. is_exact_solver_var / 1 → lib/fd
1755. is_exact_solver_var / 1 → lib/ic
1756. is_handle / 1 → kernel/typetest
1757. is_handle / 2 → kernel/typetest
1758. is_in_domain / 2 → lib/gfd
1759. is_in_domain / 2 → lib/ic_kernel
1760. is_in_domain / 2 → lib/ic
1761. is_in_domain / 3 → lib/gfd
1762. is_in_domain / 3 → lib/ic_kernel
1763. is_in_domain / 3 → lib/ic
1764. is_in_store / 2 → lib/ech
1765. is_integer_domain / 1 → lib/fd
1766. is_list / 1 → kernel/typetest
1767. is_locked / 1 → kernel/obsolete
1768. is_lower / 1 → lib/quintus
1769. is_map / 1 → lib_public/map
1770. is_module / 1 → lib/sepia
1771. is_ordset / 1 → lib/ordset
1772. is_predicate / 1 → kernel/compiler
1773. is_protected / 1 → lib/sepia
1774. is_protected_ / 2 → lib/sepia
1775. is_record / 1 → kernel/record
1776. is_sbdd_var / 1 → lib/ic_gap_sbdd
1777. is_sbds_var / 1 → lib/ic_gap_sbds
1778. is_sbds_var / 1 → lib/fd_sbds
1779. is_sbds_var / 1 → lib/ic_sbds
1780. is_sbds_var / 1 → lib/gfd_sbds
1781. is_solver_type / 1 → lib/fd_sets
1782. is_solver_type / 1 → lib/gfd
1783. is_solver_type / 1 → lib/ic_hybrid_sets
1784. is_solver_type / 1 → lib/ic_kernel
1785. is_solver_type / 1 → lib/ic_sets
1786. is_solver_type / 1 → lib/sd
1787. is_solver_type / 1 → lib/ic
1788. is_solver_var / 1 → lib/fd_sets
1789. is_solver_var / 1 → lib/gfd
1790. is_solver_var / 1 → lib/ic_hybrid_sets
1791. is_solver_var / 1 → lib/ic_symbolic
1792. is_solver_var / 1 → lib/ic_kernel
1793. is_solver_var / 1 → lib/ic_sets
1794. is_solver_var / 1 → lib/sd
1795. is_solver_var / 1 → lib/fd
1796. is_solver_var / 1 → lib/ic
1797. is_sub_graph / 2 → lib/graph_algorithms
1798. is_suspension / 1 → kernel/typetest
1799. is_thread / 1 → lib/threads
1800. is_tree234 / 1 → lib_public/m_tree234
1801. is_upper / 1 → lib/quintus
1802. isd / 2 → lib/fd
1803. iset_complement / 3 → lib_public/intervals
1804. iset_contains / 2 → lib_public/intervals
1805. iset_difference / 3 → lib_public/intervals
1806. iset_includes / 2 → lib_public/intervals
1807. iset_intersection / 3 → lib_public/intervals
1808. iset_union / 3 → lib_public/intervals
1809. iso → lib/iso
1810. ISO 8601 → lib/calendar
1811. iso_base_prefix → kernel/syntax
1812. iso_escapes → kernel/syntax
1813. iso_light → lib/iso_light
1814. iso_restrictions → kernel/syntax
1815. iso_strict → lib/iso_strict
1816. itemplate / struct → lib/instrument
1817. iter_init / 2 → lib_public/m_tree234
1818. iter_next / 4 → lib_public/m_tree234
1819. Iteration → kernel/control
1820. java_vc → lib/java_vc
1821. jd_to_mjd / 2 → lib/calendar
1822. join_queue / 3 → lib/queues
1823. join_string / 3 → kernel/stratom
1824. json → lib/json
1825. json_read / 3 → lib/json
1826. json_write / 3 → lib/json
1827. julian date → lib/calendar
1828. jump_queue / 3 → lib/queues
1829. keys / 2 → lib_public/m_tree234
1830. keys / 2 → lib_public/m_map
1831. keys_and_values / 3 → lib_public/project
1832. keysort / 2 → kernel/termcomp
1833. kill / 2 → kernel/opsys
1834. kill_constraint / 2 → lib/ech
1835. kill_display_matrix / 1 → kernel/debug
1836. kill_suspension / 1 → kernel/suspensions
1837. label / 1 → lib/clpfd
1838. labeling / 1 → lib/gfd
1839. labeling / 1 → lib/sd
1840. labeling / 1 → lib/fd
1841. labeling / 1 → lib/ic
1842. labeling / 2 → lib/clpfd
1843. labeling_ff / 4 → lib/ic_hybrid_sets
1844. labeling_lex / 1 → lib/ic_hybrid_sets
1845. labeling_lex / 4 → lib/ic_hybrid_sets
1846. labeling_smallest_glb / 1 → lib/ic_hybrid_sets
1847. lambda → lib_public/lambda
1848. last / 2 → lib_public/listut
1849. last_errno → kernel/env
1850. last_port_profile / 1 → lib/port_profiler
1851. lazy_io → lib/lazy_io
1852. lcm / 3 → kernel/arithmetic
1853. ldsb → lib_public/ldsb
1854. ldsb_indomain / 1 → lib_public/ldsb
1855. ldsb_indomain_set / 1 → lib_public/ldsb
1856. ldsb_initialise / 2 → lib_public/ldsb
1857. ldsb_try / 3 → lib_public/ldsb
1858. ldsb_try_set / 3 → lib_public/ldsb
1859. leash / 1 → lib/cprolog
1860. leash → kernel/compiler
1861. length / 2 → lib/lists
1862. length / 3 → lib_public/bags
1863. length_queue / 2 → lib/queues
1864. leq / 2 → lib/ic_hybrid_sets
1865. less / 2 → lib/ic_hybrid_sets
1866. lex_chain / 1 → lib/clpfd
1867. lex_eq / 2 → lib/gfd
1868. lex_ge / 2 → lib/gfd
1869. lex_gt / 2 → lib/gfd
1870. lex_le / 2 → lib/gfd
1871. lex_le / 2 → lib/fd_global
1872. lex_le / 2 → lib/ic_global
1873. lex_le / 2 → lib_public/fd_global_gac
1874. lex_le / 2 → lib_public/ic_global_gac
1875. lex_lt / 2 → lib/gfd
1876. lex_lt / 2 → lib/fd_global
1877. lex_lt / 2 → lib/ic_global
1878. lex_lt / 2 → lib_public/fd_global_gac
1879. lex_lt / 2 → lib_public/ic_global_gac
1880. lex_min_max / 3 → lib/ic_hybrid_sets
1881. lex_ne / 2 → lib/gfd
1882. lex_set_range / 3 → lib/ic_hybrid_sets
1883. lexico_le / 2 → lib/fd_global
1884. lexico_le / 2 → lib/ic_global
1885. lib / 1 → kernel/compiler
1886. lib / 2 → kernel/obsolete
1887. library_path → kernel/env
1888. limit_arg_precedence → kernel/syntax
1889. line_count / 2 → lib/swi
1890. line_count / 2 → lib/quintus
1891. linearize / 3 → lib/linearize
1892. linearize → lib/linearize
1893. linrenorm / 2 → lib/linearize
1894. lint / 1 → lib/lint
1895. lint / 2 → lib/lint
1896. lint → lib/lint
1897. lips / 0 → lib/lips
1898. lips / 1 → lib/lips
1899. lips / 2 → lib/lips
1900. lips → lib/lips
1901. list_collection → lib_public/list_collection
1902. list_error / 3 → lib/util
1903. list_join_queue / 3 → lib/queues
1904. list_jump_queue / 3 → lib/queues
1905. list_to_and / 2 → lib_public/flat
1906. list_to_array / 2 → lib_public/arrays
1907. list_to_assoc / 2 → lib_public/assoc
1908. list_to_assoc / 4 → lib_public/assoc
1909. list_to_bag / 2 → lib_public/bags
1910. list_to_binary / 3 → lib_public/flat
1911. list_to_binary / 4 → lib_public/flat
1912. list_to_dom / 2 → lib/fd
1913. list_to_hash / 4 → lib/hash
1914. list_to_heap / 2 → lib/heaps
1915. list_to_map / 2 → lib_public/map
1916. list_to_or / 2 → lib_public/flat
1917. list_to_ord_set / 2 → lib/ordset
1918. list_to_plus / 2 → lib_public/flat
1919. list_to_queue / 2 → lib/queues
1920. list_to_stream / 3 → lib/lazy_io
1921. list_to_times / 2 → lib_public/flat
1922. list_to_tree / 2 → lib_public/trees
1923. list2cols / 4 → lib/matrix_util
1924. list2rows / 4 → lib/matrix_util
1925. list2set / 2 → lib/conjunto_fd_sets
1926. list2set / 2 → lib/conjunto
1927. listen / 2 → kernel/iostream
1928. listing / 0 → kernel/dynamic
1929. listing / 1 → kernel/dynamic
1930. lists → lib/lists
1931. lists_of_structures → lib/lists_of_structures
1932. lists_structs / 2 → lib/lists_of_structures
1933. listut → lib_public/listut
1934. Literate programming → kernel/directives
1935. ln / 2 → kernel/arithmetic
1936. load / 1 → kernel/externals
1937. load / 1 → lib/sicstus
1938. load / 2 → lib/sepia
1939. load_foreign_files / 2 → lib/foreign
1940. loaded_library → kernel/env
1941. local / 1 → kernel/modules
1942. local search → lib/repair
1943. local_intersect_atmost_n / 4 → lib/ic_hybrid_sets
1944. local_op / 3 → lib/sepia
1945. local_record / 1 → kernel/obsolete
1946. local_time / 8 → kernel/opsys
1947. local_time_string / 3 → kernel/opsys
1948. locate / 2 → lib/ic
1949. locate / 3 → lib/ic
1950. locate / 4 → lib/ic
1951. lock / 0 → kernel/modules
1952. lock / 1 → kernel/obsolete
1953. lock / 2 → kernel/obsolete
1954. lock_pass / 1 → kernel/modules
1955. log / 2 → lib/cprolog
1956. log_time_local / 2 → lib/time_log
1957. log10 / 2 → lib/cprolog
1958. logarr → lib_public/logarr
1959. lookup / 3 → lib_public/m_tree234
1960. lookup / 3 → lib_public/m_map
1961. Loops → kernel/control
1962. lower_bound_lookup / 4 → lib_public/m_tree234
1963. lower_bound_lookup / 4 → lib_public/m_map
1964. lower_bound_search / 4 → lib_public/m_tree234
1965. lower_bound_search / 4 → lib_public/m_map
1966. lp_add / 3 → lib/eplex
1967. lp_add_columns / 2 → lib/eplex
1968. lp_add_constraints / 3 → lib/eplex
1969. lp_add_constraints / 4 → lib/eplex
1970. lp_add_cutpool_constraints / 4 → lib/eplex
1971. lp_add_vars / 2 → lib/eplex
1972. lp_cleanup / 1 → lib/eplex
1973. lp_demon_setup / 5 → lib/eplex
1974. lp_get / 2 → lib/eplex
1975. lp_get / 3 → lib/eplex
1976. lp_get_changeable_value / 3 → lib/eplex
1977. lp_get_iis / 5 → lib/eplex
1978. lp_get_license / 0 → lib/eplex
1979. lp_get_license / 2 → lib/eplex
1980. lp_get_license_challenge / 1 → lib/eplex
1981. lp_probe / 3 → lib/eplex
1982. lp_read / 3 → lib/eplex
1983. lp_release_license / 0 → lib/eplex
1984. lp_set / 2 → lib/eplex
1985. lp_set / 3 → lib/eplex
1986. lp_setup / 4 → lib/eplex
1987. lp_solve / 2 → lib/eplex
1988. lp_suspend_on_change / 3 → lib/eplex
1989. lp_var_get / 4 → lib/eplex
1990. lp_var_get_bounds / 4 → lib/eplex
1991. lp_var_occurrence / 3 → lib/eplex
1992. lp_var_set_bounds / 4 → lib/eplex
1993. lp_verify_solution / 3 → lib/eplex
1994. lp_write / 3 → lib/eplex
1995. ls / 0 → lib/sepia
1996. ls / 1 → lib/sepia
1997. lub / 2 → lib/conjunto
1998. lub / 2 → lib_public/cardinal
1999. lub / 4 → lib_public/cardinal
2000. m_map → lib_public/m_map
2001. m_tree234 → lib_public/m_tree234
2002. macro / 3 → kernel/syntax
2003. macro_expansion → kernel/syntax
2004. macro_expansion → kernel/env
2005. make / 0 → kernel/env
2006. make_array / 1 → kernel/obsolete
2007. make_array / 2 → kernel/obsolete
2008. make_atom / 1 → lib/test_util
2009. make_bignum / 1 → lib/test_util
2010. make_display_matrix / 2 → kernel/debug
2011. make_display_matrix / 5 → kernel/debug
2012. make_float / 1 → lib/test_util
2013. make_graph / 3 → lib/graph_algorithms
2014. make_graph_symbolic / 3 → lib/graph_algorithms
2015. make_integer / 1 → lib/test_util
2016. make_interval / 1 → lib/test_util
2017. make_list / 1 → lib/test_util
2018. make_local_array / 1 → kernel/obsolete
2019. make_local_array / 2 → kernel/obsolete
2020. make_n_random_seeds / 2 → lib/fd_prop_test_util
2021. make_n_random_seeds / 2 → lib/ic_prop_test_util
2022. make_n_random_variables / 4 → lib/fd_prop_test_util
2023. make_n_random_variables / 4 → lib/ic_prop_test_util
2024. make_negbignum / 1 → lib/test_util
2025. make_negfloat / 1 → lib/test_util
2026. make_neginteger / 1 → lib/test_util
2027. make_neginterval / 1 → lib/test_util
2028. make_negrational / 1 → lib/test_util
2029. make_nil / 1 → lib/test_util
2030. make_overlap_bivs / 5 → lib/make_overlap_bivs
2031. make_overlap_bivs / 5 → lib/ic_make_overlap_bivs
2032. make_overlap_bivs → lib/make_overlap_bivs
2033. make_queue / 1 → lib/queues
2034. make_random_graph / 6 → lib/graph_algorithms
2035. make_rational / 1 → lib/test_util
2036. make_simple_interface / 0 → lib/foreign
2037. make_simple_interface / 1 → lib/foreign
2038. make_string / 1 → lib/test_util
2039. make_struct / 1 → lib/test_util
2040. make_sub_bag / 2 → lib_public/bags
2041. make_sub_graph / 3 → lib/graph_algorithms
2042. make_suspension / 3 → kernel/suspensions
2043. make_suspension / 4 → kernel/suspensions
2044. make_undirected_graph / 2 → lib/graph_algorithms
2045. make_var / 1 → lib/test_util
2046. manual / 0 → lib/quintus
2047. map → lib_public/map
2048. map_agree / 2 → lib_public/map
2049. map_assoc / 2 → lib_public/assoc
2050. map_assoc / 3 → lib_public/assoc
2051. map_atts / 2 → lib/atts
2052. map_compose / 3 → lib_public/map
2053. map_disjoint / 2 → lib_public/map
2054. map_domain / 2 → lib_public/map
2055. map_exclude / 3 → lib_public/map
2056. map_include / 3 → lib_public/map
2057. map_invert / 2 → lib_public/map
2058. map_map / 3 → lib_public/map
2059. map_range / 2 → lib_public/map
2060. map_to_assoc / 2 → lib_public/map
2061. map_tree / 3 → lib_public/trees
2062. map_union / 3 → lib_public/map
2063. map_update / 3 → lib_public/map
2064. map_update / 4 → lib_public/map
2065. map_value / 3 → lib_public/map
2066. mapand / 3 → lib_public/applic
2067. mapargs / 3 → lib/apply_macros
2068. mapbag / 3 → lib_public/bags
2069. maplist / 2 → lib/lists
2070. maplist / 3 → lib/apply_macros
2071. maplist / 3 → lib/lists
2072. maplist / 3 → lib_public/applic
2073. mapstream / 3 → lib/apply_macros
2074. match / 2 → lib/regex
2075. match / 3 → lib/regex
2076. match / 4 → lib/regex
2077. matchall / 4 → lib/regex
2078. matching / 2 → lib_public/fd_global_gac
2079. matching / 2 → lib_public/ic_global_gac
2080. Matching → kernel/control
2081. matching → lib/graph_algorithms
2082. matchsub / 4 → lib/regex
2083. matrix / 3 → lib/matrix_util
2084. matrix / 4 → lib/matrix_util
2085. matrix_util → lib/matrix_util
2086. max / 2 → kernel/arithmetic
2087. max / 2 → lib/gfd
2088. max / 2 → lib/ic
2089. max / 3 → kernel/arithmetic
2090. max_arity → kernel/env
2091. max_assoc / 3 → lib_public/assoc
2092. max_first_index / 2 → lib/gfd
2093. max_first_index_g / 2 → lib/gfd
2094. max_flow / 5 → lib/max_flow
2095. max_flow / 7 → lib/max_flow
2096. max_flow → lib/max_flow
2097. max_flow_eplex / 5 → lib_public/max_flow_eplex
2098. max_flow_eplex → lib_public/max_flow_eplex
2099. max_flow_eplex_dual / 5 → lib_public/max_flow_eplex
2100. max_flow_eplex_dual / 7 → lib_public/max_flow_eplex
2101. max_flow_with_lb / 6 → lib/max_flow
2102. max_flow_with_lb / 8 → lib/max_flow
2103. max_global_trail → kernel/env
2104. max_index / 2 → lib/gfd
2105. max_index_g / 2 → lib/gfd
2106. max_integer → kernel/env
2107. max_list / 2 → lib/swi
2108. max_local_control → kernel/env
2109. max_predicate_arity → kernel/env
2110. max_regret_lwb / 2 → lib/gfd
2111. max_regret_upb / 2 → lib/gfd
2112. max_weight / 2 → lib/conjunto
2113. max_weighted_degree / 2 → lib/gfd
2114. max_weighted_degree_per_value / 2 → lib/gfd
2115. maxdomain / 2 → lib/fd
2116. maximum / 2 → lib_public/cardinal
2117. maximum_matching_hopcroft_karp / 4 → lib/graph_algorithms
2118. maxlist / 2 → lib/fd_global
2119. maxlist / 2 → lib/ic_global
2120. maxlist / 2 → lib/ic
2121. mdd_solutions / 2 → lib/mdd_support
2122. mdd_support → lib/mdd_support
2123. mddc / 2 → lib/ic_mdd
2124. mddc / 2 → lib/fd_mdd
2125. mem / 2 → lib/gfd
2126. mem / 3 → lib/gfd
2127. member / 2 → lib/lists
2128. member / 3 → lib_public/bags
2129. member / 3 → lib_public/m_tree234
2130. member / 3 → lib_public/m_map
2131. memberchk / 2 → lib/lists
2132. membership_booleans / 2 → lib/fd_sets
2133. membership_booleans / 2 → lib/ic_hybrid_sets
2134. membership_booleans / 2 → lib/ic_sets
2135. mercury → lib_public/mercury
2136. merge / 3 → kernel/termcomp
2137. merge / 3 → lib_public/m_map
2138. merge / 5 → kernel/termcomp
2139. merge_senders / 2 → lib/notify_ports
2140. merge_set / 3 → lib/swi
2141. merge_suspension_lists / 4 → kernel/suspensions
2142. message queue → kernel/record
2143. message queue → kernel/record
2144. message_queue_create / 1 → lib/threads
2145. message_queue_create / 2 → lib/threads
2146. message_queue_destroy / 1 → lib/threads
2147. meta / 1 → kernel/typetest
2148. meta_attribute / 2 → kernel/termmanip
2149. meta_attribute_now_later / 3 → lib/source_processor
2150. meta_bind / 2 → kernel/termmanip
2151. meta_predicate / 1 → kernel/compiler
2152. metutl → lib_public/metutl
2153. middle_out / 2 → lib/lists
2154. min / 2 → kernel/arithmetic
2155. min / 2 → lib/gfd
2156. min / 2 → lib/ic
2157. min / 3 → kernel/arithmetic
2158. min_assoc / 3 → lib_public/assoc
2159. min_first_index / 2 → lib/gfd
2160. min_first_index_g / 2 → lib/gfd
2161. min_index / 2 → lib/gfd
2162. min_index_g / 2 → lib/gfd
2163. min_integer → kernel/env
2164. min_list / 2 → lib/swi
2165. min_max / 2 → lib/fd
2166. min_max / 4 → lib/fd
2167. min_max / 5 → lib/fd
2168. min_max / 6 → lib/fd
2169. min_max / 8 → lib/fd
2170. min_max_body / 3 → lib/fd
2171. min_max_body / 5 → lib/fd
2172. min_max_body / 6 → lib/fd
2173. min_max_body / 7 → lib/fd
2174. min_max_body / 9 → lib/fd
2175. min_of_heap / 3 → lib/heaps
2176. min_of_heap / 5 → lib/heaps
2177. mindomain / 2 → lib/fd
2178. minimize / 2 → lib/branch_and_bound
2179. minimize / 2 → lib/fd
2180. minimize / 3 → lib/colgen
2181. minimize / 3 → lib_public/fzn_ic
2182. minimize / 3 → lib_public/fzn_fd
2183. minimize / 4 → lib/fd
2184. minimize / 5 → lib/fd
2185. minimize / 6 → lib/fd
2186. minimize / 8 → lib/fd
2187. minimize_body / 3 → lib/fd
2188. minimize_body / 5 → lib/fd
2189. minimize_body / 6 → lib/fd
2190. minimize_body / 7 → lib/fd
2191. minimize_body / 9 → lib/fd
2192. minimize_bound_check / 0 → lib/fd
2193. minimum / 2 → lib_public/cardinal
2194. minimum_spanning_forest / 5 → lib/graph_algorithms
2195. minimum_spanning_tree / 4 → lib/graph_algorithms
2196. minizinc → lib_public/minizinc
2197. minlist / 2 → lib/fd_global
2198. minlist / 2 → lib/ic_global
2199. minlist / 2 → lib/ic
2200. mip → lib/mip
2201. mjd_now / 1 → lib/calendar
2202. mjd_to_date / 2 → lib/calendar
2203. mjd_to_dow / 2 → lib/calendar
2204. mjd_to_dow / 3 → lib/calendar
2205. mjd_to_dwy / 2 → lib/calendar
2206. mjd_to_dwy / 3 → lib/calendar
2207. mjd_to_dy / 2 → lib/calendar
2208. mjd_to_jd / 2 → lib/calendar
2209. mjd_to_time / 2 → lib/calendar
2210. mjd_to_unix / 2 → lib/calendar
2211. mjd_to_weekday / 2 → lib/calendar
2212. mjd_to_ymd / 2 → lib/calendar
2213. mjd_to_ywd / 2 → lib/calendar
2214. mkdir / 1 → kernel/opsys
2215. mod / 3 → kernel/arithmetic
2216. mode / 1 → kernel/compiler
2217. mode_analyser → lib/mode_analyser
2218. modify_bound / 3 → lib/conjunto
2219. module / 1 → kernel/modules
2220. module / 3 → kernel/modules
2221. module_callsites / 2 → lib/instrument
2222. module_interface / 1 → kernel/obsolete
2223. module_options → lib/module_options
2224. module_property / 2 → lib/swi
2225. module_result / 0 → lib/instrument
2226. module_result / 1 → lib/instrument
2227. modules → kernel/modules
2228. monitor_changes / 6 → lib/changeset
2229. monitor_changes_arr / 5 → lib/changeset
2230. monitored_constraint / struct → lib/tentative
2231. most_constrained_per_value / 2 → lib/gfd
2232. msg / 3 → lib/fd_sets
2233. msg / 3 → lib/gfd
2234. msg / 3 → lib/ic_symbolic
2235. msg / 3 → lib/ic_kernel
2236. msg / 3 → lib/ic_sets
2237. msg / 3 → lib/sd
2238. msg / 3 → lib/fd
2239. msort / 2 → kernel/termcomp
2240. multifile / 1 → lib/multifile
2241. multifile → lib/multifile
2242. multifor → kernel/control
2243. must_be / 2 → lib/error
2244. mutex / 2 → kernel/obsolete
2245. mutex_create / 1 → lib/threads
2246. mutex_create / 2 → lib/threads
2247. mutex_destroy / 1 → lib/threads
2248. mutex_init / 1 → kernel/obsolete
2249. my_tent_call / 4 → lib/ic_probe_support
2250. my_tent_call / 4 → lib/probe_support
2251. mzn_load / 5 → lib_public/minizinc
2252. mzn_load_string / 5 → lib_public/minizinc
2253. mzn_run / 0 → lib_public/minizinc
2254. mzn_run / 2 → lib_public/minizinc
2255. mzn_run / 3 → lib_public/minizinc
2256. mzn_run_string / 2 → lib_public/minizinc
2257. mzn2fzn / 4 → lib_public/minizinc
2258. name / 2 → kernel/obsolete
2259. name / 2 → lib/quintus
2260. name_to_handle / 3 → kernel/storage
2261. name_variables / 4 → lib_public/visualize_tree
2262. name_variables / 5 → lib_public/visualize_tree
2263. naming variable → lib/var_name
2264. neg / 1 → lib/gfd
2265. neg / 1 → lib/suspend
2266. neg / 1 → lib/ic
2267. neg / 2 → lib/gfd
2268. neg / 2 → lib/suspend
2269. neg / 2 → lib/ic
2270. Negation → kernel/control
2271. Negation → kernel/control
2272. Negation → kernel/control
2273. neq_t / 3 → lib/tentative_constraints
2274. nested_comments → kernel/syntax
2275. new_array / 1 → lib_public/logarr
2276. new_constraints / 3 → lib/ech
2277. new_domain_var / 1 → lib/fd
2278. new_socket_server / 3 → kernel/iostream
2279. next_lex_min / 3 → lib/ic_hybrid_sets
2280. nextto / 3 → lib_public/listut
2281. nexttoward / 3 → kernel/arithmetic
2282. nl / 0 → kernel/iochar
2283. nl / 1 → kernel/iochar
2284. nl_in_quotes → kernel/syntax
2285. nmember / 3 → lib_public/listut
2286. nmembers / 3 → lib_public/listut
2287. no_array_subscripts → kernel/syntax
2288. no_attributes → kernel/syntax
2289. no_blanks → kernel/syntax
2290. no_curly_arguments → kernel/syntax
2291. no_delayed_goals / 0 → lib/sepia
2292. no_delayed_goals / 1 → lib/chr
2293. no_global_bindings / 2 → lib/chr
2294. no_macro_expansion/1 → kernel/syntax
2295. no_string_concatenation → kernel/syntax
2296. no_style_check / 1 → lib/quintus
2297. nodbgcomp / 0 → kernel/obsolete
2298. node_cost / 1 → lib/bfs
2299. node_info / 5 → lib/bfs
2300. node_to_nodename / 3 → lib/graph_algorithms
2301. nodebug / 0 → kernel/debug
2302. nodename_to_node / 3 → lib/graph_algorithms
2303. nodenames_to_nodes / 3 → lib/graph_algorithms
2304. nodes_to_nodenames / 3 → lib/graph_algorithms
2305. nofileerrors / 0 → lib/cprolog
2306. nogc / 0 → lib/quintus
2307. nonground / 1 → kernel/typetest
2308. nonground / 2 → kernel/typetest
2309. nonground / 3 → kernel/typetest
2310. nonmember / 2 → lib/lists
2311. nonvar / 1 → kernel/typetest
2312. normalise_cstrs / 3 → lib/eplex
2313. normalize / 3 → lib/linearize
2314. nospy / 1 → kernel/debug
2315. nospyall / 0 → lib/quintus
2316. not / 1 → kernel/control
2317. not_unify / 2 → kernel/termcomp
2318. notify_constrained / 1 → kernel/suspensions
2319. notify_ports → lib/notify_ports
2320. notin / 2 → lib/fd_sets
2321. notin / 2 → lib/ic_hybrid_sets
2322. notin / 2 → lib/ic_sets
2323. notin / 2 → lib/conjunto
2324. notin / 2 → lib_public/cardinal
2325. notinstance → lib/notinstance
2326. notrace / 0 → kernel/debug
2327. nth_value / 3 → lib/gfd_search
2328. nth_value / 3 → lib/fd_search
2329. nth_value / 3 → lib/ic
2330. nth0 / 3 → lib_public/listut
2331. nth0 / 4 → lib_public/listut
2332. nth1 / 3 → lib_public/listut
2333. nth1 / 4 → lib_public/listut
2334. number / 1 → kernel/typetest
2335. number_chars / 2 → lib/iso_light
2336. number_chars / 2 → lib/quintus
2337. number_codes / 2 → lib/iso_light
2338. number_merge / 3 → kernel/termcomp
2339. number_merge / 5 → kernel/obsolete
2340. number_sort / 2 → kernel/termcomp
2341. number_sort / 4 → kernel/obsolete
2342. number_string / 2 → kernel/stratom
2343. number_variables / 3 → lib_public/visualize_tree
2344. number_variables / 4 → lib_public/visualize_tree
2345. numbervars / 3 → lib/numbervars
2346. numbervars → lib/numbervars
2347. numerator / 2 → kernel/arithmetic
2348. numlist / 3 → lib/swi
2349. numlist / 3 → lib_public/listut
2350. nvalue / 2 → lib/fd_global
2351. nvalue / 2 → lib/ic_global
2352. nvalues / 3 → lib/gfd
2353. object_spec_to_filename / 2 → lib/document
2354. object_suffix → kernel/env
2355. obsolete → kernel/obsolete
2356. occ / 3 → lib_public/struct
2357. occ / struct → lib/gfd
2358. occur → lib_public/occur
2359. occurrences / 3 → lib/gfd
2360. occurrences / 3 → lib/fd_global
2361. occurrences / 3 → lib/ic_symbolic
2362. occurrences / 3 → lib/ic_global
2363. occurs / 2 → kernel/termcomp
2364. occurs check → kernel/typetest
2365. occurs_check / 2 → lib_public/metutl
2366. occurs_in / 2 → lib_public/metutl
2367. octet → kernel/stratom
2368. of → kernel/syntax
2369. on_exception / 3 → lib/sicstus
2370. on_signal / 3 → lib/swi
2371. once / 1 → kernel/control
2372. onto_file / 2 → lib/fromonto
2373. onto_stream / 2 → lib/fromonto
2374. onto_string / 2 → lib/fromonto
2375. op / 3 → kernel/syntax
2376. op / 3 → lib/quintus
2377. open / 3 → kernel/iostream
2378. open / 3 → lib/iso
2379. open / 3 → lib/iso_strict
2380. open / 4 → kernel/iostream
2381. open / 4 → lib/iso
2382. open / 4 → lib/iso_strict
2383. open_delta_file / 1 → lib/instprofile
2384. open_null_stream / 1 → lib/swi
2385. open_null_stream / 1 → lib/quintus
2386. open_receiver / 2 → lib/notify_ports
2387. open_receiver / 4 → lib/notify_ports
2388. open_receiver_init / 4 → lib/notify_ports
2389. open_receiver_init / 6 → lib/notify_ports
2390. open_sender / 1 → lib/notify_ports
2391. open_sender / 2 → lib/notify_ports
2392. open_tagged_receiver / 3 → lib/notify_ports
2393. open_tagging_sender / 1 → lib/notify_ports
2394. opsys → kernel/opsys
2395. opt_level → kernel/directives
2396. opt_level → kernel/compiler
2397. optimization → lib/branch_and_bound
2398. optimize / 2 → lib/eplex
2399. optimize / 2 → lib_public/m_map
2400. optimize / 3 → lib/eplex
2401. option / 2 → lib/ech
2402. option / 3 → lib/ech
2403. options / struct → lib/ic_probe_support
2404. options / struct → lib/probe_support
2405. or / 2 → lib/gfd
2406. or / 2 → lib/suspend
2407. or / 2 → lib/ic
2408. or / 3 → lib/gfd
2409. or / 3 → lib/suspend
2410. or / 3 → lib/ic
2411. Or → kernel/control
2412. or_to_list / 2 → lib_public/flat
2413. ord_add_element / 3 → lib/ordset
2414. ord_compare / 3 → lib/ordset
2415. ord_del_element / 3 → lib/ordset
2416. ord_disjoint / 2 → lib/ordset
2417. ord_disjoint_union / 3 → lib/ordset
2418. ord_insert / 3 → lib/ordset
2419. ord_intersect / 2 → lib/ordset
2420. ord_intersect / 3 → lib/ordset
2421. ord_intersection / 2 → lib/ordset
2422. ord_intersection / 3 → lib/ordset
2423. ord_intersection / 5 → lib/ordset
2424. ord_list_to_assoc / 2 → lib_public/assoc
2425. ord_memberchk / 2 → lib/ordset
2426. ord_nonmember / 2 → lib/ordset
2427. ord_proper_subset / 2 → lib/ordset
2428. ord_proper_superset / 2 → lib/ordset
2429. ord_selectchk / 3 → lib/ordset
2430. ord_seteq / 2 → lib/ordset
2431. ord_subset / 2 → lib/ordset
2432. ord_subtract / 3 → lib/ordset
2433. ord_superset / 2 → lib/ordset
2434. ord_symdiff / 3 → lib/ordset
2435. ord_union / 2 → lib/ordset
2436. ord_union / 3 → lib/ordset
2437. ord_union / 4 → lib/ordset
2438. order / 2 → lib_public/grasper
2439. order → lib_public/order
2440. ordered / 1 → lib_public/order
2441. ordered / 2 → lib/gfd
2442. ordered / 2 → lib/fd_global
2443. ordered / 2 → lib/ic_global
2444. ordered / 2 → lib_public/order
2445. ordered_sum / 2 → lib/fd_global
2446. ordered_sum / 2 → lib/ic_global
2447. ordered_tuples_to_mdd / 2 → lib/mdd_support
2448. ordset → lib/ordset
2449. oriented_graph / 2 → lib_public/grasper
2450. os_file_name / 2 → kernel/opsys
2451. otherwise / 0 → lib/quintus
2452. output_mode → kernel/env
2453. output_options → kernel/env
2454. overlay / 3 → lib_public/m_map
2455. p_member / 3 → lib_public/graphs
2456. p_to_s_graph / 2 → lib_public/graphs
2457. p_transpose / 2 → lib_public/graphs
2458. par_between / 3 → lib/par_util
2459. par_delete / 3 → lib/par_util
2460. par_indomain / 1 → lib/fd
2461. par_lips / 1 → lib/lips
2462. par_maplist / 3 → lib/par_util
2463. par_member / 2 → lib/par_util
2464. par_util → lib/par_util
2465. parallel / 1 → kernel/compiler
2466. pasm / 4 → lib/asm
2467. path / 3 → lib_public/grasper
2468. patharg / 3 → lib_public/occur
2469. pathname / 2 → kernel/obsolete
2470. pathname / 3 → kernel/opsys
2471. pathname / 4 → kernel/opsys
2472. pause / 0 → kernel/opsys
2473. peek_byte / 1 → lib/iso_light
2474. peek_byte / 2 → lib/iso_light
2475. peek_char / 1 → lib/iso_light
2476. peek_char / 2 → lib/iso_light
2477. peek_code / 1 → lib/iso_light
2478. peek_code / 2 → lib/iso_light
2479. peer / 1 → kernel/externals
2480. peer_deregister_multitask / 1 → kernel/externals
2481. peer_do_multitask / 1 → kernel/externals
2482. peer_get_property / 3 → kernel/externals
2483. peer_multitask_confirm / 0 → kernel/externals
2484. peer_multitask_terminate / 0 → kernel/externals
2485. peer_queue_close / 1 → kernel/externals
2486. peer_queue_create / 5 → kernel/externals
2487. peer_queue_get_property / 3 → kernel/externals
2488. peer_register_multitask / 2 → kernel/externals
2489. perm / 2 → lib_public/listut
2490. perm2 / 4 → lib_public/listut
2491. permission_error / 3 → lib/error
2492. phrase / 2 → kernel/control
2493. phrase / 3 → kernel/control
2494. pid → kernel/env
2495. piecewise_linear / 3 → lib/ic
2496. piecewise_linear_hull / 3 → lib/eplex
2497. pipe / 2 → kernel/obsolete
2498. plot / 1 → lib/gnuplot
2499. plot / 2 → lib/gnuplot
2500. plot / 3 → lib/gnuplot
2501. plot / 4 → lib/gnuplot
2502. plus / 3 → kernel/arithmetic
2503. plus_is_no_sign → kernel/syntax
2504. plus_to_list / 2 → lib_public/flat
2505. point / 1 → lib/coverage
2506. polydenorm / 2 → lib/linearize
2507. polynorm / 3 → lib/linearize
2508. polyrenorm / 2 → lib/linearize
2509. pool_is_empty / 1 → lib/constraint_pools
2510. port_profile / 1 → lib/port_profiler
2511. port_profile / 2 → lib/port_profiler
2512. port_profiler → lib/port_profiler
2513. portable_object_code / 1 → lib/asm
2514. portray / 3 → kernel/syntax
2515. portray_bag / 1 → lib_public/bags
2516. portray_clause / 1 → lib/quintus
2517. portray_delay_reified / 2 → lib/suspend
2518. portray_delayed_goals / 2 → lib/suspend
2519. portray_goal / 2 → kernel/obsolete
2520. portray_map / 1 → lib_public/map
2521. portray_term / 3 → kernel/ioterm
2522. position / 3 → lib_public/occur
2523. poss / 2 → lib_public/cardinal
2524. poss_conflict_vars / 1 → lib/repair
2525. poss_conflict_vars / 2 → lib/repair
2526. possible_path / 6 → lib/graph_algorithms
2527. possible_path / 7 → lib/graph_algorithms
2528. post_typed_pool_constraint / 3 → lib/constraint_pools
2529. posted_params / 1 → lib/cgi
2530. potential_members / 2 → lib/fd_sets
2531. potential_members / 2 → lib/ic_hybrid_sets
2532. potential_members / 2 → lib/ic_sets
2533. ppid → kernel/env
2534. pragma / 1 → kernel/directives
2535. precede / 2 → lib/gfd
2536. precede / 3 → lib/gfd
2537. pred / 1 → kernel/env
2538. predecessors / 3 → lib_public/grasper
2539. predicate_property / 1 → lib/sepia
2540. predicate_property / 2 → lib/prolog_extras
2541. predicate_property / 2 → lib/swi
2542. predicate_property / 2 → lib/quintus
2543. predsort / 3 → lib/swi
2544. prefer_rationals → kernel/env
2545. prefix_element / 3 → lib_public/list_collection
2546. prefix_list / 3 → lib_public/list_collection
2547. pretty_print / 1 → lib/pretty_printer
2548. pretty_print / 2 → lib/pretty_printer
2549. pretty_print / 3 → lib/pretty_print
2550. pretty_print / 3 → lib/pretty_printer
2551. pretty_print / 4 → lib/pretty_printer
2552. pretty_print → lib/pretty_print
2553. pretty_print_close / 1 → lib/pretty_printer
2554. pretty_print_open / 3 → lib/pretty_printer
2555. pretty_print_term / 5 → lib/pretty_printer
2556. pretty_printer → lib/pretty_printer
2557. prev_lex_max / 3 → lib/ic_hybrid_sets
2558. primitive / 1 → lib/cprolog
2559. print / 1 → kernel/ioterm
2560. print / 2 → kernel/ioterm
2561. print handler → kernel/termmanip
2562. print_counters / 0 → lib/coverage
2563. print_default_options / 1 → lib/module_options
2564. print_depth → kernel/env
2565. print_list / 1 → lib/lists
2566. print_solver_var / 2 → lib/ic_kernel
2567. print_solver_var / 2 → lib/ic
2568. print_tentative / 2 → lib/tentative
2569. print_values / 3 → lib/toplevel
2570. print_wam / 1 → lib/asm
2571. printf / 2 → kernel/ioterm
2572. printf / 3 → kernel/ioterm
2573. priority → kernel/compiler
2574. probe → lib/probe
2575. probe_cstr_sched / 7 → lib/ic_probing_for_scheduling
2576. probe_cstr_sched / 7 → lib/probing_for_scheduling
2577. probe_sched / 5 → lib/ic_probing_for_scheduling
2578. probe_sched / 5 → lib/probing_for_scheduling
2579. probe_search / 5 → lib/ic_probe_search
2580. probe_search / 5 → lib/probe_search
2581. probe_search → lib/probe_search
2582. probe_support → lib/probe_support
2583. probing_for_scheduling → lib/probing_for_scheduling
2584. profile / 1 → lib/profile
2585. profile / 2 → lib/profile
2586. profile / 4 → lib/cumulative
2587. profile / 4 → lib/ic_cumulative
2588. profile → lib/profile
2589. project / 3 → lib_public/project
2590. project → lib_public/project
2591. prolog_extras → lib/prolog_extras
2592. prolog_flag / 2 → lib/quintus
2593. prolog_flag / 3 → lib/quintus
2594. prolog_suffix → kernel/env
2595. prompt / 2 → lib/cprolog
2596. proper_graph / 1 → lib/graph_algorithms
2597. propia → lib/propia
2598. prune_instances / 2 → kernel/termcomp
2599. public / 1 → lib/quintus
2600. put / 1 → kernel/iochar
2601. put / 1 → lib/cprolog
2602. put / 2 → kernel/iochar
2603. put / 2 → lib/quintus
2604. put_assoc / 4 → lib_public/assoc
2605. put_attr / 3 → lib/dynamic_attributes
2606. put_attrs / 2 → lib/dynamic_attributes
2607. put_atts / 2 → lib/atts
2608. put_byte / 1 → lib/iso_light
2609. put_byte / 2 → lib/iso_light
2610. put_char / 1 → kernel/iochar
2611. put_char / 1 → lib/iso_light
2612. put_char / 2 → kernel/iochar
2613. put_char / 2 → lib/iso_light
2614. put_code / 1 → lib/iso_light
2615. put_code / 2 → lib/iso_light
2616. put_label / 4 → lib_public/trees
2617. put_line / 1 → lib/quintus
2618. q_prompt / 2 → lib/quintus_util
2619. quadnorm / 6 → lib/linearize
2620. queue_to_list / 2 → lib/queues
2621. queues → lib/queues
2622. quintus / 0 → lib/sepia
2623. quintus / 1 → lib/sepia
2624. quintus → lib/quintus
2625. quintus_util → lib/quintus_util
2626. r / 1 → lib/repair
2627. r_conflict / 2 → lib/repair
2628. r_conflict_prop / 2 → lib/repair
2629. r_no_prop / 1 → lib/repair
2630. r_prop / 1 → lib/repair
2631. raise_exception / 1 → lib/sicstus
2632. rand_perm / 2 → lib_public/random
2633. random / 1 → kernel/arithmetic
2634. random / 2 → kernel/arithmetic
2635. random / 2 → lib_public/random
2636. random / 3 → lib_public/random
2637. random → lib_public/random
2638. random_bound_reduction_test / 2 → lib/fd_prop_test_util
2639. random_bound_reduction_test / 2 → lib/ic_prop_test_util
2640. random_bound_reduction_test / 3 → lib/fd_prop_test_util
2641. random_bound_reduction_test / 3 → lib/ic_prop_test_util
2642. random_element / 2 → lib/tentative
2643. random_int_between / 3 → lib/fd_prop_test_util
2644. random_int_between / 3 → lib/ic_prop_test_util
2645. random_mode → kernel/env
2646. random_reduce_until_ground / 3 → lib/fd_prop_test_util
2647. random_reduce_until_ground / 3 → lib/ic_prop_test_util
2648. random_sample / 3 → lib/tentative
2649. randomise / 0 → lib_public/random
2650. randomise / 1 → lib_public/random
2651. rational / 1 → kernel/typetest
2652. rational / 2 → kernel/arithmetic
2653. rational / 3 → lib/swi
2654. rational tree → kernel/typetest
2655. rationalize / 2 → kernel/arithmetic
2656. rdiv / 3 → lib/swi
2657. rdtok → lib_public/rdtok
2658. reachables / 3 → lib_public/grasper
2659. read / 1 → kernel/ioterm
2660. read / 2 → kernel/ioterm
2661. read / 2 → lib_public/distfix
2662. read / 2 → lib_public/read
2663. read → lib_public/read
2664. read_annotated / 2 → kernel/ioterm
2665. read_annotated / 3 → kernel/ioterm
2666. read_data / 3 → lib/matrix_util
2667. read_directory / 4 → kernel/opsys
2668. read_exdr / 2 → kernel/ioterm
2669. read_floats_as_breals → kernel/syntax
2670. read_item / 2 → lib_public/flatzinc_syntax
2671. read_item / 2 → lib_public/flatzinc_parser
2672. read_line / 1 → lib/util
2673. read_line / 2 → lib/util
2674. read_string / 3 → kernel/iochar
2675. read_string / 4 → kernel/iochar
2676. read_string / 5 → kernel/iochar
2677. read_term / 2 → kernel/ioterm
2678. read_term / 2 → lib/iso
2679. read_term / 2 → lib/iso_strict
2680. read_term / 3 → kernel/ioterm
2681. read_term / 3 → lib/iso
2682. read_term / 3 → lib/iso_strict
2683. read_token / 2 → kernel/iochar
2684. read_token / 3 → kernel/iochar
2685. read_tokens / 2 → lib_public/rdtok
2686. readvar / 3 → kernel/obsolete
2687. real / 1 → kernel/typetest
2688. reals / 1 → lib/eplex
2689. reals / 1 → lib/ic_kernel
2690. reals / 1 → lib/suspend
2691. reals / 1 → lib/ic
2692. receive_notifications / 3 → lib/notify_ports
2693. receive_notifications / 4 → lib/notify_ports
2694. reconsult / 1 → lib/cprolog
2695. record / 1 → kernel/record
2696. record / 1 → kernel/modules
2697. record / 2 → kernel/record
2698. record → kernel/record
2699. record_chrprule / 3 → lib/ech
2700. record_chrrule / 3 → lib/ech
2701. record_create / 1 → kernel/record
2702. record_namedrule / 3 → lib/ech
2703. record_wait_append / 4 → kernel/record
2704. record_wait_remove / 3 → kernel/record
2705. recorda / 2 → kernel/record
2706. recorda / 3 → kernel/record
2707. recorda / 3 → lib/quintus
2708. recorded / 2 → kernel/record
2709. recorded / 3 → kernel/record
2710. recorded / 3 → lib/quintus
2711. recorded_count / 2 → kernel/record
2712. recorded_list / 2 → kernel/record
2713. recordz / 2 → kernel/record
2714. recordz / 3 → kernel/record
2715. recordz / 3 → lib/quintus
2716. rect / struct → lib/gfd
2717. redef_handler / 2 → lib/quintus_util
2718. reduced_cost_pruning / 2 → lib/eplex
2719. reexport / 1 → kernel/modules
2720. reference / 1 → kernel/obsolete
2721. reference / 2 → kernel/storage
2722. referenced_record / 2 → kernel/record
2723. refine / 1 → lib/conjunto_fd_sets
2724. refine / 1 → lib/conjunto
2725. refine / 2 → lib_public/cardinal
2726. regex → lib/regex
2727. register_for_notification / 3 → lib/tentative
2728. register_option / 3 → lib/config_opts
2729. registry → kernel/opsys
2730. regular / 2 → lib/gfd
2731. reinit / 2 → lib_public/list_collection
2732. rem / 3 → kernel/arithmetic
2733. remote_connect / 3 → kernel/externals
2734. remote_connect_accept / 6 → kernel/externals
2735. remote_connect_setup / 3 → kernel/externals
2736. remote_disconnect / 1 → kernel/externals
2737. remote_protocol_version → kernel/env
2738. remote_tools → lib/remote_tools
2739. remote_yield / 1 → kernel/externals
2740. remove / 4 → lib_public/m_tree234
2741. remove / 4 → lib_public/m_map
2742. remove_dups / 2 → lib_public/listut
2743. remove_smallest / 4 → lib_public/m_tree234
2744. remove_smallest / 4 → lib_public/m_map
2745. remove1 / 3 → lib/ic_probe_support
2746. remove1 / 3 → lib/probe_support
2747. rename / 2 → kernel/opsys
2748. rename_head / 2 → lib/sicstus
2749. repair / 0 → lib/repairfd
2750. repair / 1 → lib/repairfd
2751. repair → lib/repair
2752. repair / struct → lib/repair
2753. repair_stat / 1 → lib/repair
2754. repairfd → lib/repairfd
2755. repeat / 0 → kernel/control
2756. replace / 4 → lib_public/occur
2757. replace_list / 4 → lib/ic_probe_support
2758. replace_list / 4 → lib/probe_support
2759. report_lookup_error / 3 → lib_public/mercury
2760. representation_error / 1 → lib/error
2761. request_notification / 2 → lib/config_opts
2762. rerecord / 2 → kernel/record
2763. reset / 0 → lib/instprofile
2764. reset / 0 → lib/mode_analyser
2765. reset_counters / 0 → lib/coverage
2766. reset_error_handler / 1 → kernel/obsolete
2767. reset_error_handlers / 0 → kernel/event
2768. reset_event_handler / 1 → kernel/event
2769. resource_error / 1 → lib/error
2770. result / 0 → lib/instprofile
2771. result / 0 → lib/coverage
2772. result / 0 → lib/mode_analyser
2773. result / 1 → lib/coverage
2774. result / 1 → lib/mode_analyser
2775. result / 2 → lib/coverage
2776. retract / 1 → kernel/dynamic
2777. retract / 1 → lib/iso_light
2778. retract_all / 1 → kernel/obsolete
2779. retractall / 1 → kernel/dynamic
2780. rev / 2 → lib_public/listut
2781. reverse / 2 → lib/lists
2782. reverse_graph / 2 → lib_public/grasper
2783. root / 1 → lib_public/visualize_tree
2784. rotate / 3 → lib/ic_symbolic
2785. rotate / 4 → lib/ic_symbolic
2786. round / 2 → kernel/arithmetic
2787. rtoken / 1 → lib/sepia
2788. rtoken / 2 → lib/sepia
2789. rtoken_body / 2 → lib/sepia
2790. rtoken_body / 3 → lib/sepia
2791. run_priority → kernel/compiler
2792. s_member / 3 → lib_public/graphs
2793. s_to_p_graph / 2 → lib_public/graphs
2794. s_to_p_trans / 2 → lib_public/graphs
2795. s_transpose / 2 → lib_public/graphs
2796. safe_set_range / 3 → lib/ic_hybrid_sets
2797. same / 2 → lib_public/fd_global_gac
2798. same / 2 → lib_public/ic_global_gac
2799. same_key_prefix / 5 → lib/lists_of_structures
2800. same_key_prefix / 6 → lib/lists_of_structures
2801. same_length / 2 → lib_public/listut
2802. sameset / 2 → lib/fd_sets
2803. sameset / 2 → lib/ic_hybrid_sets
2804. sameset / 2 → lib/ic_sets
2805. saros_lint / 1 → lib/lint
2806. saros_xref / 2 → lib/xref
2807. satisfies / 2 → lib/ic_hybrid_sets
2808. save / 1 → lib/quintus
2809. sbdd_indomain / 1 → lib/ic_gap_sbdd
2810. sbdd_initialise / 5 → lib/ic_gap_sbdd
2811. sbdd_initialise_set / 5 → lib/ic_gap_sbdd
2812. sbdd_labeling / 1 → lib/ic_gap_sbdd
2813. sbdd_record / 3 → lib/ic_gap_sbdd
2814. sbdd_recorded_indomain / 3 → lib/ic_gap_sbdd
2815. sbdd_shared / struct → lib/ic_gap_sbdd
2816. sbdd_try / 2 → lib/ic_gap_sbdd
2817. sbdd_try / 3 → lib/ic_gap_sbdd
2818. sbdd_try_set / 3 → lib/ic_gap_sbdd
2819. sbdd_try_set / 4 → lib/ic_gap_sbdd
2820. sbds_get_index / 2 → lib/fd_sbds
2821. sbds_get_index / 2 → lib/ic_sbds
2822. sbds_get_index / 2 → lib/gfd_sbds
2823. sbds_get_matrix / 2 → lib/fd_sbds
2824. sbds_get_matrix / 2 → lib/ic_sbds
2825. sbds_get_matrix / 2 → lib/gfd_sbds
2826. sbds_indomain / 1 → lib/ic_gap_sbds
2827. sbds_initialise / 4 → lib/fd_sbds
2828. sbds_initialise / 4 → lib/ic_sbds
2829. sbds_initialise / 4 → lib/gfd_sbds
2830. sbds_initialise / 5 → lib/ic_gap_sbds
2831. sbds_initialise / 5 → lib/fd_sbds
2832. sbds_initialise / 5 → lib/ic_sbds
2833. sbds_initialise / 5 → lib/gfd_sbds
2834. sbds_initialise_set / 5 → lib/ic_gap_sbds
2835. sbds_labeling / 1 → lib/ic_gap_sbds
2836. sbds_record / 3 → lib/ic_gap_sbds
2837. sbds_try / 2 → lib/ic_gap_sbds
2838. sbds_try / 2 → lib/fd_sbds
2839. sbds_try / 2 → lib/ic_sbds
2840. sbds_try / 2 → lib/gfd_sbds
2841. sbds_try / 3 → lib/ic_gap_sbds
2842. sbds_try_set / 3 → lib/ic_gap_sbds
2843. sbds_try_set / 4 → lib/ic_gap_sbds
2844. scalar_product / 4 → lib/gfd
2845. scalar_product / 4 → lib/clpfd
2846. scalar_product / 5 → lib/gfd
2847. schedule_suspensions / 1 → kernel/suspensions
2848. schedule_suspensions / 2 → kernel/suspensions
2849. schedule_woken / 1 → kernel/obsolete
2850. sd → lib/sd
2851. sd / struct → lib/sd
2852. search / 3 → lib_public/m_tree234
2853. search / 3 → lib_public/m_map
2854. search / 6 → lib/gfd
2855. search / 6 → lib/gfd_search
2856. search / 6 → lib/fd_search
2857. search / 6 → lib/ic
2858. search → lib/best_first_search
2859. see / 1 → lib/cio
2860. seed / 1 → kernel/arithmetic
2861. seeing / 1 → lib/cio
2862. seek / 2 → kernel/iostream
2863. seek / 4 → lib/swi
2864. seen / 0 → lib/cio
2865. select / 3 → kernel/obsolete
2866. select / 3 → lib/eclipse_6
2867. select / 3 → lib/lists
2868. select / 3 → lib_public/m_map
2869. select / 4 → lib_public/listut
2870. select_var / 5 → lib/gfd
2871. selectlist / 3 → lib/apply_macros
2872. send_notification / 2 → lib/notify_ports
2873. send_notification / 3 → lib/notify_ports
2874. separate_by_key / 5 → lib/lists_of_structures
2875. sepia → lib/sepia
2876. sequence / 4 → lib/gfd
2877. sequence / 4 → lib_public/fd_global_gac
2878. sequence / 4 → lib_public/ic_global_gac
2879. sequence / 5 → lib/gfd
2880. sequence / 5 → lib_public/fd_global_gac
2881. sequence / 5 → lib_public/ic_global_gac
2882. sequence_total / 6 → lib/fd_global
2883. sequence_total / 6 → lib/ic_global
2884. sequence_total / 7 → lib/fd_global
2885. sequence_total / 7 → lib/ic_global
2886. serialized / 2 → lib/clpfd
2887. serve_queue / 3 → lib/queues
2888. session_close / 1 → lib/dbi
2889. session_commit / 1 → lib/dbi
2890. session_rollback / 1 → lib/dbi
2891. session_sql / 3 → lib/dbi
2892. session_sql_prepare / 4 → lib/dbi
2893. session_sql_prepare_query / 5 → lib/dbi
2894. session_sql_query / 4 → lib/dbi
2895. session_sql_query / 5 → lib/dbi
2896. session_start / 4 → lib/dbi
2897. session_transaction / 2 → lib/dbi
2898. session_transaction / 3 → lib/dbi
2899. set / 1 → lib/conjunto
2900. set / 2 → lib/colgen
2901. set / 4 → lib_public/cardinal
2902. set / 4 → lib_public/m_tree234
2903. set / 4 → lib_public/m_map
2904. set_bounds handler → kernel/termmanip
2905. set_callsite_data / 2 → lib/instrument
2906. set_chtab / 2 → kernel/syntax
2907. set_default_option / 2 → lib/module_options
2908. set_error_handler / 2 → kernel/obsolete
2909. set_event_handler / 2 → kernel/event
2910. set_flag / 2 → kernel/env
2911. set_flag / 3 → kernel/compiler
2912. set_input / 1 → lib/iso_light
2913. set_input / 1 → lib/quintus
2914. set_interrupt_handler / 2 → kernel/event
2915. set_labeling / 1 → lib_public/cardinal
2916. set_labeling / 2 → lib_public/cardinal
2917. set_leash / 2 → kernel/debug
2918. set_lex_max / 3 → lib/ic_hybrid_sets
2919. set_lex_min / 3 → lib/ic_hybrid_sets
2920. set_option / 2 → lib/config_opts
2921. set_output / 1 → lib/iso_light
2922. set_output / 1 → lib/quintus
2923. set_pool_item / 2 → lib/constraint_pools
2924. set_probect / 1 → lib/probe
2925. set_probect / 1 → lib/ic_probe
2926. set_prolog_flag / 2 → kernel/env
2927. set_prolog_flag / 2 → lib/iso_strict
2928. set_prompt / 3 → kernel/obsolete
2929. set_random / 1 → lib/swi
2930. set_range / 3 → lib/fd_sets
2931. set_range / 3 → lib/ic_hybrid_sets
2932. set_range / 3 → lib/ic_sets
2933. set_range / 3 → lib/conjunto
2934. set_stream / 2 → kernel/iostream
2935. set_stream / 2 → lib/swi
2936. set_stream_position / 2 → lib/iso_light
2937. set_stream_property / 3 → kernel/iostream
2938. set_suspension_data / 3 → kernel/suspensions
2939. set_suspension_priority / 2 → kernel/obsolete
2940. set_threshold / 1 → lib/ic_kernel
2941. set_threshold / 1 → lib/ic
2942. set_threshold / 2 → lib/ic_kernel
2943. set_threshold / 2 → lib/ic
2944. set_timer / 2 → kernel/obsolete
2945. set_to_min / 1 → lib/ic_probe_support
2946. set_to_min / 1 → lib/probe_support
2947. set_to_tent / 1 → lib/ic_probe_support
2948. set_to_tent / 1 → lib/probe_support
2949. set_typed_pool_constraints / 3 → lib/constraint_pools
2950. set_up_probe / 5 → lib/probe
2951. set_up_probe / 5 → lib/ic_probe
2952. set_var_bounds / 3 → kernel/termmanip
2953. set_var_integer / 1 → lib/ic_kernel
2954. set_var_name / 2 → lib/var_name
2955. set_var_name_counter / 2 → lib/var_name
2956. set_var_real / 1 → lib/ic_kernel
2957. set_var_type / 2 → lib/ic_kernel
2958. set_vars_type / 2 → lib/ic_kernel
2959. set_weighted_degree_decay / 1 → lib/gfd
2960. set2list / 2 → lib/conjunto_fd_sets
2961. set2list / 2 → lib/conjunto
2962. setarg / 3 → kernel/termmanip
2963. setbit / 3 → kernel/arithmetic
2964. setenv / 2 → kernel/opsys
2965. setof / 3 → kernel/allsols
2966. setref / 2 → kernel/storage
2967. sets / 4 → lib_public/cardinal
2968. setup_call_cleanup / 3 → lib/prolog_extras
2969. setval / 2 → kernel/storage
2970. sformat / 2 → lib/swi
2971. sformat / 3 → lib/swi
2972. sgn / 2 → kernel/arithmetic
2973. sh / 0 → lib/cprolog
2974. sh / 1 → kernel/opsys
2975. shadow_call / 2 → lib/shadow_cons
2976. shadow_cons → lib/shadow_cons
2977. shadow_var / 3 → lib/shadow_cons
2978. shelf / 2 → kernel/storage
2979. shelf_abolish / 1 → kernel/storage
2980. shelf_create / 2 → kernel/storage
2981. shelf_create / 3 → kernel/storage
2982. shelf_dec / 2 → kernel/storage
2983. shelf_get / 3 → kernel/storage
2984. shelf_get_and_dec / 3 → kernel/storage
2985. shelf_inc / 2 → kernel/storage
2986. shelf_inc_and_get / 3 → kernel/storage
2987. shelf_set / 3 → kernel/storage
2988. shelf_size / 2 → kernel/storage
2989. shelf_test_and_set / 4 → kernel/storage
2990. shift / 3 → lib/ic_symbolic
2991. shift / 4 → lib/ic_symbolic
2992. shorter_list / 2 → lib_public/listut
2993. shortest_paths / 4 → lib/graph_algorithms
2994. shortest_paths_bellman_ford / 4 → lib/graph_algorithms
2995. should_fail / 1 → lib/test_util
2996. should_fail / 2 → lib/test_util
2997. should_give / 2 → lib/test_util
2998. should_give / 3 → lib/test_util
2999. should_output / 2 → lib/test_util
3000. should_output / 3 → lib/test_util
3001. should_raise / 2 → lib/test_util
3002. should_raise / 3 → lib/test_util
3003. should_throw / 2 → lib/test_util
3004. should_throw / 3 → lib/test_util
3005. shuffle / 2 → lib/lists
3006. sicstus / 0 → lib/sepia
3007. sicstus / 1 → lib/sepia
3008. sicstus → lib/sicstus
3009. simple / 1 → lib_public/metutl
3010. simplify / 2 → lib/linearize
3011. sin / 2 → kernel/arithmetic
3012. single_pair_all_short_paths_as_graph / 7 → lib/graph_algorithms
3013. single_pair_short_path / 6 → lib/graph_algorithms
3014. single_pair_shortest_path / 5 → lib/graph_algorithms
3015. single_pair_shortest_path_bellman_ford / 5 → lib/graph_algorithms
3016. singleton_heap / 3 → lib/heaps
3017. size / 2 → lib_public/grasper
3018. skip / 1 → lib/cio
3019. skip / 2 → lib/cio
3020. skip → kernel/directives
3021. skip → kernel/compiler
3022. skipped / 1 → kernel/debug
3023. sleep / 1 → kernel/opsys
3024. socket / 2 → lib/sockets
3025. socket / 3 → kernel/iostream
3026. socket_accept / 2 → lib/sockets
3027. socket_bind / 2 → lib/sockets
3028. socket_connect / 3 → lib/sockets
3029. socket_listen / 2 → lib/sockets
3030. socket_select / 5 → lib/sockets
3031. sockets → lib/sockets
3032. Soft cut → kernel/control
3033. solution / 1 → lib_public/visualize_tree
3034. solution_out_of_range / 1 → lib/eplex
3035. solve / 1 → lib/bfs
3036. solver_constraints_number / 1 → lib/gfd
3037. solver_setup / 2 → lib/bfs
3038. solver_setup / 2 → lib/colgen
3039. solver_setup / 3 → lib/bfs
3040. solver_setup / 3 → lib/colgen
3041. solver_vars_number / 1 → lib/gfd
3042. some / 2 → lib_public/applic
3043. somechk / 2 → lib_public/applic
3044. sort / 2 → kernel/termcomp
3045. sort / 2 → lib_public/fzn_ic
3046. sort / 2 → lib_public/fzn_fd
3047. sort / 4 → kernel/termcomp
3048. sorted / 2 → lib/gfd
3049. sorted / 2 → lib/fd_global
3050. sorted / 2 → lib/ic_global
3051. sorted / 3 → lib/gfd
3052. sorted / 3 → lib/fd_global
3053. sorted / 3 → lib/ic_global
3054. sorted_g / 3 → lib/gfd
3055. sorted_keys / 2 → lib_public/m_map
3056. sorted_list_to_dom / 2 → lib/fd
3057. sos1 / 1 → lib/eplex
3058. sos2 / 1 → lib/eplex
3059. source_close / 2 → lib/source_processor
3060. source_file / 1 → lib/quintus
3061. source_file / 2 → lib/quintus
3062. source_open / 3 → lib/source_processor
3063. source_position / struct → lib/source_processor
3064. source_processor → lib/source_processor
3065. source_read / 4 → lib/source_processor
3066. source_term / struct → lib/source_processor
3067. spanning forest → lib/graph_algorithms
3068. spanning tree → lib/graph_algorithms
3069. spell → lib/spell
3070. splice / 3 → lib/lists
3071. split / 4 → lib/regex
3072. split_string / 4 → kernel/stratom
3073. sprintf / 3 → kernel/ioterm
3074. spy / 1 → kernel/debug
3075. spy → kernel/compiler
3076. spy_term / 2 → kernel/debug
3077. spy_var / 1 → kernel/debug
3078. sqrt / 2 → kernel/arithmetic
3079. squash / 3 → lib/ic
3080. stable and unique names → lib/var_name
3081. start_break / 3 → lib/toplevel
3082. start_tracing → kernel/compiler
3083. start_tty_vc / 1 → lib/tty_vc
3084. start_tty_vc / 2 → lib/tty_vc
3085. start_tty_vc / 3 → lib/tty_vc
3086. start_vc / 1 → lib/java_vc
3087. statistics / 0 → kernel/env
3088. statistics / 0 → lib/bfs
3089. statistics / 0 → lib/quintus
3090. statistics / 2 → kernel/env
3091. statistics / 2 → lib/quintus
3092. statistics_par / 0 → lib/par_util
3093. statistics_par_reset / 0 → lib/par_util
3094. statprofile / 2 → lib/instprofile
3095. statprofile / 3 → lib/instprofile
3096. statsample / 4 → lib/instprofile
3097. statsample_control / 2 → lib/instprofile
3098. stop_tty_vc / 0 → lib/tty_vc
3099. stop_vc / 1 → lib/java_vc
3100. storage → kernel/storage
3101. store / 1 → kernel/storage
3102. store / 4 → lib_public/arrays
3103. store_contains / 2 → kernel/storage
3104. store_count / 2 → kernel/storage
3105. store_create / 1 → kernel/storage
3106. store_delete / 2 → kernel/storage
3107. store_erase / 1 → kernel/storage
3108. store_get / 3 → kernel/storage
3109. store_inc / 2 → kernel/storage
3110. store_insert / 3 → kernel/storage
3111. store_remove / 3 → kernel/storage
3112. store_set / 3 → kernel/storage
3113. store_test_and_set / 4 → kernel/storage
3114. store_update / 4 → kernel/storage
3115. stored_keys / 2 → kernel/storage
3116. stored_keys_and_values / 2 → kernel/storage
3117. stratom → kernel/stratom
3118. stream / 1 → lib/util
3119. stream alias → kernel/iostream
3120. stream redirection → kernel/iostream
3121. stream_code / 2 → lib/quintus
3122. stream_position / 2 → lib/quintus
3123. stream_position / 3 → lib/quintus
3124. stream_property / 2 → lib/iso_light
3125. stream_property / 2 → lib/iso
3126. stream_property / 2 → lib/swi
3127. stream_property / 2 → lib/iso_strict
3128. stream_select / 3 → kernel/iostream
3129. stream_select / 3 → lib/sockets
3130. stream_to_lazy_list / 2 → lib/lazy_io
3131. stream_to_list / 3 → lib/lazy_io
3132. stream_truncate / 1 → kernel/iostream
3133. streams / 0 → lib/util
3134. string / 1 → kernel/typetest
3135. string_char / 3 → kernel/stratom
3136. string_chars / 2 → kernel/stratom
3137. string_code / 3 → kernel/stratom
3138. string_codes / 2 → kernel/stratom
3139. string_concat / 3 → kernel/stratom
3140. string_length / 2 → kernel/stratom
3141. string_list / 2 → kernel/stratom
3142. string_list / 3 → kernel/stratom
3143. string_lower / 2 → kernel/stratom
3144. string_to_atom / 2 → lib/swi
3145. string_to_list / 2 → lib/swi
3146. string_upper / 2 → kernel/stratom
3147. strong_components / 2 → lib/graph_algorithms
3148. strongly_connected / 1 → lib_public/grasper
3149. struct / 1 → kernel/syntax
3150. struct → lib_public/struct
3151. style_check / 1 → lib/quintus
3152. sub_atom / 5 → lib/iso_light
3153. sub_string / 5 → kernel/stratom
3154. subcall / 2 → kernel/suspensions
3155. subgraph / 2 → lib_public/grasper
3156. sublist / 3 → lib_public/applic
3157. subscript / 3 → kernel/termmanip
3158. subscript / 3 → lib/eclipse_6
3159. subseq / 3 → lib_public/listut
3160. subseq0 / 2 → lib_public/listut
3161. subseq1 / 2 → lib_public/listut
3162. subset / 2 → lib/fd_sets
3163. subset / 2 → lib/ic_hybrid_sets
3164. subset / 2 → lib/ic_sets
3165. subset / 2 → lib/lists
3166. subsetof / 2 → lib/fd_sets
3167. subsetof / 2 → lib/ic_hybrid_sets
3168. subsetof / 2 → lib/ic_sets
3169. subst / 3 → lib_public/struct
3170. substitute_placeholders / 3 → lib/cgi
3171. substring / 3 → kernel/stratom
3172. substring / 4 → kernel/stratom
3173. substring / 5 → kernel/stratom
3174. subsumes / 2 → lib_public/metutl
3175. subsumes_chk / 2 → lib_public/metutl
3176. subsumes_term / 2 → lib/iso_light
3177. subterm / 2 → lib_public/metutl
3178. subtract / 3 → lib/lists
3179. succ / 2 → kernel/arithmetic
3180. successors / 3 → lib_public/grasper
3181. suffix / 2 → kernel/obsolete
3182. sum / 2 → kernel/arithmetic
3183. sum / 2 → lib/gfd
3184. sum / 3 → lib/gfd
3185. sum / 3 → lib/clpfd
3186. sum / 4 → lib/gfd
3187. sum_ge_zero / 1 → lib/fd_global
3188. sum_ge_zero / 1 → lib/ic_global
3189. sum_list / 2 → lib/swi
3190. sum_weight / 2 → lib/conjunto
3191. sumargs / 4 → lib/apply_macros
3192. sumlist / 2 → lib/gfd
3193. sumlist / 2 → lib/fd_global
3194. sumlist / 2 → lib/ic_global
3195. sumlist / 2 → lib_public/listut
3196. sumlist / 4 → lib/apply_macros
3197. sumnodes / 4 → lib/apply_macros
3198. suspend / 3 → kernel/suspensions
3199. suspend / 4 → kernel/suspensions
3200. suspend → lib/suspend
3201. suspend_constraint / 4 → lib/ech
3202. suspend_on_change / 2 → lib/eplex
3203. suspend_on_change / 2 → lib/tentative
3204. suspend_on_change / 2 → lib/repair
3205. suspendindexpos / 2 → lib/ech
3206. suspension handler → kernel/termmanip
3207. suspension_lists declaration → kernel/termmanip
3208. suspension_to_goal / 3 → kernel/obsolete
3209. suspensions / 1 → kernel/suspensions
3210. suspensions / 2 → kernel/suspensions
3211. suspensions → kernel/suspensions
3212. swapref / 3 → kernel/storage
3213. swi → lib/swi
3214. sym_expr → lib/sym_expr
3215. symbol_domain_index / 3 → lib/ic_symbolic
3216. symbols_domain_indices / 3 → lib/ic_symbolic
3217. symdiff / 3 → lib/fd_sets
3218. symdiff / 3 → lib/ic_hybrid_sets
3219. symdiff / 3 → lib/ic_sets
3220. symmetric / 1 → lib_public/grasper
3221. syntax → kernel/syntax
3222. syntax_errors_fail → kernel/syntax
3223. syntax_option / 1 → kernel/syntax
3224. system / 1 → kernel/opsys
3225. system → kernel/directives
3226. system_object_suffix → kernel/env
3227. tab / 1 → lib/cio
3228. tab / 2 → lib/cio
3229. table / 2 → lib/gfd
3230. table / 2 → lib/ic_mdd
3231. table / 2 → lib/fd_mdd
3232. table / 2 → lib_public/fzn_ic
3233. tan / 2 → kernel/arithmetic
3234. task / struct → lib/ic_probe_support
3235. task / struct → lib/probe_support
3236. task_structure / 4 → lib/ic_probe_support
3237. task_structure / 4 → lib/probe_support
3238. tell / 1 → lib/cio
3239. telling / 1 → lib/cio
3240. tenable / 1 → lib/repair
3241. tent_call / 3 → lib/repair
3242. tent_call / 4 → lib/repair
3243. tent_fix / 1 → lib/tentative
3244. tent_get / 2 → lib/tentative
3245. tent_get / 2 → lib/repair
3246. tent_implements / 2 → lib/tentative
3247. tent_is / 2 → lib/tentative
3248. tent_is / 2 → lib/repair
3249. tent_is / 3 → lib/repair
3250. tent_minimize_random / 3 → lib/tentative
3251. tent_set / 2 → lib/tentative
3252. tent_set / 2 → lib/repair
3253. tent_set_all / 2 → lib/tentative
3254. tent_set_attr / 2 → lib/tentative
3255. tent_set_random / 2 → lib/tentative
3256. tent_trace_array / 3 → lib/tentative
3257. tentative → lib/tentative
3258. tentative assignments → lib/repair
3259. tentative_constraints → lib/tentative_constraints
3260. tentative_ground / 2 → lib/repair
3261. term_attvars / 2 → lib/dynamic_attributes
3262. term_expansion / 2 → lib/quintus
3263. term_hash / 4 → kernel/termcomp
3264. term_string / 2 → kernel/termmanip
3265. term_string / 3 → kernel/termmanip
3266. term_to_bytes / 2 → kernel/termmanip
3267. term_variables / 2 → kernel/termmanip
3268. term_variables / 2 → lib/eclipse_6
3269. term_variables_array / 2 → kernel/termmanip
3270. term_variables_count / 2 → kernel/termmanip
3271. termcomp → kernel/termcomp
3272. terminate_all_lists / 2 → lib_public/list_collection
3273. terminate_and_get_list / 3 → lib_public/list_collection
3274. termmanip → kernel/termmanip
3275. terms_functor / 4 → lib/lists_of_structures
3276. test / 1 → lib/test_util
3277. test / 2 → lib/test_util
3278. test_and_setval / 3 → kernel/storage
3279. test_info / 2 → lib/test_util
3280. test_sub_bag / 2 → lib_public/bags
3281. test_unify handler → kernel/termmanip
3282. test_util → lib/test_util
3283. text_to_string / 2 → kernel/stratom
3284. thread_cancel / 1 → lib/threads
3285. thread_create / 1 → lib/threads
3286. thread_create / 2 → lib/threads
3287. thread_create / 3 → lib/threads
3288. thread_default / 1 → lib/threads
3289. thread_detach / 1 → lib/threads
3290. thread_exit / 1 → lib/threads
3291. thread_get_message / 1 → lib/threads
3292. thread_get_message / 2 → lib/threads
3293. thread_join / 2 → lib/threads
3294. thread_peek_message / 1 → lib/threads
3295. thread_peek_message / 2 → lib/threads
3296. thread_property / 2 → lib/threads
3297. thread_self / 1 → lib/threads
3298. thread_send_message / 1 → lib/threads
3299. thread_send_message / 2 → lib/threads
3300. thread_set_default / 1 → lib/threads
3301. thread_signal / 2 → lib/threads
3302. thread_sleep / 1 → lib/threads
3303. threads → lib/threads
3304. throttle_default / 1 → lib/ic_gap_sbdd
3305. throttle_depth_mod_non_unique / 2 → lib/ic_gap_sbdd
3306. throttle_depth_mod_unique / 2 → lib/ic_gap_sbdd
3307. throttle_depth_non_unique / 2 → lib/ic_gap_sbdd
3308. throttle_depth_unique / 2 → lib/ic_gap_sbdd
3309. throw / 1 → kernel/control
3310. tidy / 2 → lib_public/tidy
3311. tidy → lib_public/tidy
3312. tidy_expr / 2 → lib_public/tidy
3313. tidy_stmt / 2 → lib_public/tidy
3314. tidy_withvars / 2 → lib_public/tidy
3315. time / 1 → lib/util
3316. time_log → lib/time_log
3317. time_to_mjd / 2 → lib/calendar
3318. timeout / 3 → lib/timeout_simple
3319. timeout / 3 → lib/timeout
3320. timeout / 7 → lib/timeout_simple
3321. timeout / 7 → lib/timeout
3322. timeout → lib/timeout
3323. timeout_simple → lib/timeout_simple
3324. times / 3 → kernel/arithmetic
3325. times_to_list / 2 → lib_public/flat
3326. tmp_dir → kernel/env
3327. to_assoc_list / 2 → lib_public/m_map
3328. to_sorted_assoc_list / 2 → lib_public/m_map
3329. told / 0 → lib/cio
3330. tool / 1 → kernel/obsolete
3331. tool / 2 → kernel/modules
3332. tool / struct → lib_public/cpviz
3333. tool_body / 3 → kernel/modules
3334. tools / 0 → lib/remote_tools
3335. top_sort / 2 → lib/graph_algorithms
3336. top_sort / 2 → lib_public/graphs
3337. toplevel / 0 → lib/toplevel
3338. toplevel → lib/toplevel
3339. toplevel_init / 1 → lib/toplevel
3340. toplevel_module → kernel/env
3341. toplevel_prompt / 2 → lib/toplevel
3342. tr_chr / 2 → lib/chr
3343. tr_fd_out / 2 → lib/fd
3344. tr_foreign / 3 → lib/foreign
3345. tr_global_out / 2 → lib/fd_global
3346. tr_global_out / 2 → lib/ic_global
3347. tr_ic_c_constant / 2 → lib/ic_kernel
3348. tr_ic_kernel_out / 2 → lib/ic_kernel
3349. tr_if_suspend / 3 → lib/suspend
3350. tr_lib / 2 → lib/quintus
3351. tr_monitors / 2 → lib/repair
3352. tr_propia / 2 → lib/propia
3353. tr_ria_binop / 2 → lib/ic_kernel
3354. tr_ria_binop1 / 2 → lib/ic_kernel
3355. tr_ria_binop7 / 2 → lib/ic_kernel
3356. tr_ria_ternop / 2 → lib/ic_kernel
3357. tr_ria_ternop1 / 2 → lib/ic_kernel
3358. tr_ria_ternop9 / 2 → lib/ic_kernel
3359. tr_ria_unop / 2 → lib/ic_kernel
3360. tr_ria_unop1 / 2 → lib/ic_kernel
3361. tr_ria_unop5 / 2 → lib/ic_kernel
3362. tr_slists / 2 → lib/conjunto_fd_sets
3363. trace / 0 → kernel/debug
3364. trace / 0 → lib/quintus
3365. trace / 1 → kernel/debug
3366. trace_call_port / 3 → kernel/debug
3367. trace_exit_port / 0 → kernel/debug
3368. trace_parent_port / 1 → kernel/debug
3369. trace_point_port / 3 → kernel/debug
3370. traceable / 1 → kernel/debug
3371. trans / struct → lib/gfd
3372. transpose / 2 → lib/matrix_util
3373. transpose / 2 → lib/clpfd
3374. tree_indomain / 3 → lib_public/visualize_tree
3375. tree_indomain_max / 3 → lib_public/visualize_tree
3376. tree_indomain_middle / 3 → lib_public/visualize_tree
3377. tree_indomain_min / 3 → lib_public/visualize_tree
3378. tree_indomain_random / 3 → lib_public/visualize_tree
3379. tree_size / 2 → lib_public/trees
3380. tree_to_list / 2 → lib_public/trees
3381. tree234_to_assoc_list / 2 → lib_public/m_tree234
3382. trees → lib_public/trees
3383. trigger / 1 → kernel/suspensions
3384. trimcore / 0 → kernel/env
3385. true / 0 → kernel/control
3386. truncate / 2 → kernel/arithmetic
3387. try / 4 → lib_public/visualize_tree
3388. try_c / 4 → lib_public/visualize_tree
3389. try_value / 2 → lib/gfd
3390. tty_ask_more / 2 → lib/toplevel
3391. tty_banner / 2 → lib/toplevel
3392. tty_vc → lib/tty_vc
3393. ttyflush / 0 → lib/quintus
3394. ttyget / 1 → lib/quintus
3395. ttyget0 / 1 → lib/quintus
3396. ttynl / 0 → lib/quintus
3397. ttyput / 1 → lib/quintus
3398. ttyskip / 1 → lib/quintus
3399. ttytab / 1 → lib/quintus
3400. tuples_in / 2 → lib/clpfd
3401. tyi / 1 → kernel/iochar
3402. tyi / 2 → kernel/iochar
3403. tyo / 1 → kernel/iochar
3404. tyo / 2 → kernel/iochar
3405. type_error / 2 → lib/error
3406. type_of / 2 → kernel/typetest
3407. typetest → kernel/typetest
3408. underlying_graph / 2 → lib_public/grasper
3409. undirgraph / 3 → lib_public/grasper
3410. unget / 1 → kernel/iochar
3411. unicode → kernel/stratom
3412. unifiable / 3 → lib/swi
3413. unify / 2 → lib_public/metutl
3414. unify handler → kernel/termmanip
3415. unify_with_occurs_check / 2 → lib/iso_light
3416. uninstantiation_error / 1 → lib/error
3417. union / 3 → lib/fd_sets
3418. union / 3 → lib/ic_hybrid_sets
3419. union / 3 → lib/ic_sets
3420. union / 3 → lib/lists
3421. union_lex / 3 → lib/ic_hybrid_sets
3422. union_var / 2 → lib_public/cardinal
3423. unix / 1 → lib/quintus
3424. unix_time → kernel/env
3425. unix_to_mjd / 2 → lib/calendar
3426. unknown / 2 → lib/quintus
3427. unlock / 2 → kernel/modules
3428. unschedule_suspension / 1 → kernel/suspensions
3429. unskipped / 1 → kernel/debug
3430. untraceable / 1 → kernel/debug
3431. update / 4 → lib/lists_of_structures
3432. update / 4 → lib_public/m_tree234
3433. update / 4 → lib_public/m_map
3434. update_struct / 4 → kernel/termmanip
3435. upper_bound_lookup / 4 → lib_public/m_tree234
3436. upper_bound_lookup / 4 → lib_public/m_map
3437. upper_bound_search / 4 → lib_public/m_tree234
3438. upper_bound_search / 4 → lib_public/m_map
3439. use_module / 1 → kernel/modules
3440. use_module / 1 → lib/quintus
3441. use_module / 2 → lib/quintus
3442. utf8 → kernel/stratom
3443. util → lib/util
3444. value_spec_to_range / 3 → lib/sym_expr
3445. values / 2 → lib_public/m_tree234
3446. values / 2 → lib_public/m_map
3447. var / 1 → kernel/typetest
3448. var_fd / 2 → lib/fd
3449. var_functor_is_apply → kernel/syntax
3450. var_get / 3 → lib/bfs
3451. var_get / 3 → lib/colgen
3452. var_get_violations / 2 → lib/tentative
3453. var_inc_violations / 2 → lib/tentative
3454. var_member_chk / 2 → lib_public/metutl
3455. var_name → lib/var_name
3456. variable / 1 → kernel/storage
3457. variable / 2 → kernel/storage
3458. variable name → lib/var_name
3459. variable_names → kernel/env
3460. variables / 2 → lib_public/struct
3461. variables_of / 2 → lib_public/metutl
3462. variant / 2 → kernel/termcomp
3463. variant / 2 → lib_public/metutl
3464. vc_support → lib/vc_support
3465. version / 0 → lib/quintus
3466. version / 1 → lib/quintus
3467. version → kernel/env
3468. version_as_list → kernel/env
3469. version_data → kernel/env
3470. vertices / 2 → lib_public/graphs
3471. view_graph / 1 → lib/graphviz
3472. view_graph / 2 → lib/graphviz
3473. view_graph / 3 → lib/graphviz
3474. view_mdd / 1 → lib/mdd_support
3475. viewable / 1 → lib/viewable
3476. viewable / 1 → lib/vc_support
3477. viewable → lib/viewable
3478. viewable_changeable_execute / 4 → lib/vc_support
3479. viewable_create / 2 → lib/viewable
3480. viewable_create / 2 → lib/vc_support
3481. viewable_create / 3 → lib/viewable
3482. viewable_create / 3 → lib/vc_support
3483. viewable_create / 4 → lib/viewable
3484. viewable_create / 4 → lib/vc_support
3485. viewable_element / 3 → lib/vc_support
3486. viewable_element_execute / 3 → lib/vc_support
3487. viewable_element_to_string / 2 → lib/vc_support
3488. viewable_expand / 3 → lib/viewable
3489. viewable_expand / 3 → lib/vc_support
3490. viewable_expand / 4 → lib/viewable
3491. viewable_expand / 4 → lib/vc_support
3492. viewable_get_location_name / 4 → lib/vc_support
3493. viewable_get_location_names / 3 → lib/vc_support
3494. viewable_size / 2 → lib/viewable
3495. viewable_size / 2 → lib/vc_support
3496. viewable_type / 2 → lib/viewable
3497. viewable_type / 2 → lib/vc_support
3498. vis_client_breakpoint / 0 → lib/vc_support
3499. vis_client_interest_modify / 5 → lib/vc_support
3500. vis_client_register / 4 → lib/vc_support
3501. vis_client_request_termination / 1 → lib/vc_support
3502. vis_client_unregister / 1 → lib/vc_support
3503. vis_structures → lib_public/vis_structures
3504. visualization → lib_public/visualization
3505. visualization / struct → lib_public/vis_structures
3506. visualize_tree → lib_public/visualize_tree
3507. visualizer / struct → lib_public/vis_structures
3508. viz / 2 → lib_public/cpviz
3509. viztool / 0 → lib_public/cpviz
3510. vs_all / 2 → lib/tentative
3511. vs_all_violated / 2 → lib/tentative
3512. vs_all_violated_index / 2 → lib/tentative
3513. vs_all_worst / 2 → lib/tentative
3514. vs_all_worst_index / 2 → lib/tentative
3515. vs_create / 2 → lib/tentative
3516. vs_element / 3 → lib/tentative
3517. vs_member / 2 → lib/tentative
3518. vs_random / 2 → lib/tentative
3519. vs_random_index / 2 → lib/tentative
3520. vs_random_violated / 2 → lib/tentative
3521. vs_random_violated_index / 2 → lib/tentative
3522. vs_random_worst / 2 → lib/tentative
3523. vs_random_worst_index / 2 → lib/tentative
3524. vs_size / 2 → lib/tentative
3525. vs_violated / 2 → lib/tentative
3526. vs_violated_index / 2 → lib/tentative
3527. vs_worst / 2 → lib/tentative
3528. vs_worst_index / 2 → lib/tentative
3529. wait / 2 → kernel/opsys
3530. wait_for_input / 3 → lib/swi
3531. wake / 0 → kernel/suspensions
3532. wam / 1 → lib/asm
3533. wam / 2 → lib/asm
3534. warnings → kernel/directives
3535. warnings → kernel/compiler
3536. warshall / 2 → lib_public/graphs
3537. watch / 1 → lib/fd_sets
3538. watch / 1 → lib/ic_hybrid_sets
3539. watch / 1 → lib/ic_sets
3540. weakly_connected / 1 → lib_public/grasper
3541. weight / 3 → lib/fd_sets
3542. weight / 3 → lib/ic_hybrid_sets
3543. weight / 3 → lib/ic_sets
3544. weight / 3 → lib_public/grasper
3545. well_formed / 1 → lib_public/m_tree234
3546. when / 2 → lib/sicstus
3547. with → kernel/syntax
3548. with_mutex / 2 → kernel/engines
3549. with_mutex / 2 → lib/threads
3550. wm_get / 2 → lib/sepia
3551. wm_set / 2 → lib/sepia
3552. wm_window → kernel/env
3553. worker → kernel/env
3554. workerids → kernel/env
3555. workers → kernel/env
3556. wrapperinpos / 2 → lib/ech
3557. write / 1 → kernel/ioterm
3558. write / 2 → kernel/ioterm
3559. write_canonical / 1 → kernel/ioterm
3560. write_canonical / 2 → kernel/ioterm
3561. write_exdr / 2 → kernel/ioterm
3562. write_graph / 2 → lib/graphviz
3563. write_graph / 3 → lib/graphviz
3564. write_graph / 4 → lib/graphviz
3565. write_history / 0 → lib/toplevel
3566. write_term / 2 → kernel/ioterm
3567. write_term / 2 → lib/iso
3568. write_term / 2 → lib/iso_strict
3569. write_term / 3 → kernel/ioterm
3570. write_term / 3 → lib/iso
3571. write_term / 3 → lib/iso_strict
3572. writeclause / 1 → kernel/ioterm
3573. writeclause / 2 → kernel/ioterm
3574. writeln / 1 → kernel/ioterm
3575. writeln / 2 → kernel/ioterm
3576. writeq / 1 → kernel/ioterm
3577. writeq / 2 → kernel/ioterm
3578. xget / 3 → kernel/externals
3579. xml → lib_public/xml
3580. xml_parse / 2 → lib_public/xml
3581. xml_parse / 3 → lib_public/xml
3582. xml_pp / 1 → lib_public/xml
3583. xml_subterm / 2 → lib_public/xml
3584. xor / 2 → lib/gfd
3585. xor / 3 → kernel/arithmetic
3586. xor / 3 → lib/gfd
3587. xref / 2 → lib/xref
3588. xref → lib/xref
3589. xset / 3 → kernel/externals
3590. yield / 2 → kernel/engines
3591. ymd_to_mjd / 2 → lib/calendar
3592. ywd_to_mjd / 2 → lib/calendar
3593. zcompare / 3 → lib/clpfd
3594. zn_options / 2 → lib_public/flatzinc
3595. zn_options / struct → lib_public/flatzinc
3596. zn_var / struct → lib_public/flatzinc