ECLiPSe 7.2 Alphabetic Predicate Index

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