[m-rev.] diff: extend mdb ambiguity command to look at function symbols
Zoltan Somogyi
zs at csse.unimelb.edu.au
Sun Aug 20 15:40:47 AEST 2006
The output from the new version of the ambiguity command is attached at the
end. Did you know that we use the function symbol "call" in eleven types,
even though it is also effectively a language keyword? I have a diff in
progress to eliminate many of these ambiguities.
Zoltan
Extend the mdb command "ambiguity" to report information about not just
ambiguous procedure names and type constructor names but also ambiguous
function symbols.
trace/mercury_trace_tables.[ch]:
Implement the new capability.
Declare some static functions at the top of the file before
their definitions.
trace/mercury_trace_cmd_developer.c:
Add new options -p, -t and -f that allow the user to select the
printing of ambiguity information about procedure names, type
names and/or function symbols.
doc/user_guide.texi:
Document the new functionality and options.
trace/mercury_trace_spy.c:
Minor style fix.
tests/debugger/ambiguity.{m,exp}:
Extend this test case to test the new functionality, and update the
expected output.
cvs diff: Diffing .
cvs diff: Diffing analysis
cvs diff: Diffing bindist
cvs diff: Diffing boehm_gc
cvs diff: Diffing boehm_gc/Mac_files
cvs diff: Diffing boehm_gc/cord
cvs diff: Diffing boehm_gc/cord/private
cvs diff: Diffing boehm_gc/doc
cvs diff: Diffing boehm_gc/include
cvs diff: Diffing boehm_gc/include/private
cvs diff: Diffing boehm_gc/libatomic_ops-1.2
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/doc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/gcc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/hpc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/ibmc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/icc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/msftc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/sunc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/tests
cvs diff: Diffing boehm_gc/tests
cvs diff: Diffing boehm_gc/windows-untested
cvs diff: Diffing boehm_gc/windows-untested/vc60
cvs diff: Diffing boehm_gc/windows-untested/vc70
cvs diff: Diffing boehm_gc/windows-untested/vc71
cvs diff: Diffing browser
cvs diff: Diffing bytecode
cvs diff: Diffing compiler
cvs diff: Diffing compiler/notes
cvs diff: Diffing debian
cvs diff: Diffing debian/patches
cvs diff: Diffing deep_profiler
cvs diff: Diffing deep_profiler/notes
cvs diff: Diffing doc
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.486
diff -u -b -r1.486 user_guide.texi
--- doc/user_guide.texi 20 Aug 2006 05:01:43 -0000 1.486
+++ doc/user_guide.texi 20 Aug 2006 05:02:12 -0000
@@ -4078,15 +4078,18 @@
compiler generated unify, compare, index and initialization predicates.
Normally, the list includes the procedures of only user defined predicates.
@sp 1
- at item ambiguity [-o @var{filename}] [@var{modulename} ...]
+ at item ambiguity [-o @var{filename}] [-ptf] [@var{modulename} ...]
@kindex ambiguity (mdb command)
-Print all ambiguous predicate, function and type constructor names.
-A predicate or function name is ambiguous
+Print ambiguous procecedure, type constructor and/or function symbol names.
+A procedure name is ambiguous
if a predicate or function is defined with that name
in more than one module or with more than one arity.
A type constructor name is ambiguous
if a type constructor is defined with that name
in more than one module or with more than one arity.
+A function symbol name is ambiguous
+if a function symbol is defined with that name
+in more than one module or with more than one arity.
@sp 1
If any module names are given, then only those modules are consulted,
(any ambiguities involving predicates, functions and type constructors
@@ -4100,6 +4103,11 @@
If the @samp{-o} or @samp{--outputfile} option is given,
the output goes to the file named as the argument of the option;
otherwise, it goes to standard output.
+ at sp 1
+If one or more of the @samp{-p}, @samp{-t}, @samp{-f} options
+or their long equivalents, @samp{--types}, or @samp{--functors},
+this command prints ambiguities only for the indicated kinds of constructs.
+The default is to print all ambiguities.
@end table
@node Declarative debugging
cvs diff: Diffing extras
cvs diff: Diffing extras/cgi
cvs diff: Diffing extras/complex_numbers
cvs diff: Diffing extras/complex_numbers/samples
cvs diff: Diffing extras/complex_numbers/tests
cvs diff: Diffing extras/concurrency
cvs diff: Diffing extras/curs
cvs diff: Diffing extras/curs/samples
cvs diff: Diffing extras/curses
cvs diff: Diffing extras/curses/sample
cvs diff: Diffing extras/dynamic_linking
cvs diff: Diffing extras/error
cvs diff: Diffing extras/gator
cvs diff: Diffing extras/gator/generations
cvs diff: Diffing extras/gator/generations/1
cvs diff: Diffing extras/graphics
cvs diff: Diffing extras/graphics/easyx
cvs diff: Diffing extras/graphics/easyx/samples
cvs diff: Diffing extras/graphics/mercury_glut
cvs diff: Diffing extras/graphics/mercury_opengl
cvs diff: Diffing extras/graphics/mercury_tcltk
cvs diff: Diffing extras/graphics/samples
cvs diff: Diffing extras/graphics/samples/calc
cvs diff: Diffing extras/graphics/samples/gears
cvs diff: Diffing extras/graphics/samples/maze
cvs diff: Diffing extras/graphics/samples/pent
cvs diff: Diffing extras/lazy_evaluation
cvs diff: Diffing extras/lex
cvs diff: Diffing extras/lex/samples
cvs diff: Diffing extras/lex/tests
cvs diff: Diffing extras/logged_output
cvs diff: Diffing extras/moose
cvs diff: Diffing extras/moose/samples
cvs diff: Diffing extras/moose/tests
cvs diff: Diffing extras/morphine
cvs diff: Diffing extras/morphine/non-regression-tests
cvs diff: Diffing extras/morphine/scripts
cvs diff: Diffing extras/morphine/source
cvs diff: Diffing extras/odbc
cvs diff: Diffing extras/posix
cvs diff: Diffing extras/quickcheck
cvs diff: Diffing extras/quickcheck/tutes
cvs diff: Diffing extras/references
cvs diff: Diffing extras/references/samples
cvs diff: Diffing extras/references/tests
cvs diff: Diffing extras/solver_types
cvs diff: Diffing extras/solver_types/library
cvs diff: Diffing extras/stream
cvs diff: Diffing extras/trailed_update
cvs diff: Diffing extras/trailed_update/samples
cvs diff: Diffing extras/trailed_update/tests
cvs diff: Diffing extras/windows_installer_generator
cvs diff: Diffing extras/windows_installer_generator/sample
cvs diff: Diffing extras/windows_installer_generator/sample/images
cvs diff: Diffing extras/xml
cvs diff: Diffing extras/xml/samples
cvs diff: Diffing extras/xml_stylesheets
cvs diff: Diffing java
cvs diff: Diffing java/runtime
cvs diff: Diffing library
cvs diff: Diffing mdbcomp
cvs diff: Diffing profiler
cvs diff: Diffing robdd
cvs diff: Diffing runtime
Index: runtime/mercury_deconstruct.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_deconstruct.c,v
retrieving revision 1.19
diff -u -b -r1.19 mercury_deconstruct.c
--- runtime/mercury_deconstruct.c 5 Oct 2005 06:34:20 -0000 1.19
+++ runtime/mercury_deconstruct.c 19 Aug 2006 11:15:18 -0000
@@ -185,7 +185,6 @@
goto du_type;
}
-
case MR_TYPECTOR_REP_DU_USEREQ:
case MR_TYPECTOR_REP_DU:
data = *term_ptr;
cvs diff: Diffing runtime/GETOPT
cvs diff: Diffing runtime/machdeps
cvs diff: Diffing samples
cvs diff: Diffing samples/c_interface
cvs diff: Diffing samples/c_interface/c_calls_mercury
cvs diff: Diffing samples/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/mercury_calls_c
cvs diff: Diffing samples/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/diff
cvs diff: Diffing samples/muz
cvs diff: Diffing samples/rot13
cvs diff: Diffing samples/solutions
cvs diff: Diffing samples/tests
cvs diff: Diffing samples/tests/c_interface
cvs diff: Diffing samples/tests/c_interface/c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/tests/c_interface/mercury_calls_c
cvs diff: Diffing samples/tests/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/tests/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/tests/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/tests/diff
cvs diff: Diffing samples/tests/muz
cvs diff: Diffing samples/tests/rot13
cvs diff: Diffing samples/tests/solutions
cvs diff: Diffing samples/tests/toplevel
cvs diff: Diffing scripts
cvs diff: Diffing slice
cvs diff: Diffing tests
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
Index: tests/debugger/ambiguity.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/ambiguity.exp,v
retrieving revision 1.1
diff -u -b -r1.1 ambiguity.exp
--- tests/debugger/ambiguity.exp 1 Mar 2006 22:58:48 -0000 1.1
+++ tests/debugger/ambiguity.exp 20 Aug 2006 05:34:55 -0000
@@ -1,19 +1,35 @@
- E1: C1 CALL pred ambiguity.main/2-0 (det) ambiguity.m:21
+ E1: C1 CALL pred ambiguity.main/2-0 (det) ambiguity.m:26
mdb> echo on
Command echo enabled.
mdb> register --quiet
mdb> ambiguity ambiguity
-Ambiguous predicate and function names:
+Ambiguous procedure names:
pred ambiguity.p/2
func ambiguity.p/1
func ambiguity.p/2
func ambiguity.p/3
+Total: 1 names used 4 times, maximum 4, average: 4.00
+
Ambiguous type names:
ambiguity.t/0
ambiguity.t/1
+
+Total: 1 names used 2 times, maximum 2, average: 2.00
+
+Ambiguous function symbols:
+
+t1/0 ambiguity.t/0
+t1/1 ambiguity.t2/0
+t1/2 ambiguity.t2/0
+
+u1/0 ambiguity.t/1
+u1/1 ambiguity.t2/0
+
+Total: 2 names used 5 times, maximum 3, average: 2.50
+
mdb> continue
2.50000000000000
t1
Index: tests/debugger/ambiguity.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/ambiguity.m,v
retrieving revision 1.1
diff -u -b -r1.1 ambiguity.m
--- tests/debugger/ambiguity.m 1 Mar 2006 22:58:48 -0000 1.1
+++ tests/debugger/ambiguity.m 20 Aug 2006 05:34:30 -0000
@@ -14,6 +14,11 @@
---> t1
; t2.
+:- type t2
+ ---> t1(int)
+ ; t1(int, float)
+ ; u1(t2).
+
:- type t(T)
---> u1
; u2(T).
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/general/string_format
cvs diff: Diffing tests/general/structure_reuse
cvs diff: Diffing tests/grade_subdirs
cvs diff: Diffing tests/hard_coded
cvs diff: Diffing tests/hard_coded/exceptions
cvs diff: Diffing tests/hard_coded/purity
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/invalid/purity
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/mmc_make
cvs diff: Diffing tests/mmc_make/lib
cvs diff: Diffing tests/par_conj
cvs diff: Diffing tests/recompilation
cvs diff: Diffing tests/tabling
cvs diff: Diffing tests/term
cvs diff: Diffing tests/trailing
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
cvs diff: Diffing tools
cvs diff: Diffing trace
Index: trace/mercury_trace_cmd_developer.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_cmd_developer.c,v
retrieving revision 1.2
diff -u -b -r1.2 mercury_trace_cmd_developer.c
--- trace/mercury_trace_cmd_developer.c 8 Jun 2006 08:20:17 -0000 1.2
+++ trace/mercury_trace_cmd_developer.c 19 Aug 2006 13:42:27 -0000
@@ -240,7 +240,9 @@
MR_bool *uci, char **module, char ***words,
int *word_count);
static MR_bool MR_trace_options_ambiguity(const char **outfile,
- char ***words, int *word_count);
+ MR_bool *print_procs, MR_bool *print_types,
+ MR_bool *print_functors, char ***words,
+ int *word_count);
/****************************************************************************/
@@ -1277,13 +1279,27 @@
MR_Trace_Cmd_Info *cmd, MR_Event_Info *event_info, MR_Code **jumpaddr)
{
const char *filename;
+ MR_bool print_procs;
+ MR_bool print_types;
+ MR_bool print_functors;
FILE *fp;
int i;
filename = NULL;
- if (! MR_trace_options_ambiguity(&filename, &words, &word_count)) {
+ print_procs = MR_FALSE;
+ print_types = MR_FALSE;
+ print_functors = MR_FALSE;
+ if (! MR_trace_options_ambiguity(&filename, &print_procs, &print_types,
+ &print_functors, &words, &word_count))
+ {
; /* the usage message has already been printed */
} else {
+ if (!print_procs && !print_types && !print_functors) {
+ print_procs = MR_TRUE;
+ print_types = MR_TRUE;
+ print_functors = MR_TRUE;
+ }
+
MR_register_all_modules_and_procs(MR_mdb_out, MR_TRUE);
if (filename == NULL) {
@@ -1305,7 +1321,8 @@
** ambiguities.
*/
- MR_print_ambiguities(fp, &words[1], word_count - 1);
+ MR_print_ambiguities(fp, print_procs, print_types, print_functors,
+ &words[1], word_count - 1);
if (filename != NULL) {
fprintf(MR_mdb_out, "mdb: wrote report to `%s'.\n", filename);
@@ -2206,17 +2223,21 @@
static struct MR_option MR_trace_ambiguity_opts[] =
{
{ "outputfile", MR_required_argument, NULL, 'o' },
+ { "procedures", MR_no_argument, NULL, 'p' },
+ { "types", MR_no_argument, NULL, 't' },
+ { "functors", MR_no_argument, NULL, 'f' },
{ NULL, MR_no_argument, NULL, 0 }
};
static MR_bool
-MR_trace_options_ambiguity(const char **outfile,
- char ***words, int *word_count)
+MR_trace_options_ambiguity(const char **outfile, MR_bool *print_procs,
+ MR_bool *print_types, MR_bool *print_functors, char ***words,
+ int *word_count)
{
int c;
MR_optind = 0;
- while ((c = MR_getopt_long(*word_count, *words, "o:",
+ while ((c = MR_getopt_long(*word_count, *words, "o:ptf",
MR_trace_ambiguity_opts, NULL)) != EOF)
{
switch (c) {
@@ -2225,6 +2246,18 @@
*outfile = MR_optarg;
break;
+ case 'p':
+ *print_procs = MR_TRUE;
+ break;
+
+ case 't':
+ *print_types = MR_TRUE;
+ break;
+
+ case 'f':
+ *print_functors = MR_TRUE;
+ break;
+
default:
MR_trace_usage_cur_cmd();
return MR_FALSE;
Index: trace/mercury_trace_spy.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_spy.c,v
retrieving revision 1.26
diff -u -b -r1.26 mercury_trace_spy.c
--- trace/mercury_trace_spy.c 31 Mar 2006 05:12:19 -0000 1.26
+++ trace/mercury_trace_spy.c 19 Aug 2006 13:07:28 -0000
@@ -639,7 +639,8 @@
static int
MR_compare_spied_labels(const void *l1, const void *l2)
{
- const MR_Spied_Label *label1, *label2;
+ const MR_Spied_Label *label1;
+ const MR_Spied_Label *label2;
label1 = (const MR_Spied_Label *) l1;
label2 = (const MR_Spied_Label *) l2;
Index: trace/mercury_trace_tables.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_tables.c,v
retrieving revision 1.42
diff -u -b -r1.42 mercury_trace_tables.c
--- trace/mercury_trace_tables.c 4 Apr 2006 07:37:31 -0000 1.42
+++ trace/mercury_trace_tables.c 19 Aug 2006 14:51:12 -0000
@@ -69,6 +69,16 @@
MR_file_line_callback callback_func,
int callback_arg);
+static MR_bool MR_module_in_arena(const char *name, char **names,
+ int num_names);
+
+static int MR_compare_proc_layout_by_name(const void *ptr1,
+ const void *ptr2);
+static int MR_compare_type_ctor_by_name(const void *ptr1,
+ const void *ptr2);
+static int MR_compare_functor_by_name(const void *ptr1,
+ const void *ptr2);
+
static MR_bool MR_parse_trailing_number(char *start, char **end,
int *number);
static void MR_translate_double_underscores(char *str);
@@ -282,8 +292,8 @@
if (found) {
/*
- ** The binary search found *one* label with the given
- ** linenumber; we now find the *first* such label.
+ ** The binary search found *one* label with the given linenumber;
+ ** we now find the *first* such label.
*/
while (k > 0 && file_layout->MR_mfl_label_lineno[k - 1] == line) {
@@ -372,6 +382,24 @@
}
}
+static MR_bool
+MR_module_in_arena(const char *name, char **names, int num_names)
+{
+ int i;
+
+ if (num_names == 0) {
+ return MR_TRUE;
+ }
+
+ for (i = 0; i < num_names; i++) {
+ if (MR_streq(name, names[i])) {
+ return MR_TRUE;
+ }
+ }
+
+ return MR_FALSE;
+}
+
#define MR_proc_compare_name(proc1, proc2) \
strcmp(proc1->MR_sle_user.MR_user_name, \
proc2->MR_sle_user.MR_user_name)
@@ -452,12 +480,10 @@
}
#define MR_type_compare_name(type1, type2) \
- strcmp(type1->MR_type_ctor_name, \
- type2->MR_type_ctor_name)
+ strcmp(type1->MR_type_ctor_name, type2->MR_type_ctor_name)
#define MR_type_compare_module_name(type1, type2) \
- strcmp(type1->MR_type_ctor_module_name, \
- type2->MR_type_ctor_module_name)
+ strcmp(type1->MR_type_ctor_module_name, type2->MR_type_ctor_module_name)
#define MR_type_compare_arity(type1, type2) \
(type1->MR_type_ctor_arity - type2->MR_type_ctor_arity)
@@ -494,36 +520,80 @@
return MR_type_compare_arity(type_ctor1, type_ctor2);
}
-static MR_bool
-MR_module_in_arena(const char *name, char **names, int num_names)
+typedef struct {
+ const char *MR_functor_name;
+ int MR_functor_arity;
+ const char *MR_functor_type_module;
+ const char *MR_functor_type_name;
+ int MR_functor_type_arity;
+} MR_FunctorTypeCtor;
+
+#define MR_functor_compare_name(functor1, functor2) \
+ strcmp((functor1).MR_functor_name, (functor2).MR_functor_name)
+
+#define MR_functor_same_name(functor1, functor2) \
+ (MR_functor_compare_name(functor1, functor2) == 0)
+
+#define MR_functor_compare_arity(functor1, functor2) \
+ ((functor1).MR_functor_arity - (functor2).MR_functor_arity)
+
+#define MR_functor_compare_type_module(functor1, functor2) \
+ strcmp((functor1).MR_functor_type_module, (functor2).MR_functor_type_module)
+
+#define MR_functor_compare_type_name(functor1, functor2) \
+ strcmp((functor1).MR_functor_type_name, (functor2).MR_functor_type_name)
+
+#define MR_functor_compare_type_arity(functor1, functor2) \
+ ((functor1).MR_functor_type_arity - (functor2).MR_functor_type_arity)
+
+static int
+MR_compare_functor_by_name(const void *ptr1, const void *ptr2)
{
- int i;
+ const MR_FunctorTypeCtor *addr1;
+ const MR_FunctorTypeCtor *addr2;
+ int result;
- if (num_names == 0) {
- return MR_TRUE;
+ addr1 = (const MR_FunctorTypeCtor *) ptr1;
+ addr2 = (const MR_FunctorTypeCtor *) ptr2;
+
+ result = MR_functor_compare_name(*addr1, *addr2);
+ if (result != 0) {
+ return result;
}
- for (i = 0; i < num_names; i++) {
- if (MR_streq(name, names[i])) {
- return MR_TRUE;
+ result = MR_functor_compare_arity(*addr1, *addr2);
+ if (result != 0) {
+ return result;
}
+
+ result = MR_functor_compare_type_module(*addr1, *addr2);
+ if (result != 0) {
+ return result;
}
- return MR_FALSE;
+ result = MR_functor_compare_type_name(*addr1, *addr2);
+ if (result != 0) {
+ return result;
+ }
+
+ return MR_functor_compare_type_arity(*addr1, *addr2);
}
void
-MR_print_ambiguities(FILE *fp, char **arena_module_names,
- int arena_num_modules)
+MR_print_ambiguities(FILE *fp, MR_bool print_procs, MR_bool print_types,
+ MR_bool print_functors, char **arena_module_names, int arena_num_modules)
{
int module_num;
int proc_num;
int type_num;
+ int functor_num;
int end_proc_num;
int end_type_num;
+ int end_functor_num;
int num_procs;
int num_all_types;
int num_types;
+ int num_functors;
int next_proc_num;
int procs_in_module;
const MR_Module_Layout *module;
@@ -531,21 +601,35 @@
const MR_Proc_Layout *cur_proc;
MR_TypeCtorInfo *type_ctors;
MR_TypeCtorInfo type_ctor_info;
+ MR_FunctorTypeCtor *functors;
MR_Dlist *type_ctor_list;
MR_Dlist *element_ptr;
MR_bool *report;
+ MR_EnumFunctorDesc **enum_functors;
+ MR_DuFunctorDesc **du_functors;
+ MR_MaybeResAddrFunctorDesc *res_functors;
+ MR_NotagFunctorDesc *notag_functor;
int num_distinct;
int num_ambiguous;
+ int num_ambiguous_total;
+ int num_ambiguous_max;
int i;
+ /*
+ ** We compute each data structure regardless of the settings of
+ ** print_procs, print_types and print_functors because the implementation
+ ** of one may depend on the other; e.g. we calculate how many function
+ ** symbols to reserve space for while we build the types array.
+ */
+
num_procs = 0;
for (module_num = 0; module_num < MR_module_info_next; module_num++) {
num_procs += MR_module_infos[module_num]->MR_ml_proc_count;
}
/*
- ** num_procs is an conservative estimate of the number of user-defined
- ** procs.
+ ** num_procs is a conservative estimate of the number of user defined
+ ** procedures.
*/
procs = malloc(sizeof(const MR_Proc_Layout *) * num_procs);
@@ -581,8 +665,11 @@
qsort(procs, num_procs, sizeof(const MR_Proc_Layout *),
MR_compare_proc_layout_by_name);
- fprintf(fp, "Ambiguous predicate and function names:\n");
+ if (print_procs) {
+ fprintf(fp, "Ambiguous procedure names:\n");
num_ambiguous = 0;
+ num_ambiguous_total = 0;
+ num_ambiguous_max = 0;
proc_num = 0;
while (proc_num < num_procs) {
@@ -598,7 +685,9 @@
num_distinct = 1;
for (i = proc_num + 1; i < end_proc_num; i++) {
- if (MR_proc_same_name_module_pf_arity(procs[i-1], procs[i])) {
+ if (MR_proc_same_name_module_pf_arity(procs[i-1],
+ procs[i]))
+ {
report[i] = MR_FALSE;
} else {
report[i] = MR_TRUE;
@@ -608,8 +697,12 @@
if (num_distinct > 1) {
num_ambiguous++;
- fprintf(fp, "\n");
+ num_ambiguous_total += (end_proc_num - proc_num);
+ if ((end_proc_num - proc_num) > num_ambiguous_max) {
+ num_ambiguous_max = end_proc_num - proc_num;
+ }
+ fprintf(fp, "\n");
for (i = proc_num; i < end_proc_num; i++) {
if (report[i]) {
fprintf(fp, "%s %s.%s/%d\n",
@@ -627,7 +720,14 @@
}
if (num_ambiguous == 0) {
- fprintf(fp, "\nNone\n");
+ fprintf(fp, "\nNone\n\n");
+ } else {
+ fprintf(fp, "\nTotal: %d names used %d times, ",
+ num_ambiguous, num_ambiguous_total);
+ fprintf(fp, "maximum %d, average: %.2f\n\n",
+ num_ambiguous_max,
+ (float) num_ambiguous_total / (float) num_ambiguous);
+ }
}
free(procs);
@@ -640,6 +740,7 @@
return;
}
+ num_functors = 0;
type_num = 0;
MR_for_dlist (element_ptr, type_ctor_list) {
type_ctor_info = (MR_TypeCtorInfo) MR_dlist_data(element_ptr);
@@ -647,6 +748,37 @@
arena_module_names, arena_num_modules))
{
type_ctors[type_num] = type_ctor_info;
+
+ switch (MR_type_ctor_rep(type_ctor_info)) {
+ case MR_TYPECTOR_REP_ENUM:
+ case MR_TYPECTOR_REP_ENUM_USEREQ:
+ case MR_TYPECTOR_REP_DUMMY:
+ case MR_TYPECTOR_REP_DU:
+ case MR_TYPECTOR_REP_DU_USEREQ:
+ case MR_TYPECTOR_REP_RESERVED_ADDR:
+ case MR_TYPECTOR_REP_RESERVED_ADDR_USEREQ:
+ case MR_TYPECTOR_REP_NOTAG:
+ case MR_TYPECTOR_REP_NOTAG_USEREQ:
+ case MR_TYPECTOR_REP_NOTAG_GROUND:
+ case MR_TYPECTOR_REP_NOTAG_GROUND_USEREQ:
+ num_functors += type_ctor_info->MR_type_ctor_num_functors;
+#if 0
+ /* for debugging only */
+ fprintf(fp,
+ "TYPE %s.%s/%" MR_INTEGER_LENGTH_MODIFIER "d\t%s\t%d\n",
+ type_ctors[type_num]->MR_type_ctor_module_name,
+ type_ctors[type_num]->MR_type_ctor_name,
+ type_ctors[type_num]->MR_type_ctor_arity,
+ MR_ctor_rep_name[
+ MR_type_ctor_rep(type_ctors[type_num])],
+ num_functors);
+#endif
+ break;
+
+ default:
+ break;
+ }
+
type_num++;
}
}
@@ -655,20 +787,29 @@
qsort(type_ctors, num_types, sizeof(MR_TypeCtorInfo),
MR_compare_type_ctor_by_name);
- fprintf(fp, "\nAmbiguous type names:\n");
+ if (print_types) {
+ fprintf(fp, "Ambiguous type names:\n");
num_ambiguous = 0;
+ num_ambiguous_total = 0;
+ num_ambiguous_max = 0;
type_num = 0;
while (type_num < num_types) {
end_type_num = type_num + 1;
while (end_type_num < num_types &&
- MR_type_same_name(type_ctors[type_num], type_ctors[end_type_num]))
+ MR_type_same_name(type_ctors[type_num],
+ type_ctors[end_type_num]))
{
end_type_num++;
}
if (end_type_num > type_num + 1) {
num_ambiguous++;
+ num_ambiguous_total += (end_type_num - type_num);
+ if ((end_type_num - type_num) > num_ambiguous_max) {
+ num_ambiguous_max = end_type_num - type_num;
+ }
+
fprintf(fp, "\n");
for (i = type_num; i < end_type_num; i++) {
@@ -683,10 +824,180 @@
}
if (num_ambiguous == 0) {
- fprintf(fp, "\nNone\n");
+ fprintf(fp, "\nNone\n\n");
+ } else {
+ fprintf(fp, "\nTotal: %d names used %d times, ",
+ num_ambiguous, num_ambiguous_total);
+ fprintf(fp, "maximum %d, average: %.2f\n\n",
+ num_ambiguous_max,
+ (float) num_ambiguous_total / (float) num_ambiguous);
+ }
+ }
+
+ functors = malloc(sizeof(MR_FunctorTypeCtor) * num_functors);
+ if (functors == NULL) {
+ fprintf(MR_mdb_err, "Error: could not allocate sufficient memory\n");
+ return;
+ }
+
+ functor_num = 0;
+ for (type_num = 0; type_num < num_types; type_num++) {
+ type_ctor_info = type_ctors[type_num];
+
+#if 0
+ /* for debugging only */
+ fprintf(fp, "FUNCTYPE %s.%s/%" MR_INTEGER_LENGTH_MODIFIER "d\n",
+ type_ctors[type_num]->MR_type_ctor_module_name,
+ type_ctors[type_num]->MR_type_ctor_name,
+ type_ctors[type_num]->MR_type_ctor_arity);
+#endif
+
+ switch (MR_type_ctor_rep(type_ctor_info)) {
+ case MR_TYPECTOR_REP_ENUM:
+ case MR_TYPECTOR_REP_ENUM_USEREQ:
+ case MR_TYPECTOR_REP_DUMMY:
+ enum_functors =
+ MR_type_ctor_functors(type_ctor_info).MR_functors_enum;
+ i = 0;
+ while (i < type_ctor_info->MR_type_ctor_num_functors) {
+ functors[functor_num].MR_functor_name =
+ enum_functors[i]->MR_enum_functor_name;
+ functors[functor_num].MR_functor_arity = 0;
+ functors[functor_num].MR_functor_type_module =
+ type_ctor_info->MR_type_ctor_module_name;
+ functors[functor_num].MR_functor_type_name =
+ type_ctor_info->MR_type_ctor_name;
+ functors[functor_num].MR_functor_type_arity =
+ type_ctor_info->MR_type_ctor_arity;
+ functor_num++;
+ i++;
+ }
+ break;
+
+ case MR_TYPECTOR_REP_DU:
+ case MR_TYPECTOR_REP_DU_USEREQ:
+ du_functors =
+ MR_type_ctor_functors(type_ctor_info).MR_functors_du;
+ i = 0;
+ while (i < type_ctor_info->MR_type_ctor_num_functors) {
+ functors[functor_num].MR_functor_name =
+ du_functors[i]->MR_du_functor_name;
+ functors[functor_num].MR_functor_arity =
+ du_functors[i]->MR_du_functor_orig_arity;
+ functors[functor_num].MR_functor_type_module =
+ type_ctor_info->MR_type_ctor_module_name;
+ functors[functor_num].MR_functor_type_name =
+ type_ctor_info->MR_type_ctor_name;
+ functors[functor_num].MR_functor_type_arity =
+ type_ctor_info->MR_type_ctor_arity;
+ functor_num++;
+ i++;
+ }
+ break;
+
+ case MR_TYPECTOR_REP_RESERVED_ADDR:
+ case MR_TYPECTOR_REP_RESERVED_ADDR_USEREQ:
+ res_functors =
+ MR_type_ctor_functors(type_ctor_info).MR_functors_res;
+ i = 0;
+ while (i < type_ctor_info->MR_type_ctor_num_functors) {
+ functors[functor_num].MR_functor_name =
+ res_functors[i].MR_maybe_res_name;
+ functors[functor_num].MR_functor_arity =
+ res_functors[i].MR_maybe_res_arity;
+ functors[functor_num].MR_functor_type_module =
+ type_ctor_info->MR_type_ctor_module_name;
+ functors[functor_num].MR_functor_type_name =
+ type_ctor_info->MR_type_ctor_name;
+ functors[functor_num].MR_functor_type_arity =
+ type_ctor_info->MR_type_ctor_arity;
+ functor_num++;
+ i++;
+ }
+ break;
+ break;
+
+ case MR_TYPECTOR_REP_NOTAG:
+ case MR_TYPECTOR_REP_NOTAG_USEREQ:
+ case MR_TYPECTOR_REP_NOTAG_GROUND:
+ case MR_TYPECTOR_REP_NOTAG_GROUND_USEREQ:
+ notag_functor =
+ MR_type_ctor_functors(type_ctor_info).MR_functors_notag;
+ functors[functor_num].MR_functor_name =
+ notag_functor->MR_notag_functor_name;
+ functors[functor_num].MR_functor_arity = 1;
+ functors[functor_num].MR_functor_type_module =
+ type_ctor_info->MR_type_ctor_module_name;
+ functors[functor_num].MR_functor_type_name =
+ type_ctor_info->MR_type_ctor_name;
+ functors[functor_num].MR_functor_type_arity =
+ type_ctor_info->MR_type_ctor_arity;
+ functor_num++;
+ break;
+
+ default:
+ /*
+ ** Other kinds of types do not have user-defined function
+ ** symbols.
+ */
+ break;
+ }
+ }
+
+ qsort(functors, num_functors, sizeof(MR_FunctorTypeCtor),
+ MR_compare_functor_by_name);
+
+ if (print_functors) {
+ fprintf(fp, "Ambiguous function symbols:\n");
+ num_ambiguous = 0;
+ num_ambiguous_total = 0;
+ num_ambiguous_max = 0;
+
+ functor_num = 0;
+ while (functor_num < num_functors) {
+ end_functor_num = functor_num + 1;
+ while (end_functor_num < num_functors &&
+ MR_functor_same_name(functors[functor_num],
+ functors[end_functor_num]))
+ {
+ end_functor_num++;
+ }
+
+ if (end_functor_num > functor_num + 1) {
+ num_ambiguous++;
+ num_ambiguous_total += (end_functor_num - functor_num);
+ if ((end_functor_num - functor_num) > num_ambiguous_max) {
+ num_ambiguous_max = end_functor_num - functor_num;
+ }
+
+ fprintf(fp, "\n");
+ for (i = functor_num; i < end_functor_num; i++) {
+ fprintf(fp, "%s/%d ",
+ functors[i].MR_functor_name,
+ functors[i].MR_functor_arity);
+ fprintf(fp, "%s.%s/%" MR_INTEGER_LENGTH_MODIFIER "d\n",
+ functors[i].MR_functor_type_module,
+ functors[i].MR_functor_type_name,
+ functors[i].MR_functor_type_arity);
+ }
+ }
+
+ functor_num = end_functor_num;
+ }
+
+ if (num_ambiguous == 0) {
+ fprintf(fp, "\nNone\n\n");
+ } else {
+ fprintf(fp, "\nTotal: %d names used %d times, ",
+ num_ambiguous, num_ambiguous_total);
+ fprintf(fp, "maximum %d, average: %.2f\n\n",
+ num_ambiguous_max,
+ (float) num_ambiguous_total / (float) num_ambiguous);
+ }
}
free(type_ctors);
+ free(functors);
}
MR_bool
Index: trace/mercury_trace_tables.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_tables.h,v
retrieving revision 1.22
diff -u -b -r1.22 mercury_trace_tables.h
--- trace/mercury_trace_tables.h 1 Mar 2006 22:58:51 -0000 1.22
+++ trace/mercury_trace_tables.h 19 Aug 2006 13:35:00 -0000
@@ -74,17 +74,19 @@
extern void MR_dump_module_procs(FILE *fp, const char *name);
/*
-** Print the names of ambiguous predicates, functions and types. The ambiguity
-** may exist because a predicate, function or type with that name is defined
+** Print the names of ambiguous procedures (predicates and functions), types,
+** and/or function symbols. The ambiguity may exist because a predicate,
+** function, type or (constructor) function symbol with that name is defined
** with more than one arity or in more than one module.
**
** If num_modules is positive, then the search for ambiguities should consider
-** only predicates, functions and types in the modules whose names appear in
-** module_names[0] .. module_names[num_modules-1].
+** only predicates, functions, types and function symbols in the modules whose
+** names appear in module_names[0] .. module_names[num_modules-1].
*/
-extern void MR_print_ambiguities(FILE *fp, char **module_names,
- int num_modules);
+extern void MR_print_ambiguities(FILE *fp, MR_bool print_procs,
+ MR_bool print_types, MR_bool print_functors,
+ char **module_names, int num_modules);
/*
** A procedure specification has several components, the meaning of which
cvs diff: Diffing util
cvs diff: Diffing vim
cvs diff: Diffing vim/after
cvs diff: Diffing vim/ftplugin
cvs diff: Diffing vim/syntax
---------------------------------------------------------------------
Ambiguous procedure names:
func float.*/2
func int.*/2
func integer.*/2
func libs.rat.*/2
func mode_robdd.equiv_vars.*/2
func mode_robdd.implications.*/2
func mode_robdd.tfeirn.*/2
func rational.*/2
func robdd.*/2
func float.+/1
func float.+/2
func int.+/1
func int.+/2
func integer.+/1
func integer.+/2
func libs.rat.+/1
func libs.rat.+/2
func mode_robdd.equiv_vars.+/2
func mode_robdd.implications.+/2
func mode_robdd.tfeirn.+/2
func rational.+/1
func rational.+/2
func robdd.+/2
func cord.++/2
func list.++/2
func make.options_file.++/2
func pprint.++/2
func string.++/2
func float.-/1
func float.-/2
func int.-/1
func int.-/2
func integer.-/1
func integer.-/2
func libs.rat.-/1
func libs.rat.-/2
func rational.-/1
func rational.-/2
func dir.//2
func float.//2
func int.//2
func libs.rat.//2
func rational.//2
func int.///2
func integer.///2
func int./\/2
func integer./\/2
pred float.</2
pred int.</2
pred integer.</2
pred libs.rat.</2
pred rational.</2
func int.<</2
func integer.<</2
pred prolog.=:=/2
func robdd.=:=/2
pred float.=</2
pred int.=</2
pred integer.=</2
pred libs.rat.=</2
pred rational.=</2
func robdd.=</2
pred prolog.=\=/2
func robdd.=\=/2
pred float.>/2
pred int.>/2
pred integer.>/2
pred libs.rat.>/2
pred rational.>/2
pred float.>=/2
pred int.>=/2
pred integer.>=/2
pred libs.rat.>=/2
pred rational.>=/2
func int.>>/2
func integer.>>/2
pred set.TypeSpecOf__pred__contains__[T = var(V_2)]_0_1/2
pred set_ordlist.TypeSpecOf__pred__contains__[T = var(V_2)]_0_1/2
pred set_tree234.TypeSpecOf__pred__contains__[T = var(V_2)]_0_1/2
pred map.TypeSpecOf__pred__det_insert__[K = int]_0_1/4
pred svmap.TypeSpecOf__pred__det_insert__[K = int]_0_1/4
pred map.TypeSpecOf__pred__det_insert__[K = var(V_2)]_0_1/4
pred svmap.TypeSpecOf__pred__det_insert__[K = var(V_2)]_0_1/4
pred map.TypeSpecOf__pred__insert__[K = int]_0_1/4
pred svmap.TypeSpecOf__pred__insert__[K = int]_0_1/4
pred map.TypeSpecOf__pred__insert__[K = var(V_2)]_0_1/4
pred svmap.TypeSpecOf__pred__insert__[K = var(V_2)]_0_1/4
pred list.TypeSpecOf__pred__member__[T = var(V_2)]_0_1/2
pred set.TypeSpecOf__pred__member__[T = var(V_2)]_0_1/2
pred set_ordlist.TypeSpecOf__pred__member__[T = var(V_2)]_0_1/2
pred map.TypeSpecOf__pred__set__[K = var(V_2)]_0_1/4
pred svmap.TypeSpecOf__pred__set__[K = var(V_2)]_0_1/4
pred tree234.TypeSpecOf__pred__set__[K = var(V_2)]_0_1/4
pred map.TypeSpecOf__pred__update__[K = int]_0_1/4
pred svmap.TypeSpecOf__pred__update__[K = int]_0_1/4
pred tree234.TypeSpecOf__pred__update__[K = int]_0_1/4
pred map.TypeSpecOf__pred__update__[K = var(V_2)]_0_1/4
pred svmap.TypeSpecOf__pred__update__[K = var(V_2)]_0_1/4
pred tree234.TypeSpecOf__pred__update__[K = var(V_2)]_0_1/4
pred set_ctree234.TypeSpecOf__pred_or_func__contains__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__contains__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__delete__[T = int]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__delete__[T = int]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__delete__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__delete__[T = var(V_2)]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__delete__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__delete_list__[T = int]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__delete_list__[T = int]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__delete_list__[T = var(V_2)]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__delete_list__[T = var(V_2)]_0_1/2
pred set.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/3
func set.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/3
func set_ctree234.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/2
pred set_ordlist.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/3
pred set_tree234.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/3
func set_tree234.TypeSpecOf__pred_or_func__difference__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__foldl__[T = int]_0_1/4
func sparse_bitset.TypeSpecOf__pred_or_func__foldl__[T = int]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__foldl__[T = var(V_2)]_0_1/4
func sparse_bitset.TypeSpecOf__pred_or_func__foldl__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__foldr__[T = int]_0_1/4
func sparse_bitset.TypeSpecOf__pred_or_func__foldr__[T = int]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__foldr__[T = var(V_2)]_0_1/4
func sparse_bitset.TypeSpecOf__pred_or_func__foldr__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__insert__[T = int]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__insert__[T = int]_0_1/2
pred set.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
func set.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
pred set_ordlist.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
pred set_tree234.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/2
pred svset.TypeSpecOf__pred_or_func__insert__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__insert_list__[T = int]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__insert_list__[T = int]_0_1/2
pred set.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
func set.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
pred set_ordlist.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
pred set_tree234.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
pred sparse_bitset.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
func sparse_bitset.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/2
pred svset.TypeSpecOf__pred_or_func__insert_list__[T = var(V_2)]_0_1/3
pred set.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/3
func set.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/3
func set_ctree234.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/2
pred set_ordlist.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/3
pred set_tree234.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/3
func set_tree234.TypeSpecOf__pred_or_func__intersect__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__list_to_set__[T = int]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__list_to_set__[T = int]_0_1/1
pred set.TypeSpecOf__pred_or_func__list_to_set__[T = var(V_2)]_0_1/2
func set.TypeSpecOf__pred_or_func__list_to_set__[T = var(V_2)]_0_1/1
pred set_ordlist.TypeSpecOf__pred_or_func__list_to_set__[T = var(V_2)]_0_1/2
pred sparse_bitset.TypeSpecOf__pred_or_func__list_to_set__[T = var(V_2)]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__list_to_set__[T = var(V_2)]_0_1/1
pred map.TypeSpecOf__pred_or_func__lookup__[K = int]_0_1/3
func map.TypeSpecOf__pred_or_func__lookup__[K = int]_0_1/2
pred map.TypeSpecOf__pred_or_func__lookup__[K = var(V_2)]_0_1/3
func map.TypeSpecOf__pred_or_func__lookup__[K = var(V_2)]_0_1/2
pred tree234.TypeSpecOf__pred_or_func__lookup__[K = var(V_2)]_0_1/3
pred map.TypeSpecOf__pred_or_func__overlay__[K = var(V_2)]_0_1/3
func map.TypeSpecOf__pred_or_func__overlay__[K = var(V_2)]_0_1/2
pred list.TypeSpecOf__pred_or_func__remove_adjacent_dups__[T = var(V_2)]_0_1/2
func list.TypeSpecOf__pred_or_func__remove_adjacent_dups__[T = var(V_2)]_0_1/1
pred map.TypeSpecOf__pred_or_func__search__[K = int]_0_1/3
func map.TypeSpecOf__pred_or_func__search__[K = int]_0_1/2
pred tree234.TypeSpecOf__pred_or_func__search__[K = int]_0_1/3
pred map.TypeSpecOf__pred_or_func__search__[K = var(V_2)]_0_1/3
func map.TypeSpecOf__pred_or_func__search__[K = var(V_2)]_0_1/2
pred tree234.TypeSpecOf__pred_or_func__search__[K = var(V_2)]_0_1/3
pred map.TypeSpecOf__pred_or_func__select__[K = var(V_2)]_0_1/3
func map.TypeSpecOf__pred_or_func__select__[K = var(V_2)]_0_1/2
pred list.TypeSpecOf__pred_or_func__sort_and_remove_dups__[T = var(V_2)]_0_1/2
func list.TypeSpecOf__pred_or_func__sort_and_remove_dups__[T = var(V_2)]_0_1/1
pred sparse_bitset.TypeSpecOf__pred_or_func__sorted_list_to_set__[T = int]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__sorted_list_to_set__[T = int]_0_1/1
func set_tree234.TypeSpecOf__pred_or_func__sorted_list_to_set__[T = var(V_2)]_0_1/1
pred sparse_bitset.TypeSpecOf__pred_or_func__sorted_list_to_set__[T = var(V_2)]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__sorted_list_to_set__[T = var(V_2)]_0_1/1
pred sparse_bitset.TypeSpecOf__pred_or_func__to_sorted_list__[T = int]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__to_sorted_list__[T = int]_0_1/1
pred sparse_bitset.TypeSpecOf__pred_or_func__to_sorted_list__[T = var(V_2)]_0_1/2
func sparse_bitset.TypeSpecOf__pred_or_func__to_sorted_list__[T = var(V_2)]_0_1/1
pred set.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/3
func set.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/2
pred set_ctree234.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/3
func set_ctree234.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/2
pred set_ordlist.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/3
pred set_tree234.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/3
func set_tree234.TypeSpecOf__pred_or_func__union__[T = var(V_2)]_0_1/2
func int.\/1
func integer.\/1
func int.\//2
func integer.\//2
func float.abs/1
pred int.abs/2
func int.abs/1
func integer.abs/1
func libs.rat.abs/1
func rational.abs/1
pred ll_backend.code_info.acquire_reg/4
pred ll_backend.var_locn.acquire_reg/3
pred multi_map.add/4
func multi_map.add/3
pred relation.add/4
func relation.add/3
pred svmulti_map.add/4
pred svrelation.add/4
pred relation.add_assoc_list/3
func relation.add_assoc_list/2
pred svrelation.add_assoc_list/3
pred hlds.hlds_clauses.add_clause/3
func mode_robdd.implications.add_clause/2
pred check_hlds.abstract_mode_constraints.add_constraint/4
pred check_hlds.abstract_mode_constraints.add_constraint/5
pred eqvclass.add_element/4
pred relation.add_element/4
pred svrelation.add_element/4
pred libs.handle_options.add_error/3
pred parse_tree.prog_io.add_error/3
pred transform_hlds.term_traversal.add_error/5
pred ll_backend.fact_table.add_error_report/3
pred ll_backend.fact_table.add_error_report/4
pred hlds.make_hlds.add_pred.add_new_pred/15
pred transform_hlds.higher_order.add_new_pred/4
pred ll_backend.code_info.add_scalar_static_cell/4
pred ll_backend.global_data.add_scalar_static_cell/4
pred ll_backend.code_info.add_scalar_static_cell_natural_types/4
pred ll_backend.global_data.add_scalar_static_cell_natural_types/4
pred relation.add_values/4
func relation.add_values/3
pred svrelation.add_values/4
pred libs.lp.add_var/4
pred parser.add_var/4
pred ll_backend.code_info.add_vector_static_cell/5
pred ll_backend.global_data.add_vector_static_cell/5
pred solutions.aggregate/4
func solutions.aggregate/3
pred libs.lp.all_cols/2
pred libs.lp_rational.all_cols/2
pred libs.lp.all_cols0/2
pred libs.lp_rational.all_cols0/2
pred multi_map.all_count/2
func multi_map.all_count/1
pred libs.lp.all_rows/2
pred libs.lp_rational.all_rows/2
pred libs.lp.all_rows0/2
pred libs.lp_rational.all_rows0/2
pred transform_hlds.ctgc.structure_sharing.analysis.analyse_scc/6
pred transform_hlds.term_constr_main.analyse_scc/9
func analysis.analysis_name/2
func transform_hlds.exception_analysis.analysis_name/0
func transform_hlds.tabling_analysis.analysis_name/0
func transform_hlds.trailing_analysis.analysis_name/0
func transform_hlds.unused_args.analysis_name/0
pred bool.and/3
func bool.and/2
pred bool.and_list/2
func bool.and_list/1
pred transform_hlds.tabling_analysis.annotate_case/8
pred transform_hlds.trailing_analysis.annotate_case/8
pred transform_hlds.tabling_analysis.annotate_cases/8
pred transform_hlds.trailing_analysis.annotate_cases/8
pred transform_hlds.tabling_analysis.annotate_goal/8
pred transform_hlds.trailing_analysis.annotate_goal/8
pred transform_hlds.tabling_analysis.annotate_goal_2/8
pred transform_hlds.trailing_analysis.annotate_goal_2/9
pred transform_hlds.tabling_analysis.annotate_goal_list/8
pred transform_hlds.trailing_analysis.annotate_goal_list/8
pred transform_hlds.tabling_analysis.annotate_proc/5
pred transform_hlds.trailing_analysis.annotate_proc/5
pred list.append/3
func list.append/2
pred string.append/3
func string.append/2
pred string.append_list/2
func string.append_list/1
pred bimap.apply_forward_map_to_list/3
func bimap.apply_forward_map_to_list/2
pred injection.apply_forward_map_to_list/3
func injection.apply_forward_map_to_list/2
pred term.apply_rec_substitution/3
func term.apply_rec_substitution/2
pred term.apply_rec_substitution_to_list/3
func term.apply_rec_substitution_to_list/2
pred bimap.apply_reverse_map_to_list/3
func bimap.apply_reverse_map_to_list/2
pred injection.apply_reverse_map_to_list/3
func injection.apply_reverse_map_to_list/2
pred term.apply_substitution/3
func term.apply_substitution/2
pred term.apply_substitution_to_list/3
func term.apply_substitution_to_list/2
pred map.apply_to_list/3
func map.apply_to_list/2
pred multi_map.apply_to_list/3
func multi_map.apply_to_list/2
pred term.apply_variable_renaming/3
func term.apply_variable_renaming/2
pred term.apply_variable_renaming_to_list/3
func term.apply_variable_renaming_to_list/2
pred term.apply_variable_renaming_to_var/3
func term.apply_variable_renaming_to_var/2
pred term.apply_variable_renaming_to_vars/3
func term.apply_variable_renaming_to_vars/2
pred deconstruct.arg/4
pred prolog.arg/3
pred io.arg_priority/3
func ops.arg_priority/1
pred array.array_compare/3
func array.array_compare/2
pred ll_backend.code_info.assign_cell_to_var/9
pred ll_backend.var_locn.assign_cell_to_var/12
pred ll_backend.code_info.assign_const_to_var/4
pred ll_backend.var_locn.assign_const_to_var/4
pred ll_backend.code_info.assign_expr_to_var/5
pred ll_backend.var_locn.assign_expr_to_var/5
pred ll_backend.code_info.assign_lval_to_var/5
pred ll_backend.var_locn.assign_lval_to_var/7
pred ll_backend.code_info.assign_var_to_var/4
pred ll_backend.var_locn.assign_var_to_var/4
pred pqueue.assoc_list_to_pqueue/2
func pqueue.assoc_list_to_pqueue/1
pred rbtree.assoc_list_to_rbtree/2
func rbtree.assoc_list_to_rbtree/1
pred tree234.assoc_list_to_tree234/2
func tree234.assoc_list_to_tree234/1
pred check_hlds.abstract_mode_constraints.at_most_one/4
pred check_hlds.mcsolver.at_most_one/3
func mode_robdd.implications.at_most_one_of/2
func mode_robdd.tfeirn.at_most_one_of/2
func robdd.at_most_one_of/1
pred libs.atsort.atsort/6
pred relation.atsort/2
func relation.atsort/1
pred bintree.balance/2
func bintree.balance/1
pred set_bbbtree.balance/5
func integer.base/0
func transform_hlds.accumulator.base/0
pred dir.basename/2
func dir.basename/1
pred libs.lp.between/3
pred libs.lp_rational.between/3
pred io.binary_input_stream_foldl/5
pred io.binary_input_stream_foldl/6
pred io.binary_input_stream_foldl2_io/5
pred io.binary_input_stream_foldl2_io/6
pred io.binary_input_stream_foldl2_io_maybe_stop/5
pred io.binary_input_stream_foldl2_io_maybe_stop/6
pred io.binary_input_stream_foldl_io/4
pred io.binary_input_stream_foldl_io/5
pred io.binary_input_stream_name/3
pred io.binary_input_stream_name/4
pred io.binary_output_stream_name/3
pred io.binary_output_stream_name/4
pred svvarset.bind_var/4
pred varset.bind_var/4
func varset.bind_var/3
pred svvarset.bind_vars/3
func transform_hlds.table_gen.bind_vars/1
pred varset.bind_vars/3
func varset.bind_vars/2
func bitmap.bitmask/1
func version_bitmap.bitmask/1
pred int.bits_per_int/1
func int.bits_per_int/0
func bitmap.bitsmask/1
func version_bitmap.bitsmask/1
pred check_hlds.inst_match.bound_inst_list_is_ground/2
pred check_hlds.inst_match.bound_inst_list_is_ground/3
func libs.lp_rational.bounding_box/2
func libs.polyhedron.bounding_box/2
pred array.bounds/3
pred array2d.bounds/3
pred bt_array.bounds/3
pred version_array2d.bounds/3
pred array.bsearch/4
func array.bsearch/3
pred bt_array.bsearch/4
pred array.bsearch_2/6
pred bt_array.bsearch_2/6
pred check_hlds.modes.build_call/11
pred check_hlds.unify_proc.build_call/6
pred make.util.build_with_module_options/8
pred make.util.build_with_module_options/10
pred make.util.build_with_module_options/11
pred ll_backend.dense_switch.calc_density/3
func ml_backend.ml_simplify_switch.calc_density/2
pred check_hlds.simplify.call_goal/10
pred exception.call_goal/2
pred libs.process_util.call_in_forked_process/4
pred libs.process_util.call_in_forked_process/5
func term_to_xml.can_generate_dtd/2
func term_to_xml.can_generate_dtd/3
pred transform_hlds.loop_inv.cannot_succeed/1
pred transform_hlds.term_traversal.cannot_succeed/2
pred string.capitalize_first/2
func string.capitalize_first/1
pred hash_table.char_double_hash/3
pred version_hash_table.char_double_hash/3
pred string.char_to_string/2
func string.char_to_string/1
pred check_hlds.unique_modes.check_call/7
pred transform_hlds.trailing_analysis.check_call/5
pred check_hlds.det_report.check_determinism/8
pred top_level.mercury_compile.check_determinism/7
pred hlds.make_hlds.make_hlds_passes.check_for_errors/6
pred parser.check_for_errors/5
pred check_hlds.post_typecheck.check_for_indistinguishable_modes/6
pred check_hlds.post_typecheck.check_for_indistinguishable_modes/8
pred recompilation.check.check_functor_ambiguities/5
pred recompilation.check.check_functor_ambiguities/6
pred transform_hlds.deforest.check_improvement/4
pred transform_hlds.deforest.check_improvement/7
pred check_hlds.mode_ordering.check_proc/7
pred check_hlds.unique_modes.check_proc/7
pred check_hlds.stratify.check_stratification/4
pred top_level.mercury_compile.check_stratification/7
pred transform_hlds.exception_analysis.check_type/4
func transform_hlds.exception_analysis.check_type/2
pred transform_hlds.trailing_analysis.check_type/4
func transform_hlds.trailing_analysis.check_type/2
func transform_hlds.exception_analysis.check_type_2/3
func transform_hlds.trailing_analysis.check_type_2/3
func transform_hlds.exception_analysis.check_types/2
func transform_hlds.trailing_analysis.check_types/2
func transform_hlds.exception_analysis.check_user_type/2
func transform_hlds.trailing_analysis.check_user_type/2
pred transform_hlds.exception_analysis.check_vars/6
func transform_hlds.trailing_analysis.check_vars/3
pred list.chunk/3
func list.chunk/2
pred bitmap.clear/3
func bitmap.clear/2
pred version_bitmap.clear/3
func version_bitmap.clear/2
pred robdd.clear_caches/0
pred robdd.clear_caches/2
func bitmap.clear_filler_bits/1
func version_bitmap.clear_filler_bits/1
pred ll_backend.code_info.clear_r1/3
pred ll_backend.var_locn.clear_r1/4
pred relation.cliques/2
func relation.cliques/1
pred ll_backend.code_info.clobber_regs/3
pred ll_backend.var_locn.clobber_regs/3
func libs.rat.cmp/2
func rational.cmp/2
pred term.coerce/2
func term.coerce/1
pred varset.coerce/2
func varset.coerce/1
pred term.coerce_var/2
func term.coerce_var/1
pred term.coerce_var_supply/2
func term.coerce_var_supply/1
pred libs.lp.collect_vars/3
func libs.lp_rational.collect_vars/2
pred hlds.make_hlds.state_var.colon/9
func pprint.colon/0
pred transform_hlds.exception_analysis.combine_individual_proc_results/3
pred transform_hlds.tabling_analysis.combine_individual_proc_results/3
pred transform_hlds.trailing_analysis.combine_individual_proc_results/3
pred transform_hlds.exception_analysis.combine_maybe_analysis_status/3
pred transform_hlds.tabling_analysis.combine_maybe_analysis_status/3
pred transform_hlds.trailing_analysis.combine_maybe_analysis_status/3
pred transform_hlds.exception_analysis.combine_proc_result_maybe_analysis_statuses/2
pred transform_hlds.tabling_analysis.combine_proc_result_maybe_analysis_statuses/2
pred transform_hlds.trailing_analysis.combine_proc_result_maybe_analysis_statuses/2
pred backend_libs.compile_target_code.compile_c_file/6
pred backend_libs.compile_target_code.compile_c_file/7
func make.dependencies.compiled_code_dependencies/0
func make.dependencies.compiled_code_dependencies/1
func bitmap.complement/1
func version_bitmap.complement/1
func bitmap.complement_2/2
func version_bitmap.complement_2/2
pred relation.components/2
func relation.components/1
pred relation.compose/3
func relation.compose/2
func std_util.compose/3
pred list.condense/2
func list.condense/1
func mode_robdd.tfeirn.conj_not_vars/2
func robdd.conj_not_vars/1
pred hlds.quantification.conj_vars/6
func mode_robdd.tfeirn.conj_vars/2
func robdd.conj_vars/1
pred parse_tree.prog_io_util.conjunction_to_list/2
pred parser.conjunction_to_list/2
func cord.cons/2
pred list.cons/3
func list.cons/2
func hlds.hlds_out.cons_id_to_string/1
func ll_backend.prog_rep.cons_id_to_string/1
func hlds.hlds_code_util.cons_id_to_tag/3
func ll_backend.code_info.cons_id_to_tag/3
pred parse_tree.prog_io.constrain_inst_vars_in_mode/2
pred parse_tree.prog_io.constrain_inst_vars_in_mode/3
pred libs.lp_rational.constraint/4
func libs.lp_rational.constraint/3
func construct.construct/3
pred transform_hlds.accumulator.construct/7
pred parse_tree.prog_util.construct_qualified_term/3
pred parse_tree.prog_util.construct_qualified_term/4
func construct.construct_tuple/1
pred hlds.hlds_goal.construct_tuple/3
pred backend_libs.pseudo_type_info.construct_type_info/2
pred check_hlds.polymorphism.construct_type_info/9
pred transform_hlds.size_prof.construct_type_info/9
pred bag.contains/2
pred bintree_set.contains/2
pred map.contains/2
pred multi_map.contains/2
pred rtree.contains/2
pred set.contains/2
pred set_bbbtree.contains/2
pred set_ctree234.contains/2
pred set_ordlist.contains/2
pred set_tree234.contains/2
pred set_unordlist.contains/2
pred sparse_bitset.contains/2
pred bimap.contains_key/2
pred injection.contains_key/2
pred bimap.contains_value/2
pred injection.contains_value/2
pred term.context_file/2
func term.context_file/1
pred term.context_init/1
pred term.context_init/3
func term.context_init/0
func term.context_init/2
pred term.context_line/2
func term.context_line/1
func make.options_file.convert_to_mmc_options/1
func make.options_file.convert_to_mmc_options/2
pred libs.polyhedron.convex_union/4
pred libs.polyhedron.convex_union/5
func libs.polyhedron.convex_union/3
func libs.polyhedron.convex_union/4
pred bimap.coordinates/2
func bimap.coordinates/1
pred array.copy/2
func array.copy/1
func bitmap.copy/1
pred builtin.copy/2
func version_array.copy/1
func version_array2d.copy/1
func version_bitmap.copy/1
pred store.copy_mutvar/4
pred version_store.copy_mutvar/4
pred hlds.inst_graph.corresponding_nodes/5
pred hlds.inst_graph.corresponding_nodes/6
pred bintree.count/2
func bintree.count/1
pred map.count/2
func map.count/1
pred multi_map.count/2
func multi_map.count/1
pred rbtree.count/2
func rbtree.count/1
pred set.count/2
func set.count/1
func set_ctree234.count/1
pred set_ordlist.count/2
func set_ordlist.count/1
func set_tree234.count/1
func sparse_bitset.count/1
pred tree234.count/2
func tree234.count/1
pred bag.count_value/3
func bag.count_value/2
pred hlds.hlds_goal.create_atomic_complicated_unification/6
pred hlds.hlds_goal.create_atomic_complicated_unification/7
pred transform_hlds.loop_inv.create_aux_pred/10
pred transform_hlds.tupling.create_aux_pred/9
pred transform_hlds.untupling.create_aux_pred/12
pred varset.create_name_var_map/2
func varset.create_name_var_map/1
pred transform_hlds.dep_par_conj.create_new_pred/6
pred transform_hlds.higher_order.create_new_pred/6
pred transform_hlds.unused_args.create_new_pred/8
pred transform_hlds.ctgc.datastruct.datastruct_termshift/3
func transform_hlds.ctgc.datastruct.datastruct_termshift/2
pred analysis.debug_msg/3
pred make.util.debug_msg/3
pred deconstruct.deconstruct/5
pred rtti_implementation.deconstruct/5
pred rtti_implementation.deconstruct/8
pred hlds.hlds_pred.define_new_pred/18
pred transform_hlds.pd_info.define_new_pred/6
pred bag.delete/3
func bag.delete/2
pred bintree.delete/3
func bintree.delete/2
pred bintree_set.delete/3
func bintree_set.delete/2
pred hash_table.delete/3
func hash_table.delete/2
pred list.delete/3
pred map.delete/3
func map.delete/2
func mode_robdd.equiv_vars.delete/2
func mode_robdd.implications.delete/2
pred multi_map.delete/3
pred multi_map.delete/4
func multi_map.delete/2
func multi_map.delete/3
pred rbtree.delete/3
func rbtree.delete/2
pred rtree.delete/4
pred set.delete/3
func set.delete/2
pred set_bbbtree.delete/3
func set_bbbtree.delete/2
pred set_ctree234.delete/3
func set_ctree234.delete/2
pred set_ordlist.delete/3
func set_ordlist.delete/2
pred set_tree234.delete/3
func set_tree234.delete/2
pred set_unordlist.delete/3
func set_unordlist.delete/2
pred sparse_bitset.delete/3
func sparse_bitset.delete/2
pred svbag.delete/3
pred svmap.delete/3
pred svmulti_map.delete/3
pred svmulti_map.delete/4
pred svset.delete/3
pred tree234.delete/3
func tree234.delete/2
pred version_hash_table.delete/3
func version_hash_table.delete/2
pred rbtree.delete_2/5
pred rtree.delete_2/7
pred set_tree234.delete_2/4
pred tree234.delete_2/4
pred bag.delete_all/3
func bag.delete_all/2
pred list.delete_all/3
func list.delete_all/2
pred queue.delete_all/3
func queue.delete_all/2
pred svbag.delete_all/3
pred svqueue.delete_all/3
pred list.delete_elems/3
func list.delete_elems/2
pred bimap.delete_key/3
func bimap.delete_key/2
pred injection.delete_key/3
func injection.delete_key/2
pred bimap.delete_keys/3
func bimap.delete_keys/2
pred injection.delete_keys/3
func injection.delete_keys/2
pred bintree_set.delete_list/3
func bintree_set.delete_list/2
pred map.delete_list/3
func map.delete_list/2
pred set.delete_list/3
func set.delete_list/2
pred set_bbbtree.delete_list/3
func set_bbbtree.delete_list/2
pred set_ctree234.delete_list/3
func set_ctree234.delete_list/2
pred set_ordlist.delete_list/3
func set_ordlist.delete_list/2
pred set_tree234.delete_list/3
func set_tree234.delete_list/2
pred set_unordlist.delete_list/3
func set_unordlist.delete_list/2
pred sparse_bitset.delete_list/3
func sparse_bitset.delete_list/2
pred svmap.delete_list/3
pred svset.delete_list/3
pred bimap.delete_value/3
func bimap.delete_value/2
pred injection.delete_value/3
func injection.delete_value/2
pred bimap.delete_values/3
func bimap.delete_values/2
pred injection.delete_values/3
func injection.delete_values/2
pred svvarset.delete_var/3
pred varset.delete_var/3
func varset.delete_var/2
pred svvarset.delete_vars/3
pred varset.delete_vars/3
func varset.delete_vars/2
func libs.rat.denom/1
func rational.denom/1
pred bintree.depth/2
func bintree.depth/1
pred stack.depth/2
func stack.depth/1
func transform_hlds.ctgc.fixpoint_table.description/1
pred transform_hlds.term_constr_errors.description/5
pred transform_hlds.term_errors.description/5
pred deconstruct.det_arg/4
pred prolog.det_arg/3
pred rtti_implementation.det_dynamic_cast/2
pred string.det_dynamic_cast/2
func assoc_list.det_elem/2
func map.det_elem/2
pred bimap.det_from_assoc_list/2
func bimap.det_from_assoc_list/1
pred bimap.det_from_corresponding_lists/3
func bimap.det_from_corresponding_lists/2
pred char.det_from_int/2
func char.det_from_int/1
pred bimap.det_insert/4
func bimap.det_insert/3
pred hash_table.det_insert/4
func hash_table.det_insert/3
pred injection.det_insert/4
func injection.det_insert/3
pred map.det_insert/4
func map.det_insert/3
pred multi_map.det_insert/4
func multi_map.det_insert/3
pred svbimap.det_insert/4
pred svmap.det_insert/4
pred svmulti_map.det_insert/4
pred version_hash_table.det_insert/4
func version_hash_table.det_insert/3
pred bimap.det_insert_from_assoc_list/3
func bimap.det_insert_from_assoc_list/2
pred injection.det_insert_from_assoc_list/3
func injection.det_insert_from_assoc_list/2
pred map.det_insert_from_assoc_list/3
func map.det_insert_from_assoc_list/2
pred svmap.det_insert_from_assoc_list/3
pred bimap.det_insert_from_corresponding_lists/4
func bimap.det_insert_from_corresponding_lists/3
pred injection.det_insert_from_corresponding_lists/4
func injection.det_insert_from_corresponding_lists/3
pred map.det_insert_from_corresponding_lists/4
func map.det_insert_from_corresponding_lists/3
pred svmap.det_insert_from_corresponding_lists/4
pred char.det_int_to_digit/2
func char.det_int_to_digit/1
pred map.det_intersect/4
func map.det_intersect/3
pred list.det_last/2
func list.det_last/1
pred bag.det_remove/3
func bag.det_remove/2
pred map.det_remove/4
pred multi_map.det_remove/4
pred svbag.det_remove/3
pred svmap.det_remove/4
pred svmulti_map.det_remove/4
pred bag.det_remove_list/3
func bag.det_remove_list/2
pred svbag.det_remove_list/3
pred bag.det_remove_set/3
func bag.det_remove_set/2
pred svbag.det_remove_set/3
pred multi_map.det_replace/4
func multi_map.det_replace/3
pred svmulti_map.det_replace/4
pred injection.det_set/4
func injection.det_set/3
pred injection.det_set_from_assoc_list/3
func injection.det_set_from_assoc_list/2
pred injection.det_set_from_corresponding_lists/4
func injection.det_set_from_corresponding_lists/3
pred term.det_term_to_type/2
func term.det_term_to_type/1
pred map.det_transform_value/4
func map.det_transform_value/3
pred map.det_union/4
func map.det_union/3
pred hash_table.det_update/4
func hash_table.det_update/3
pred injection.det_update/4
func injection.det_update/3
pred map.det_update/4
func map.det_update/3
pred multi_map.det_update/4
func multi_map.det_update/3
pred svmap.det_update/4
pred svmulti_map.det_update/4
pred version_hash_table.det_update/4
func version_hash_table.det_update/3
pred check_hlds.cse_detection.detect_cse/4
pred top_level.mercury_compile.detect_cse/6
pred check_hlds.switch_detection.detect_switches/4
pred top_level.mercury_compile.detect_switches/6
func ll_backend.switch_gen.determine_category/2
func ml_backend.ml_switch_gen.determine_category/2
pred transform_hlds.ctgc.structure_reuse.direct.detect_garbage.determine_dead_deconstructions/3
pred transform_hlds.ctgc.structure_reuse.direct.detect_garbage.determine_dead_deconstructions/6
pred relation.dfs/2
pred relation.dfs/3
pred relation.dfs/5
func relation.dfs/1
func relation.dfs/2
pred relation.dfsrev/2
pred relation.dfsrev/3
pred relation.dfsrev/5
func relation.dfsrev/1
func relation.dfsrev/2
pred parse_tree.prog_mode.di_mode/1
func parse_tree.prog_mode.di_mode/0
func bitmap.difference/2
func mode_robdd.equiv_vars.difference/2
func mode_robdd.implications.difference/2
pred set.difference/3
func set.difference/2
pred set_bbbtree.difference/3
func set_bbbtree.difference/2
pred set_ctree234.difference/3
func set_ctree234.difference/2
pred set_ordlist.difference/3
func set_ordlist.difference/2
pred set_tree234.difference/3
func set_tree234.difference/2
pred set_unordlist.difference/3
func set_unordlist.difference/2
pred sparse_bitset.difference/3
func sparse_bitset.difference/2
func version_bitmap.difference/2
pred set_tree234.difference_2/3
pred set_unordlist.difference_2/3
func sparse_bitset.difference_2/2
pred dir.directory_separator/1
func dir.directory_separator/0
pred dir.dirname/2
func dir.dirname/1
pred hlds.quantification.disj_vars/6
func mode_robdd.tfeirn.disj_vars/2
func robdd.disj_vars/1
func int.div/2
func integer.div/2
pred set.divide/4
pred set_ctree234.divide/4
pred set_ordlist.divide/4
pred set_tree234.divide/4
pred set_unordlist.divide/4
pred set_ordlist.divide_2/6
pred set_tree234.divide_2/6
pred set_unordlist.divide_2/6
pred set.divide_by_set/4
pred set_ctree234.divide_by_set/4
pred set_ordlist.divide_by_set/4
pred set_tree234.divide_by_set/4
pred io.do_write_univ/4
pred io.do_write_univ/5
func pprint.doc/1
func pprint.doc/2
pred relation.domain/2
func relation.domain/1
pred float.domain_checks/0
pred int.domain_checks/0
pred math.domain_checks/0
pred hash_table.double_munge/6
pred version_hash_table.double_munge/6
pred transform_hlds.term_constr_data.dump_abstract_scc/4
pred transform_hlds.term_constr_data.dump_abstract_scc/5
func ll_backend.opt_debug.dump_bool/1
func ll_backend.opt_debug.dump_bool/2
func ll_backend.opt_debug.dump_code_addr/1
func ll_backend.opt_debug.dump_code_addr/2
func ll_backend.opt_debug.dump_code_addrs/1
func ll_backend.opt_debug.dump_code_addrs/2
pred check_hlds.mode_constraint_robdd.dump_goal_path_step/3
pred transform_hlds.ctgc.structure_reuse.direct.dump_goal_path_step/3
pred backend_libs.interval.dump_interval_info/3
pred backend_libs.interval.dump_interval_info/4
func ll_backend.opt_debug.dump_label/1
func ll_backend.opt_debug.dump_label/2
func ll_backend.opt_debug.dump_labels/1
func ll_backend.opt_debug.dump_labels/2
func ll_backend.opt_debug.dump_livemap/1
func ll_backend.opt_debug.dump_livemap/2
func ll_backend.opt_debug.dump_livemaplist/1
func ll_backend.opt_debug.dump_livemaplist/2
pred list.duplicate/3
func list.duplicate/2
func list.duplicate/3
pred string.duplicate_char/3
func string.duplicate_char/2
pred hash_table.dynamic_cast_to_array/2
pred pprint.dynamic_cast_to_array/2
pred version_hash_table.dynamic_cast_to_array/2
func array.elem/2
func array2d.elem/3
func assoc_list.elem/2
func bt_array.elem/2
func hash_table.elem/2
func libs.lp_rational.elem/3
func map.elem/2
func string.elem/2
func version_array.elem/2
func version_array2d.elem/3
func version_hash_table.elem/2
func version_store.elem/2
func array.elem :=/3
func array2d.elem :=/4
func bt_array.elem :=/3
func hash_table.elem :=/3
func libs.lp_rational.elem :=/4
func map.elem :=/3
func robdd.elem :=/3
func version_array.elem :=/3
func version_array2d.elem :=/4
func version_hash_table.elem :=/3
func version_store.elem :=/3
pred ll_backend.labelopt.eliminate/6
pred transform_hlds.dead_proc_elim.eliminate/6
pred libs.lp_rational.eliminate_var/8
pred ml_backend.ml_optimize.eliminate_var/8
func cord.empty/0
func libs.polyhedron.empty/0
pred mode_robdd.equiv_vars.empty/1
pred mode_robdd.implications.empty/1
pred set.empty/1
pred set_bbbtree.empty/1
pred set_ctree234.empty/1
pred set_ordlist.empty/1
pred set_tree234.empty/1
pred set_unordlist.empty/1
pred sparse_bitset.empty/1
func version_array.empty/0
pred eqvclass.ensure_corresponding_equivalences/4
func eqvclass.ensure_corresponding_equivalences/3
pred eqvclass.ensure_element/3
func eqvclass.ensure_element/2
pred sveqvclass.ensure_element/3
pred eqvclass.ensure_equivalence/4
func eqvclass.ensure_equivalence/3
pred sveqvclass.ensure_equivalence/4
pred varset.ensure_unique_names/4
func varset.ensure_unique_names/3
pred libs.lp.ensure_zero_obj_coeffs/3
pred libs.lp_rational.ensure_zero_obj_coeffs/3
pred libs.lp_rational.entailed/3
func libs.lp_rational.entailed/3
pred check_hlds.mode_constraint_robdd.enter_lambda_goal/3
pred check_hlds.mode_ordering.enter_lambda_goal/3
func mode_robdd.tfeirn.eq_vars/3
func robdd.eq_vars/2
pred bintree_set.equal/2
pred cord.equal/2
pred queue.equal/2
pred set.equal/2
pred set_bbbtree.equal/2
pred set_ctree234.equal/2
pred set_ordlist.equal/2
pred set_tree234.equal/2
pred set_unordlist.equal/2
pred sparse_bitset.equal/2
pred analysis.equivalent/2
pred check_hlds.abstract_mode_constraints.equivalent/4
pred check_hlds.mcsolver.equivalent/3
pred check_hlds.mcsolver.equivalent/4
pred check_hlds.inst_match.equivalent_cons_ids/2
pred check_hlds.mode_constraints.equivalent_cons_ids/2
pred check_hlds.inst_match.equivalent_sym_names/2
pred check_hlds.mode_constraints.equivalent_sym_names/2
pred parser.error/3
pred require.error/1
pred io.error_message/2
func io.error_message/1
pred backend_libs.c_util.escape_special_char/2
pred ml_backend.ilasm.escape_special_char/2
pred parse_tree.mercury_to_mercury.escape_special_char/2
pred check_hlds.abstract_mode_constraints.exactly_one/4
pred check_hlds.mcsolver.exactly_one/3
func dir.expand/1
func hash_table.expand/1
func version_hash_table.expand/1
pred libs.lp.expand_urs_vars/3
pred libs.lp.expand_urs_vars/4
pred libs.lp.extract_obj_var/4
func libs.lp_rational.extract_obj_var/3
pred libs.lp.extract_obj_var2/3
pred libs.lp_rational.extract_obj_var2/3
pred libs.lp.extract_objective/3
func libs.lp_rational.extract_objective/2
pred check_hlds.polymorphism.extract_type_info/7
pred check_hlds.simplify.extract_type_info/8
pred array.fetch_items/4
func array.fetch_items/3
pred bt_array.fetch_items/4
func bt_array.fetch_items/3
pred list.filter/3
pred list.filter/4
func list.filter/2
pred make.dependencies.filter/9
func mode_robdd.equiv_vars.filter/2
func mode_robdd.implications.filter/2
func set.filter/2
func sparse_bitset.filter/2
pred transform_hlds.constraint.filter_complex_constraints/3
pred transform_hlds.constraint.filter_complex_constraints/5
pred transform_hlds.constraint.filter_dependent_constraints/5
pred transform_hlds.constraint.filter_dependent_constraints/7
pred list.filter_map/3
pred list.filter_map/4
func list.filter_map/2
func set.filter_map/2
func set_bbbtree.filter_map/2
pred set_ctree234.filter_map/3
func set_ctree234.filter_map/2
func set_ordlist.filter_map/2
pred set_tree234.filter_map/3
func set_tree234.filter_map/2
func set_unordlist.filter_map/2
pred set_ctree234.filter_map_func/4
pred set_tree234.filter_map_func/4
pred set_ctree234.filter_map_pred/4
pred set_tree234.filter_map_pred/4
pred check_hlds.check_typeclass.find_cycles/8
func transform_hlds.term_constr_pass2.find_cycles/2
pred graph.find_matching_nodes/3
func graph.find_matching_nodes/2
func hash_table.find_slot/2
func version_hash_table.find_slot/2
func hash_table.find_slot_2/4
func version_hash_table.find_slot_2/4
pred libs.lp_rational.find_target_equality/4
func libs.lp_rational.find_target_equality/2
pred check_hlds.post_typecheck.finish_preds/8
pred check_hlds.post_typecheck.finish_preds/10
pred set_ctree234.fix_2node_t0/5
pred set_tree234.fix_2node_t0/5
pred tree234.fix_2node_t0/6
pred set_ctree234.fix_2node_t1/5
pred set_tree234.fix_2node_t1/5
pred tree234.fix_2node_t1/6
pred set_ctree234.fix_3node_t0/7
pred set_tree234.fix_3node_t0/7
pred tree234.fix_3node_t0/9
pred set_ctree234.fix_3node_t1/7
pred set_tree234.fix_3node_t1/7
pred tree234.fix_3node_t1/9
pred set_ctree234.fix_3node_t2/7
pred set_tree234.fix_3node_t2/7
pred tree234.fix_3node_t2/9
pred set_ctree234.fix_4node_t0/9
pred set_tree234.fix_4node_t0/9
pred tree234.fix_4node_t0/12
pred set_ctree234.fix_4node_t1/9
pred set_tree234.fix_4node_t1/9
pred tree234.fix_4node_t1/12
pred set_ctree234.fix_4node_t2/9
pred set_tree234.fix_4node_t2/9
pred tree234.fix_4node_t2/12
pred set_ctree234.fix_4node_t3/9
pred set_tree234.fix_4node_t3/9
pred tree234.fix_4node_t3/12
pred libs.lp.fix_basis_and_rem_cols/3
pred libs.lp_rational.fix_basis_and_rem_cols/3
pred transform_hlds.tupling.fix_calls_in_cases/9
pred transform_hlds.untupling.fix_calls_in_cases/8
pred transform_hlds.tupling.fix_calls_in_conj/9
pred transform_hlds.untupling.fix_calls_in_conj/8
pred transform_hlds.tupling.fix_calls_in_goal/9
pred transform_hlds.untupling.fix_calls_in_goal/8
pred transform_hlds.tupling.fix_calls_in_goal_list/9
pred transform_hlds.untupling.fix_calls_in_goal_list/8
pred transform_hlds.tupling.fix_calls_in_proc/4
pred transform_hlds.untupling.fix_calls_in_proc/5
pred check_hlds.polymorphism.fixup_pred/3
pred transform_hlds.higher_order.fixup_pred/4
pred libs.tree.flatten/2
func libs.tree.flatten/1
pred bitmap.flip/3
func bitmap.flip/2
pred version_bitmap.flip/3
func version_bitmap.flip/2
func float.float/1
func integer.float/1
pred hash_table.float_double_hash/3
pred version_hash_table.float_double_hash/3
pred string.float_to_string/2
func string.float_to_string/1
pred io.flush_binary_output/2
pred io.flush_binary_output/3
pred io.flush_output/2
pred io.flush_output/3
func hash_table.fold/3
pred rtree.fold/4
pred set.fold/4
func set.fold/3
func set_bbbtree.fold/3
pred set_ctree234.fold/4
func set_ctree234.fold/3
func set_ordlist.fold/3
pred set_tree234.fold/4
func set_tree234.fold/3
func set_unordlist.fold/3
func version_hash_table.fold/3
pred int.fold_down/5
func int.fold_down/4
pred maybe.fold_maybe/4
func maybe.fold_maybe/3
pred int.fold_up/5
func int.fold_up/4
func array.foldl/3
pred bimap.foldl/4
func bimap.foldl/3
func cord.foldl/3
pred libs.tree.foldl/4
pred list.foldl/4
func list.foldl/3
pred map.foldl/4
func map.foldl/3
pred rbtree.foldl/4
func rbtree.foldl/3
pred sparse_bitset.foldl/4
func sparse_bitset.foldl/3
pred string.foldl/4
func string.foldl/3
pred tree234.foldl/4
func tree234.foldl/3
func version_array.foldl/3
pred bimap.foldl2/6
pred dir.foldl2/6
pred list.foldl2/6
pred map.foldl2/6
pred rbtree.foldl2/6
pred sparse_bitset.foldl2/6
pred string.foldl2/6
pred tree234.foldl2/6
pred bimap.foldl3/8
pred list.foldl3/8
pred map.foldl3/8
pred rbtree.foldl3/8
pred tree234.foldl3/8
pred list.foldl4/10
pred map.foldl4/10
pred tree234.foldl4/10
pred string.foldl_substring/6
func string.foldl_substring/5
func array.foldr/3
func cord.foldr/3
pred list.foldr/4
func list.foldr/3
pred sparse_bitset.foldr/4
func sparse_bitset.foldr/3
pred string.foldr/4
func string.foldr/3
func version_array.foldr/3
pred string.foldr_substring/6
func string.foldr_substring/5
func parse_tree.prog_foreign.foreign_import_module_name/1
func parse_tree.prog_foreign.foreign_import_module_name/2
pred make.dependencies.foreign_imports/7
pred make.dependencies.foreign_imports/8
func parse_tree.prog_data.foreign_language/1
pred parse_tree.prog_foreign.foreign_language/1
pred io.format/4
pred io.format/5
pred string.format/3
func string.format/2
func term_io.format_constant/1
func term_io.format_constant/2
func mdbcomp.slice_and_dice.format_float/2
func string.format_float/4
func ll_backend.opt_util.format_proc_label/1
func mdbcomp.slice_and_dice.format_proc_label/1
func bimap.forward_map/1
pred injection.forward_map/2
func injection.forward_map/1
pred bimap.forward_search/3
func bimap.forward_search/2
pred injection.forward_search/3
func injection.forward_search/2
pred bimap.from_assoc_list/2
func bimap.from_assoc_list/1
func hash_table.from_assoc_list/2
pred hlds.instmap.from_assoc_list/2
pred map.from_assoc_list/2
func map.from_assoc_list/1
pred multi_map.from_assoc_list/2
func multi_map.from_assoc_list/1
func pqueue.from_assoc_list/1
func rbtree.from_assoc_list/1
pred relation.from_assoc_list/2
func relation.from_assoc_list/1
pred string.from_char_list/2
func string.from_char_list/1
pred multi_map.from_corresponding_list_lists/3
func multi_map.from_corresponding_list_lists/2
pred assoc_list.from_corresponding_lists/3
func assoc_list.from_corresponding_lists/2
pred bimap.from_corresponding_lists/3
func bimap.from_corresponding_lists/2
pred bintree.from_corresponding_lists/3
func bintree.from_corresponding_lists/2
pred map.from_corresponding_lists/3
func map.from_corresponding_lists/2
pred multi_map.from_corresponding_lists/3
func multi_map.from_corresponding_lists/2
pred bintree.from_corresponding_lists_2/4
pred multi_map.from_corresponding_lists_2/4
pred multi_map.from_flat_assoc_list/2
func multi_map.from_flat_assoc_list/1
pred char.from_int/2
func enum.from_int/1
func string.from_int/1
pred array.from_list/2
func array.from_list/1
pred bag.from_list/2
func bag.from_list/1
pred bintree.from_list/2
func bintree.from_list/1
pred bt_array.from_list/3
func bt_array.from_list/2
func cord.from_list/1
func queue.from_list/1
func set.from_list/1
func set_bbbtree.from_list/1
func set_ordlist.from_list/1
func set_unordlist.from_list/1
func version_array.from_list/1
pred string.from_rev_char_list/2
func string.from_rev_char_list/1
pred bag.from_set/2
func bag.from_set/1
func sparse_bitset.from_set/1
pred map.from_sorted_assoc_list/2
func map.from_sorted_assoc_list/1
pred multi_map.from_sorted_assoc_list/2
func multi_map.from_sorted_assoc_list/1
pred bintree.from_sorted_list/2
func bintree.from_sorted_list/1
func set.from_sorted_list/1
func set_bbbtree.from_sorted_list/1
func set_ordlist.from_sorted_list/1
func set_unordlist.from_sorted_list/1
func analysis.from_string/1
func integer.from_string/1
pred pair.fst/2
func pair.fst/1
func hlds.hlds_out.functor_to_string/4
func hlds.hlds_out.functor_to_string/5
pred gc.garbage_collect/0
pred gc.garbage_collect/2
pred io.gc_init/4
pred top_level.mercury_compile.gc_init/2
func libs.rat.gcd/2
func rational.gcd/2
func libs.rat.gcd_2/2
func rational.gcd_2/2
pred ll_backend.string_switch.gen_hash_slot/15
pred ml_backend.ml_string_switch.gen_hash_slot/9
pred ll_backend.string_switch.gen_hash_slots/15
pred ml_backend.ml_string_switch.gen_hash_slots/10
pred ml_backend.ml_string_switch.generate/9
pred ml_backend.ml_tag_switch.generate/9
pred ll_backend.call_gen.generate_call/8
pred ll_backend.deep_profiling.generate_call/6
pred ll_backend.deep_profiling.generate_call/7
pred ml_backend.add_heap_ops.generate_call/8
pred transform_hlds.table_gen.generate_call/8
pred ll_backend.dense_switch.generate_case/11
pred ml_backend.ml_simplify_switch.generate_case/8
pred ll_backend.dense_switch.generate_cases/12
pred ll_backend.switch_gen.generate_cases/11
pred ml_backend.ml_simplify_switch.generate_cases/8
pred hlds.goal_util.generate_cast/5
pred hlds.goal_util.generate_cast/7
pred ll_backend.proc_gen.generate_code/6
pred ml_backend.mlds_to_managed.generate_code/4
pred top_level.mercury_compile.generate_code/8
pred ll_backend.dense_switch.generate_dense_switch/13
pred ml_backend.ml_simplify_switch.generate_dense_switch/12
pred ml_backend.mlds_to_il.generate_il/5
pred ml_backend.mlds_to_il.generate_il/6
pred ll_backend.code_info.generate_resume_layout/4
pred ll_backend.continuation_info.generate_resume_layout/6
pred ll_backend.code_info.generate_return_live_lvalues/5
pred ll_backend.continuation_info.generate_return_live_lvalues/10
pred hash_table.generic_double_hash/3
pred version_hash_table.generic_double_hash/3
func bitmap.get/2
pred queue.get/3
func robdd.get/2
pred svqueue.get/3
func version_bitmap.get/2
pred libs.lp.get_basis_vars/2
func libs.lp_rational.get_basis_vars/1
pred varset.get_bindings/2
func varset.get_bindings/1
pred transform_hlds.deforest.get_branch_vars_proc/8
pred transform_hlds.pd_util.get_branch_vars_proc/6
pred analysis.get_debug_analysis/1
pred analysis.get_debug_analysis/3
pred parse_tree.modules.get_dependencies/3
pred parse_tree.modules.get_dependencies/5
pred exception.get_determinism/2
pred parse_tree.prog_io.get_determinism/3
pred ll_backend.code_info.get_follow_var_map/2
pred ll_backend.var_locn.get_follow_var_map/2
func make.dependencies.get_foreign_imported_modules/1
func make.dependencies.get_foreign_imported_modules/2
pred queue.get_from_back/3
pred svqueue.get_from_back/3
pred construct.get_functor/5
pred rtti_implementation.get_functor/5
pred construct.get_functor_with_names/6
pred rtti_implementation.get_functor_with_names/6
pred io.get_globals/3
pred ll_backend.code_info.get_globals/2
pred io.get_line_number/3
pred io.get_line_number/4
pred bytecode_backend.bytecode_gen.get_module_info/2
pred ll_backend.code_info.get_module_info/2
pred ll_backend.stack_layout.get_module_info/2
pred mutvar.get_mutvar/2
pred store.get_mutvar/4
pred version_store.get_mutvar/4
pred bytecode_backend.bytecode_gen.get_next_label/3
pred ll_backend.code_info.get_next_label/3
pred ll_backend.code_info.get_next_non_reserved/2
pred ll_backend.var_locn.get_next_non_reserved/2
pred io.get_output_line_number/3
pred io.get_output_line_number/4
pred check_hlds.ordering_mode_constraints.get_position_in_conj/2
func check_hlds.ordering_mode_constraints.get_position_in_conj/1
pred hlds.pred_table.get_pred_id/7
pred ll_backend.code_info.get_pred_id/2
func transform_hlds.ctgc.util.get_pred_id/1
pred transform_hlds.trans_opt.get_pred_id/2
func hlds.hlds_data.get_primary_tag/1
func rtti_implementation.get_primary_tag/1
pred check_hlds.stratify.get_proc_id/2
pred hlds.pred_table.get_proc_id/3
pred ll_backend.code_info.get_proc_id/2
pred hlds.quantification.get_quant_vars/2
pred parse_tree.prog_io.get_quant_vars/6
pred getopt.get_short_option_arg/6
pred getopt_io.get_short_option_arg/6
pred libs.globals.get_source_file_map/2
pred parse_tree.source_file_map.get_source_file_map/3
pred ll_backend.code_info.get_stack_slots/2
pred ll_backend.var_locn.get_stack_slots/2
pred ll_backend.code_info.get_static_cell_info/2
pred ll_backend.stack_layout.get_static_cell_info/2
pred transform_hlds.deforest.get_sub_conj_nonlocals/7
pred transform_hlds.deforest.get_sub_conj_nonlocals/9
pred parser.get_term_context/3
func recompilation.check.get_term_context/1
pred lexer.get_token/4
pred parser.get_token/3
pred parser.get_token/4
pred check_hlds.polymorphism.get_type_info/6
func rtti_implementation.get_type_info/1
func transform_hlds.ctgc.util.get_type_substitution/4
pred transform_hlds.inlining.get_type_substitution/5
pred hlds.quantification.get_updated_fields/3
pred hlds.quantification.get_updated_fields/4
pred check_hlds.mode_constraints.get_var/4
pred check_hlds.mode_constraints.get_var/5
pred hlds.quantification.get_varset/2
pred libs.lp.get_varset/3
pred ll_backend.code_info.get_varset/2
pred ll_backend.var_locn.get_varset/2
pred hlds.quantification.get_vartypes/2
pred ll_backend.var_locn.get_vartypes/2
pred hlds.goal_form.goal_can_loop_or_throw/1
pred hlds.goal_form.goal_can_loop_or_throw/2
pred hlds.goal_form.goal_can_loop_or_throw/6
pred hlds.goal_form.goal_can_throw/2
pred hlds.goal_form.goal_can_throw/6
pred hlds.goal_form.goal_cannot_loop_or_throw/1
pred hlds.goal_form.goal_cannot_loop_or_throw/2
pred transform_hlds.intermod.goal_contains_one_branched_goal/1
pred transform_hlds.intermod.goal_contains_one_branched_goal/2
pred hlds.hlds_goal.goal_info_init/1
pred hlds.hlds_goal.goal_info_init/2
pred hlds.hlds_goal.goal_info_init/5
pred hlds.hlds_goal.goal_info_init/6
pred hlds.hlds_goal.goal_is_atomic/1
func hlds.hlds_goal.goal_is_atomic/1
pred hlds.goal_form.goal_list_may_allocate_heap/1
pred hlds.goal_form.goal_list_may_allocate_heap/2
pred ll_backend.code_util.goal_may_alloc_temp_frame/1
pred ll_backend.code_util.goal_may_alloc_temp_frame/2
pred hlds.goal_form.goal_may_allocate_heap/1
pred hlds.goal_form.goal_may_allocate_heap/2
func check_hlds.mode_constraints.goal_path/1
func check_hlds.mode_constraints.goal_path/2
pred transform_hlds.goal_store.goal_store_init/1
func transform_hlds.goal_store.goal_store_init/0
pred hlds.goal_util.goal_vars_2/3
pred hlds.quantification.goal_vars_2/6
pred hlds.goal_util.goal_vars_2_shorthand/3
pred hlds.quantification.goal_vars_2_shorthand/6
pred transform_hlds.intermod.grab_optfiles/5
pred transform_hlds.trans_opt.grab_optfiles/6
func ml_backend.add_heap_ops.ground_inst/0
func parse_tree.prog_mode.ground_inst/0
func transform_hlds.complexity.ground_vars/1
func transform_hlds.table_gen.ground_vars/1
pred group.group/3
func group.group/2
func pprint.group/1
pred group.group_key/3
func group.group_key/2
pred group.group_keys/2
func group.group_keys/1
pred getopt.handle_long_option/13
pred getopt_io.handle_long_option/15
pred getopt.handle_short_options/10
pred getopt_io.handle_short_options/12
func float.hash/1
pred string.hash/2
func string.hash/1
func integer.head/1
func list.head/1
pred cord.head_tail/3
func integer.head_tail/1
pred io.ignore_whitespace/3
pred io.ignore_whitespace/4
pred backend_libs.compile_target_code.il_assemble/6
pred backend_libs.compile_target_code.il_assemble/7
func mode_robdd.implications.imp_vars/3
func mode_robdd.tfeirn.imp_vars/3
func robdd.imp_vars/2
pred hlds.quantification.implicitly_quantify_clause_body/10
pred hlds.quantification.implicitly_quantify_clause_body/11
pred hlds.quantification.implicitly_quantify_goal/4
pred hlds.quantification.implicitly_quantify_goal/10
pred hlds.quantification.implicitly_quantify_goal/11
pred hlds.quantification.implicitly_quantify_goal_2/5
pred hlds.quantification.implicitly_quantify_goal_2/11
pred transform_hlds.intermod.import_status_to_write/1
func transform_hlds.intermod.import_status_to_write/1
pred array.in_bounds/2
pred array2d.in_bounds/3
pred bt_array.in_bounds/2
pred version_array2d.in_bounds/3
pred parse_tree.prog_mode.in_mode/1
func parse_tree.prog_mode.in_mode/0
func parse_tree.prog_mode.in_mode/1
pred bitmap.in_range/2
pred version_bitmap.in_range/2
pred ml_backend.mlds_to_java.indent_line/3
pred ml_backend.mlds_to_java.indent_line/4
pred transform_hlds.term_constr_data.indent_line/3
pred libs.lp.index/4
pred string.index/3
pred list.index0_det/3
func list.index0_det/2
pred list.index1_det/3
func list.index1_det/2
pred string.index_det/3
func string.index_det/2
pred transform_hlds.term_constr_errors.indirect_error/1
pred transform_hlds.term_errors.indirect_error/1
pred array.init/3
func array.init/2
pred bag.init/1
func bag.init/0
pred bimap.init/1
func bimap.init/0
pred bintree.init/1
pred bintree_set.init/1
func bintree_set.init/0
pred bt_array.init/4
func bt_array.init/3
func check_hlds.abstract_mode_constraints.init/0
pred counter.init/2
func counter.init/1
pred eqvclass.init/1
func eqvclass.init/0
pred graph.init/1
func graph.init/0
pred group.init/1
func group.init/0
pred hlds.inst_graph.init/2
pred hlds.quantification.init/6
pred injection.init/1
func injection.init/0
pred map.init/1
func map.init/0
pred multi_map.init/1
func multi_map.init/0
pred pqueue.init/1
func pqueue.init/0
pred queue.init/1
func queue.init/0
pred random.init/2
pred rbtree.init/1
func rbtree.init/0
pred relation.init/1
func relation.init/0
func rtree.init/0
pred set.init/1
func set.init/0
pred set_bbbtree.init/1
func set_bbbtree.init/0
func set_ctree234.init/0
pred set_ordlist.init/1
func set_ordlist.init/0
func set_tree234.init/0
pred set_unordlist.init/1
func set_unordlist.init/0
pred sparse_bitset.init/1
func sparse_bitset.init/0
pred stack.init/1
func stack.init/0
pred tree234.init/1
func tree234.init/0
pred varset.init/1
func varset.init/0
func version_array.init/2
func version_array2d.init/3
func recompilation.init_item_id_set/1
func recompilation.init_item_id_set/3
pred getopt.init_option_table/2
pred getopt_io.init_option_table/2
pred getopt.init_option_table_multi/2
pred getopt_io.init_option_table_multi/2
pred io.init_state/2
pred ll_backend.var_locn.init_state/8
pred parser.init_state/4
pred libs.lp.init_tableau/5
func libs.lp_rational.init_tableau/3
pred term.init_var_supply/1
func term.init_var_supply/0
func bitmap.initializer/1
func version_bitmap.initializer/1
pred io.input_stream_foldl/5
pred io.input_stream_foldl/6
pred io.input_stream_foldl2_io/5
pred io.input_stream_foldl2_io/6
pred io.input_stream_foldl2_io_maybe_stop/5
pred io.input_stream_foldl2_io_maybe_stop/6
pred io.input_stream_foldl_io/4
pred io.input_stream_foldl_io/5
pred io.input_stream_name/3
pred io.input_stream_name/4
pred bag.insert/3
func bag.insert/2
pred bimap.insert/4
func bimap.insert/3
pred bintree.insert/4
pred bintree_set.insert/3
func bintree_set.insert/2
pred group.insert/3
func group.insert/2
pred injection.insert/4
func injection.insert/3
pred list.insert/3
pred map.insert/4
func map.insert/3
pred multi_map.insert/4
pred pqueue.insert/4
func pqueue.insert/3
pred rbtree.insert/4
func robdd.insert/2
pred rtree.insert/4
func rtree.insert/3
pred set.insert/3
func set.insert/2
pred set_bbbtree.insert/3
func set_bbbtree.insert/2
pred set_ctree234.insert/3
func set_ctree234.insert/2
pred set_ordlist.insert/3
func set_ordlist.insert/2
pred set_tree234.insert/3
func set_tree234.insert/2
pred set_unordlist.insert/3
func set_unordlist.insert/2
pred sparse_bitset.insert/3
func sparse_bitset.insert/2
pred svbag.insert/3
pred svbimap.insert/4
pred svmap.insert/4
pred svmulti_map.insert/4
pred svset.insert/3
pred tree234.insert/4
pred set_ctree234.insert2/4
pred set_tree234.insert2/3
pred tree234.insert2/4
pred set_ctree234.insert3/4
pred set_tree234.insert3/3
pred tree234.insert3/4
pred pqueue.insert_2/6
pred rbtree.insert_2/4
pred rtree.insert_2/4
func sparse_bitset.insert_2/2
pred rbtree.insert_duplicate/4
func rbtree.insert_duplicate/3
pred bimap.insert_from_assoc_list/3
func bimap.insert_from_assoc_list/2
pred injection.insert_from_assoc_list/3
func injection.insert_from_assoc_list/2
pred injection.insert_from_corresponding_lists/4
func injection.insert_from_corresponding_lists/3
pred array.insert_items/4
pred bt_array.insert_items/4
pred bag.insert_list/3
func bag.insert_list/2
pred bintree_set.insert_list/3
func bintree_set.insert_list/2
pred set.insert_list/3
func set.insert_list/2
pred set_bbbtree.insert_list/3
func set_bbbtree.insert_list/2
pred set_ctree234.insert_list/3
func set_ctree234.insert_list/2
pred set_ordlist.insert_list/3
func set_ordlist.insert_list/2
pred set_tree234.insert_list/3
func set_tree234.insert_list/2
pred set_unordlist.insert_list/3
func set_unordlist.insert_list/2
pred sparse_bitset.insert_list/3
func sparse_bitset.insert_list/2
pred svbag.insert_list/3
pred svset.insert_list/3
pred bag.insert_set/3
func bag.insert_set/2
pred svbag.insert_set/3
pred check_hlds.inst_match.inst_is_ground/2
pred check_hlds.inst_match.inst_is_ground/3
pred check_hlds.inst_match.inst_list_is_ground/2
pred check_hlds.inst_match.inst_list_is_ground/3
pred transform_hlds.pd_util.inst_list_size/3
pred transform_hlds.pd_util.inst_list_size/5
pred check_hlds.inst_match.inst_matches_final/3
pred check_hlds.inst_match.inst_matches_final/4
pred check_hlds.inst_match.inst_matches_initial/4
pred check_hlds.inst_match.inst_matches_initial/7
pred check_hlds.inst_match.inst_matches_initial_no_implied_modes/4
pred check_hlds.inst_match.inst_matches_initial_no_implied_modes/7
func hlds.hlds_out.inst_to_term/1
func hlds.hlds_out.inst_to_term/2
pred parse_tree.prog_io.inst_var_constraints_are_consistent_in_modes/1
pred parse_tree.prog_io.inst_var_constraints_are_consistent_in_modes/3
pred ll_backend.jumpopt.instr_list/16
pred ll_backend.labelopt.instr_list/4
pred hash_table.int_double_hash/3
pred version_hash_table.int_double_hash/3
func bitmap.int_offset/1
func version_bitmap.int_offset/1
pred string.int_to_base_string/3
func string.int_to_base_string/2
pred backend_libs.bytecode_data.int_to_byte_list/2
pred backend_libs.bytecode_data.int_to_byte_list/3
pred string.int_to_string/2
func string.int_to_string/1
pred bag.intersect/2
pred bag.intersect/3
func bag.intersect/2
pred bintree_set.intersect/3
func bintree_set.intersect/2
func bitmap.intersect/2
pred map.intersect/4
func map.intersect/3
func mode_robdd.implications.intersect/2
pred set.intersect/3
func set.intersect/2
pred set_bbbtree.intersect/3
func set_bbbtree.intersect/2
pred set_ctree234.intersect/3
func set_ctree234.intersect/2
pred set_ordlist.intersect/3
func set_ordlist.intersect/2
pred set_tree234.intersect/3
func set_tree234.intersect/2
pred set_unordlist.intersect/3
func set_unordlist.intersect/2
pred sparse_bitset.intersect/3
func sparse_bitset.intersect/2
func version_bitmap.intersect/2
pred bag.intersect_2/4
pred map.intersect_2/5
pred set_tree234.intersect_2/4
pred set_unordlist.intersect_2/4
func sparse_bitset.intersect_2/2
func set.intersect_list/1
func set_bbbtree.intersect_list/1
func set_ctree234.intersect_list/1
func set_ordlist.intersect_list/1
func set_tree234.intersect_list/1
func set_unordlist.intersect_list/1
pred libs.polyhedron.intersection/3
func libs.polyhedron.intersection/2
func robdd.intersection/2
pred check_hlds.clause_to_proc.introduce_exists_casts_pred/4
pred check_hlds.polymorphism.introduce_exists_casts_pred/5
pred relation.inverse/2
func relation.inverse/1
pred map.inverse_search/3
pred multi_map.inverse_search/3
pred hlds.passes_aux.invoke_system_command/6
pred hlds.passes_aux.invoke_system_command/7
pred char.is_alnum_or_underscore/1
pred string.is_alnum_or_underscore/1
pred char.is_alpha/1
pred string.is_alpha/1
pred char.is_alpha_or_underscore/1
pred string.is_alpha_or_underscore/1
pred bitmap.is_clear/2
pred version_bitmap.is_clear/2
pred ll_backend.dense_switch.is_dense_switch/8
pred ml_backend.ml_simplify_switch.is_dense_switch/2
pred bag.is_empty/1
pred bimap.is_empty/1
pred injection.is_empty/1
pred libs.polyhedron.is_empty/1
pred libs.tree.is_empty/1
func libs.tree.is_empty/1
pred list.is_empty/1
pred map.is_empty/1
pred multi_map.is_empty/1
pred queue.is_empty/1
pred rbtree.is_empty/1
pred rtree.is_empty/1
pred stack.is_empty/1
pred tree234.is_empty/1
pred varset.is_empty/1
pred check_hlds.type_util.is_existq_cons/3
pred check_hlds.type_util.is_existq_cons/4
pred queue.is_full/1
pred stack.is_full/1
pred term.is_ground/1
pred term.is_ground/2
pred term.is_ground_2/1
pred term.is_ground_2/2
pred bintree_set.is_member/2
pred eqvclass.is_member/2
pred set.is_member/3
pred set_bbbtree.is_member/3
pred set_ctree234.is_member/3
func set_ctree234.is_member/2
pred set_ordlist.is_member/3
pred set_tree234.is_member/3
func set_tree234.is_member/2
pred set_unordlist.is_member/3
pred parse_tree.mercury_to_mercury.is_mercury_punctuation_char/1
pred term_io.is_mercury_punctuation_char/1
pred libs.rat.is_negative/1
pred rational.is_negative/1
pred bitmap.is_set/2
pred version_bitmap.is_set/2
pred transform_hlds.deforest.is_simple_goal/1
pred transform_hlds.inlining.is_simple_goal/2
pred libs.rat.is_zero/1
pred rational.is_zero/1
pred group.key_group/3
func group.key_group/2
pred assoc_list.keys/2
func assoc_list.keys/1
pred bintree.keys/2
func bintree.keys/1
pred injection.keys/2
func injection.keys/1
pred map.keys/2
func map.keys/1
pred multi_map.keys/2
func multi_map.keys/1
pred rbtree.keys/2
func rbtree.keys/1
pred tree234.keys/2
func tree234.keys/1
pred bintree.keys_2/3
pred tree234.keys_2/3
pred mode_robdd.equiv_vars.label/5
func pprint.label/2
pred mode_robdd.tfeirn.labelling/4
pred robdd.labelling/4
pred mode_robdd.tfeirn.labelling_2/4
pred robdd.labelling_2/6
func io.lambda_array_opt_188/3
func pprint.lambda_array_opt_188/3
func string.lambda_array_opt_188/3
func term.lambda_array_opt_188/3
pred construct.lambda_list_opt_178/5
pred cord.lambda_list_opt_178/5
pred dir.lambda_list_opt_178/5
pred exception.lambda_list_opt_178/5
pred multi_map.lambda_list_opt_178/5
pred pprint.lambda_list_opt_178/5
pred relation.lambda_list_opt_178/5
pred robdd.lambda_list_opt_178/5
pred set.lambda_list_opt_178/5
pred set_bbbtree.lambda_list_opt_178/5
pred set_ordlist.lambda_list_opt_178/5
pred set_unordlist.lambda_list_opt_178/5
pred string.lambda_list_opt_178/5
pred term.lambda_list_opt_178/5
pred term_to_xml.lambda_list_opt_178/5
pred cord.lambda_list_opt_283/6
pred multi_map.lambda_list_opt_283/6
pred relation.lambda_list_opt_283/6
pred robdd.lambda_list_opt_283/6
pred set.lambda_list_opt_283/6
pred set_bbbtree.lambda_list_opt_283/6
pred set_ordlist.lambda_list_opt_283/6
pred set_unordlist.lambda_list_opt_283/6
pred string.lambda_list_opt_283/6
pred set.lambda_list_opt_410/5
pred set_bbbtree.lambda_list_opt_410/5
pred set_ordlist.lambda_list_opt_410/5
pred set_unordlist.lambda_list_opt_410/5
pred bimap.lambda_map_opt_176/8
pred injection.lambda_map_opt_176/8
pred multi_map.lambda_map_opt_176/8
pred robdd.lambda_map_opt_176/8
func pprint.lambda_sparse_bitset_opt_118/3
func relation.lambda_sparse_bitset_opt_118/3
func robdd.lambda_sparse_bitset_opt_118/3
pred pprint.lambda_sparse_bitset_opt_227/6
pred relation.lambda_sparse_bitset_opt_227/6
pred robdd.lambda_sparse_bitset_opt_227/6
pred hash_table.lambda_string_opt_445/5
pred term_io.lambda_string_opt_445/5
pred version_hash_table.lambda_string_opt_445/5
pred getopt_io.lambda_string_opt_521/2
pred pprint.lambda_string_opt_521/2
pred getopt_io.lambda_string_opt_775/2
pred pprint.lambda_string_opt_775/2
pred group.largest_group_key/2
func group.largest_group_key/1
func libs.rat.lcm/2
func rational.lcm/2
pred bag.least_upper_bound/3
func bag.least_upper_bound/2
pred check_hlds.mode_constraint_robdd.leave_lambda_goal/2
pred check_hlds.mode_ordering.leave_lambda_goal/2
pred string.left/3
func string.left/2
func cord.length/1
func integer.length/1
pred list.length/2
func list.length/1
pred queue.length/2
func queue.length/1
pred string.length/2
func string.length/1
func cord.list/1
func version_array.list/1
pred queue.list_to_queue/2
func queue.list_to_queue/1
pred bintree_set.list_to_set/2
func bintree_set.list_to_set/1
pred set.list_to_set/2
func set.list_to_set/1
pred set_bbbtree.list_to_set/2
func set_bbbtree.list_to_set/1
func set_ctree234.list_to_set/1
pred set_ordlist.list_to_set/2
func set_ordlist.list_to_set/1
func set_tree234.list_to_set/1
pred set_unordlist.list_to_set/2
func set_unordlist.list_to_set/1
pred sparse_bitset.list_to_set/2
func sparse_bitset.list_to_set/1
pred set_tree234.list_to_set_2/3
func sparse_bitset.list_to_set_2/2
func array2d.lists/1
func version_array2d.lists/1
func array2d.lists_2/6
func version_array2d.lists_2/6
pred ll_backend.code_info.lock_regs/4
pred ll_backend.var_locn.lock_regs/4
pred int.log2/2
func int.log2/1
func math.log2/1
pred int.log2_2/3
func math.log2_2/1
pred array.lookup/3
func array.lookup/2
pred bimap.lookup/3
func bimap.lookup/2
pred bintree.lookup/3
func bintree.lookup/2
pred bt_array.lookup/3
func bt_array.lookup/2
func hash_table.lookup/2
pred injection.lookup/3
func injection.lookup/2
pred map.lookup/3
func map.lookup/2
pred multi_map.lookup/3
func multi_map.lookup/2
pred rbtree.lookup/3
func rbtree.lookup/2
pred relation.lookup/3
pred tree234.lookup/3
func tree234.lookup/2
func version_array.lookup/2
func version_hash_table.lookup/2
func version_store.lookup/2
pred getopt.lookup_accumulating_option/3
func getopt.lookup_accumulating_option/2
pred getopt_io.lookup_accumulating_option/3
func getopt_io.lookup_accumulating_option/2
pred libs.globals.lookup_accumulating_option/3
pred getopt.lookup_bool_option/3
func getopt.lookup_bool_option/2
pred getopt_io.lookup_bool_option/3
func getopt_io.lookup_bool_option/2
pred libs.globals.lookup_bool_option/3
pred relation.lookup_element/3
func relation.lookup_element/2
pred relation.lookup_from/3
func relation.lookup_from/2
pred getopt.lookup_int_option/3
func getopt.lookup_int_option/2
pred getopt_io.lookup_int_option/3
func getopt_io.lookup_int_option/2
pred libs.globals.lookup_int_option/3
pred relation.lookup_key/3
func relation.lookup_key/2
pred relation.lookup_key_set_from/3
func relation.lookup_key_set_from/2
pred relation.lookup_key_set_to/3
func relation.lookup_key_set_to/2
pred getopt.lookup_maybe_int_option/3
func getopt.lookup_maybe_int_option/2
pred getopt_io.lookup_maybe_int_option/3
func getopt_io.lookup_maybe_int_option/2
pred getopt.lookup_maybe_string_option/3
func getopt.lookup_maybe_string_option/2
pred getopt_io.lookup_maybe_string_option/3
func getopt_io.lookup_maybe_string_option/2
pred libs.globals.lookup_maybe_string_option/3
func make.program_target.lookup_module_imports/2
func parse_tree.modules.lookup_module_imports/2
pred varset.lookup_name/3
pred varset.lookup_name/4
func varset.lookup_name/2
func varset.lookup_name/3
pred analysis.lookup_results/7
pred analysis.lookup_results/8
pred getopt.lookup_string_option/3
func getopt.lookup_string_option/2
pred getopt_io.lookup_string_option/3
func getopt_io.lookup_string_option/2
pred libs.globals.lookup_string_option/3
pred relation.lookup_to/3
func relation.lookup_to/2
pred make.options_file.lookup_variable_words/5
pred make.options_file.lookup_variable_words/6
pred hlds.instmap.lookup_vars/3
pred varset.lookup_vars/2
func varset.lookup_vars/1
pred bintree.lower_bound_lookup/4
pred map.lower_bound_lookup/4
pred rbtree.lower_bound_lookup/4
pred tree234.lower_bound_lookup/4
pred bintree.lower_bound_search/4
pred map.lower_bound_search/4
pred rbtree.lower_bound_search/4
pred tree234.lower_bound_search/4
pred libs.lp.lp_info_init/3
func libs.lp_rational.lp_info_init/1
func string.lstrip/1
func string.lstrip/2
pred top_level.main/2
pred top_level.mercury_compile.main/3
pred hlds.make_hlds.qual_info.make_atomic_unification/8
pred hlds.make_hlds.qual_info.make_atomic_unification/9
pred array.make_empty_array/1
func array.make_empty_array/0
pred bt_array.make_empty_array/2
func bt_array.make_empty_array/1
func ll_backend.code_info.make_entry_label/5
pred ll_backend.code_util.make_entry_label/5
pred io.make_err_msg/4
pred io.make_err_msg/5
pred ll_backend.rtti_out.make_exist_tc_constr_id/5
pred ml_backend.rtti_to_mlds.make_exist_tc_constr_id/5
pred check_hlds.polymorphism.make_fresh_vars/6
pred check_hlds.unify_proc.make_fresh_vars/5
pred backend_libs.compile_target_code.make_init_obj_file/6
pred backend_libs.compile_target_code.make_init_obj_file/7
pred backend_libs.interval.make_inserted_goal/7
pred backend_libs.interval.make_inserted_goal/9
pred parse_tree.modules.make_interface/7
pred top_level.mercury_compile.make_interface/6
pred ll_backend.code_util.make_internal_label/5
func ll_backend.optimize.make_internal_label/2
pred make.program_target.make_misc_target/6
pred make.program_target.make_misc_target/7
pred transform_hlds.dep_par_conj.make_new_pred_info/5
pred transform_hlds.unused_args.make_new_pred_info/6
pred transform_hlds.ctgc.structure_sharing.analysis.make_opt_int/3
pred transform_hlds.tabling_analysis.make_opt_int/3
pred transform_hlds.term_constr_main.make_opt_int/4
pred transform_hlds.trailing_analysis.make_opt_int/3
pred parse_tree.modules.make_private_interface/7
pred top_level.mercury_compile.make_private_interface/6
pred make.util.make_remove_file/5
pred make.util.make_remove_file/6
pred make.util.make_remove_target_file/5
pred make.util.make_remove_target_file/6
func backend_libs.rtti.make_rtti_proc_label/3
pred backend_libs.type_ctor_info.make_rtti_proc_label/3
pred parse_tree.modules.make_short_interface/5
pred top_level.mercury_compile.make_short_interface/6
func set.make_singleton_set/1
func set_bbbtree.make_singleton_set/1
func set_ctree234.make_singleton_set/1
func set_ordlist.make_singleton_set/1
func set_tree234.make_singleton_set/1
func set_unordlist.make_singleton_set/1
func sparse_bitset.make_singleton_set/1
pred transform_hlds.term_constr_util.make_size_var_map/3
pred transform_hlds.term_constr_util.make_size_var_map/4
pred parse_tree.prog_mode.make_std_mode/3
func parse_tree.prog_mode.make_std_mode/2
pred io.make_temp/3
pred io.make_temp/5
pred parse_tree.prog_io.make_type/2
func type_desc.make_type/2
pred check_hlds.polymorphism.make_type_info_var/6
pred transform_hlds.complexity.make_type_info_var/9
pred check_hlds.polymorphism.make_type_info_vars/6
pred check_hlds.simplify.make_type_info_vars/5
pred check_hlds.prop_mode_constraints.make_unifications/10
pred hlds.hhf.make_unifications/7
pred ml_backend.mlds_to_il.mangle_dataname/2
func ml_backend.mlds_to_il.mangle_dataname/1
pred array.map/3
func array.map/2
func cord.map/2
pred libs.tree.map/3
func libs.tree.map/2
pred list.map/3
func list.map/2
func set.map/2
func set_bbbtree.map/2
pred set_ctree234.map/3
func set_ctree234.map/2
func set_ordlist.map/2
pred set_tree234.map/3
func set_tree234.map/2
func set_unordlist.map/2
pred libs.tree.map_foldl/5
pred list.map_foldl/5
pred map.map_foldl/5
pred tree234.map_foldl/5
pred libs.tree.map_foldl2/7
pred list.map_foldl2/7
pred map.map_foldl2/7
pred tree234.map_foldl2/7
pred set_ctree234.map_func/4
pred set_tree234.map_func/4
pred bimap.map_keys/3
func bimap.map_keys/2
pred injection.map_keys/3
func injection.map_keys/2
pred maybe.map_maybe/3
func maybe.map_maybe/2
pred set_ctree234.map_pred/4
pred set_tree234.map_pred/4
func assoc_list.map_values/2
pred bimap.map_values/3
func bimap.map_values/2
pred injection.map_values/3
func injection.map_values/2
pred map.map_values/3
func map.map_values/2
pred rbtree.map_values/3
func rbtree.map_values/2
pred rtree.map_values/3
pred tree234.map_values/3
func tree234.map_values/2
pred bimap.map_values_2/4
pred rtree.map_values_2/3
pred rtree.map_values_2/4
pred ll_backend.peephole.match/5
pred ml_backend.il_peephole.match/4
pred ll_backend.code_info.materialize_vars_in_lval/5
pred ll_backend.var_locn.materialize_vars_in_lval/6
pred ll_backend.var_locn.materialize_vars_in_lval/7
pred array.max/2
func array.max/1
pred bt_array.max/2
func bt_array.max/1
func float.max/0
func float.max/2
pred int.max/3
func int.max/2
func version_array.max/1
pred char.max_char_value/1
func char.max_char_value/0
pred int.max_int/1
func int.max_int/0
func map.max_key/1
func tree234.max_key/1
pred ll_backend.code_info.max_reg_in_use/2
pred ll_backend.var_locn.max_reg_in_use/2
pred ll_backend.stack_opt.may_have_more_successors/1
pred ll_backend.stack_opt.may_have_more_successors/2
pred ll_backend.stack_opt.may_have_no_successor/1
pred ll_backend.stack_opt.may_have_no_successor/2
pred ll_backend.stack_opt.may_have_one_successor/1
pred ll_backend.stack_opt.may_have_one_successor/2
pred transform_hlds.exception_analysis.maybe_analysis_status/2
pred transform_hlds.tabling_analysis.maybe_analysis_status/2
pred transform_hlds.trailing_analysis.maybe_analysis_status/2
func libs.timestamp.maybe_dst_to_int/1
func time.maybe_dst_to_int/1
pred make.util.maybe_make_target_message/3
pred make.util.maybe_make_target_message/4
pred backend_libs.compile_target_code.maybe_pic_object_file_extension/3
pred backend_libs.compile_target_code.maybe_pic_object_file_extension/4
pred ll_backend.liveness.maybe_write_progress_message/8
pred ll_backend.stack_opt.maybe_write_progress_message/7
pred parse_tree.prog_out.maybe_write_string/4
pred transform_hlds.term_constr_util.maybe_write_string/3
pred transform_hlds.term_constr_util.maybe_write_trace/3
pred transform_hlds.term_constr_util.maybe_write_trace/4
pred bintree_set.member/2
pred cord.member/2
pred list.member/2
pred list.member/3
pred map.member/3
pred multi_map.member/3
pred rbtree.member/3
pred set.member/2
pred set_bbbtree.member/2
pred set_ordlist.member/2
pred set_tree234.member/2
pred set_unordlist.member/2
pred sparse_bitset.member/2
pred tree234.member/3
func parse_tree.mercury_to_mercury.mercury_bracketed_sym_name_to_string/1
func parse_tree.mercury_to_mercury.mercury_bracketed_sym_name_to_string/2
func parse_tree.mercury_to_mercury.mercury_escape_char/1
func term_io.mercury_escape_char/1
pred parse_tree.mercury_to_mercury.mercury_format_bracketed_sym_name/3
pred parse_tree.mercury_to_mercury.mercury_format_bracketed_sym_name/4
pred parse_tree.mercury_to_mercury.mercury_format_sym_name/3
pred parse_tree.mercury_to_mercury.mercury_format_sym_name/4
pred parse_tree.mercury_to_mercury.mercury_format_term/5
pred parse_tree.mercury_to_mercury.mercury_format_term/6
pred parse_tree.mercury_to_mercury.mercury_output_bracketed_sym_name/3
pred parse_tree.mercury_to_mercury.mercury_output_bracketed_sym_name/4
pred parse_tree.mercury_to_mercury.mercury_output_item/4
pred parse_tree.mercury_to_mercury.mercury_output_item/5
pred parse_tree.mercury_to_mercury.mercury_output_pred_mode_decl/7
pred parse_tree.mercury_to_mercury.mercury_output_pred_mode_decl/8
pred parse_tree.mercury_to_mercury.mercury_output_sym_name/3
pred parse_tree.mercury_to_mercury.mercury_output_sym_name/4
pred parse_tree.mercury_to_mercury.mercury_output_term/5
pred parse_tree.mercury_to_mercury.mercury_output_term/6
pred mdbcomp.prim_data.mercury_par_builtin_module/1
func mdbcomp.prim_data.mercury_par_builtin_module/0
pred mdbcomp.prim_data.mercury_private_builtin_module/1
func mdbcomp.prim_data.mercury_private_builtin_module/0
pred mdbcomp.prim_data.mercury_profiling_builtin_module/1
func mdbcomp.prim_data.mercury_profiling_builtin_module/0
pred mdbcomp.prim_data.mercury_public_builtin_module/1
func mdbcomp.prim_data.mercury_public_builtin_module/0
pred mdbcomp.prim_data.mercury_std_lib_module_name/2
func mdbcomp.prim_data.mercury_std_lib_module_name/1
pred mdbcomp.prim_data.mercury_table_builtin_module/1
func mdbcomp.prim_data.mercury_table_builtin_module/0
pred mdbcomp.prim_data.mercury_term_size_prof_builtin_module/1
func mdbcomp.prim_data.mercury_term_size_prof_builtin_module/0
func parse_tree.mercury_to_mercury.mercury_term_to_string/3
func parse_tree.mercury_to_mercury.mercury_term_to_string/4
pred hlds.inst_graph.merge/7
pred injection.merge/3
func injection.merge/2
pred list.merge/3
pred list.merge/4
func list.merge/2
func list.merge/3
pred map.merge/3
func map.merge/2
pred multi_map.merge/3
func multi_map.merge/2
pred varset.merge/5
pred list.merge_and_remove_dups/3
pred list.merge_and_remove_dups/4
func list.merge_and_remove_dups/2
func list.merge_and_remove_dups/3
pred varset.merge_subst/4
pred varset.merge_subst/5
pred array.min/2
func array.min/1
pred bt_array.min/2
func bt_array.min/1
func float.min/0
func float.min/2
pred int.min/3
func int.min/2
pred char.min_char_value/1
func char.min_char_value/0
pred int.min_int/1
func int.min_int/0
func map.min_key/1
func tree234.min_key/1
pred mode_robdd.tfeirn.minimal_model/4
pred robdd.minimal_model/4
pred mode_robdd.tfeirn.minimal_model_2/4
pred robdd.minimal_model_2/6
pred ml_backend.ml_code_gen.ml_gen_goal/5
pred ml_backend.ml_code_gen.ml_gen_goal/6
pred ml_backend.ml_code_util.ml_gen_maybe_gc_trace_code/6
pred ml_backend.ml_code_util.ml_gen_maybe_gc_trace_code/7
func ml_backend.ml_code_util.ml_gen_mlds_var_decl/4
func ml_backend.ml_code_util.ml_gen_mlds_var_decl/5
pred ml_backend.ml_code_util.ml_gen_params/8
func ml_backend.ml_code_util.ml_gen_params/6
pred ml_backend.ml_code_util.ml_gen_proc_params/5
func ml_backend.ml_code_util.ml_gen_proc_params/3
pred ml_backend.mlds_to_c.mlds_indent/3
pred ml_backend.mlds_to_c.mlds_indent/4
pred ml_backend.mlds_to_c.mlds_output_code_addr/3
pred ml_backend.mlds_to_java.mlds_output_code_addr/4
pred ml_backend.mlds_to_c.mlds_output_data_addr/3
pred ml_backend.mlds_to_java.mlds_output_data_addr/3
pred ml_backend.mlds_to_c.mlds_output_pragma_export_type/3
pred ml_backend.mlds_to_c.mlds_output_pragma_export_type/4
pred ml_backend.mlds_to_c.mlds_output_proc_label/3
pred ml_backend.mlds_to_java.mlds_output_proc_label/3
pred ml_backend.mlds_to_c.mlds_output_type_suffix/3
pred ml_backend.mlds_to_c.mlds_output_type_suffix/4
func int.mod/2
func integer.mod/2
pred check_hlds.mode_constraint_robdd.mode_constraint_var/4
pred check_hlds.mode_constraint_robdd.mode_constraint_var/5
func check_hlds.mode_constraint_robdd.mode_constraint_var/2
pred check_hlds.inst_match.mode_list_contains_inst_var/2
pred check_hlds.inst_match.mode_list_contains_inst_var/3
pred hlds.make_hlds.add_pragma.mode_list_matches_with_renaming/3
pred hlds.make_hlds.add_pragma.mode_list_matches_with_renaming/4
func hlds.hlds_out.mode_to_term/1
func hlds.hlds_out.mode_to_term/2
pred check_hlds.modes.modecheck/5
pred top_level.mercury_compile.modecheck/8
pred hlds.hlds_module.module_info_contains_foreign_type/1
pred hlds.hlds_module.module_info_contains_foreign_type/2
pred hlds.hlds_module.module_info_pred_proc_info/4
pred hlds.hlds_module.module_info_pred_proc_info/5
pred hlds.hlds_module.module_info_proc_info/3
pred hlds.hlds_module.module_info_proc_info/4
pred hlds.hlds_module.module_info_set_pred_proc_info/5
pred hlds.hlds_module.module_info_set_pred_proc_info/6
pred parse_tree.modules.module_name_to_file_name/2
pred parse_tree.modules.module_name_to_file_name/6
pred parse_tree.modules.module_name_to_file_name/7
pred parse_tree.module_qual.module_qualify_items/10
pred top_level.mercury_compile.module_qualify_items/11
pred make.util.module_target_to_file_name/6
pred make.util.module_target_to_file_name/7
pred time.mon_name/2
func time.mon_name/1
func float.multiply_by_pow/3
func int.multiply_by_pow/3
func hash_table.munge/3
func version_hash_table.munge/3
func hash_table.munge_factor_a/0
func version_hash_table.munge_factor_a/0
func hash_table.munge_factor_b/0
func version_hash_table.munge_factor_b/0
pred svvarset.name_var/4
pred varset.name_var/4
func varset.name_var/3
pred getopt.need_arg/2
pred getopt_io.need_arg/2
func mode_robdd.implications.neq_vars/3
func mode_robdd.tfeirn.neq_vars/3
func robdd.neq_vars/2
func array2d.new/3
func bitmap.new/2
func hash_table.new/3
pred store.new/1
func version_array.new/2
func version_array2d.new/3
func version_bitmap.new/2
func version_hash_table.new/3
func version_store.new/0
pred libs.lp.new_art_var/3
pred libs.lp_rational.new_art_var/3
pred store.new_cyclic_mutvar/4
pred version_store.new_cyclic_mutvar/4
func hash_table.new_default/1
func version_hash_table.new_default/1
pred eqvclass.new_element/3
func eqvclass.new_element/2
pred sveqvclass.new_element/3
pred eqvclass.new_equivalence/4
func eqvclass.new_equivalence/3
pred sveqvclass.new_equivalence/4
pred svvarset.new_maybe_named_var/4
pred varset.new_maybe_named_var/4
pred mutvar.new_mutvar/2
pred store.new_mutvar/4
pred version_store.new_mutvar/4
pred svvarset.new_named_var/4
pred varset.new_named_var/4
pred libs.lp.new_slack_var/3
pred libs.lp_rational.new_slack_var/3
pred svvarset.new_uniquely_named_var/4
pred varset.new_uniquely_named_var/4
pred ml_backend.add_heap_ops.new_var/5
pred ml_backend.add_trail_ops.new_var/5
pred svvarset.new_var/3
pred varset.new_var/3
pred svvarset.new_vars/4
pred varset.new_vars/4
pred io.nl/2
pred io.nl/3
pred graph.node_contents/3
func graph.node_contents/2
pred graph.nodes/2
func graph.nodes/1
pred solutions.non_cc_call/4
pred solutions.non_cc_call/5
pred libs.lp_rational.non_false_constraint/4
func libs.lp_rational.non_false_constraint/3
pred transform_hlds.ctgc.datastruct.normalize_datastruct_with_type_information/4
func transform_hlds.ctgc.datastruct.normalize_datastruct_with_type_information/3
pred bool.not/2
func bool.not/1
pred check_hlds.abstract_mode_constraints.not_both/5
pred check_hlds.mcsolver.not_both/4
func mode_robdd.implications.not_both/3
func mode_robdd.tfeirn.not_both/3
func mode_robdd.tfeirn.not_var/2
func robdd.not_var/1
pred construct.null/1
pred rtti_implementation.null/1
func bitmap.num_bits/1
func version_bitmap.num_bits/1
func hash_table.num_buckets/1
func version_hash_table.num_buckets/1
func construct.num_functors/1
func rtti_implementation.num_functors/1
func bitmap.num_ints_required/1
func version_bitmap.num_ints_required/1
func hash_table.num_occupants/1
func version_hash_table.num_occupants/1
pred libs.lp.number_vars/4
func libs.lp_rational.number_vars/2
func libs.rat.numer/1
func rational.numer/1
pred getopt.numeric_argument/3
pred getopt_io.numeric_argument/3
func integer.one/0
func libs.rat.one/0
func mode_robdd.tfeirn.one/0
func rational.one/0
func robdd.one/0
pred libs.lp.one_phase/5
func libs.lp_rational.one_phase/4
pred ll_backend.stack_opt.opt_at_call_site/4
pred transform_hlds.tupling.opt_at_call_site/4
pred ll_backend.stack_opt.opt_at_par_conj/4
pred transform_hlds.tupling.opt_at_par_conj/4
pred ll_backend.stack_opt.opt_at_resume_site/4
pred transform_hlds.tupling.opt_at_resume_site/4
pred ll_backend.peephole.opt_instr/6
pred ml_backend.il_peephole.opt_instr/5
pred libs.lp.optimize/4
pred libs.lp_rational.optimize/4
pred libs.polyhedron.optimize/3
pred ll_backend.peephole.optimize/4
pred map.optimize/2
func map.optimize/1
pred ml_backend.ml_optimize.optimize/4
pred multi_map.optimize/2
func multi_map.optimize/1
pred ll_backend.peephole.optimize_2/4
pred ml_backend.il_peephole.optimize_2/4
pred bool.or/3
func bool.or/2
pred bool.or_list/2
func bool.or_list/1
pred bimap.ordinates/2
func bimap.ordinates/1
pred parse_tree.prog_mode.out_mode/1
func parse_tree.prog_mode.out_mode/0
func parse_tree.prog_mode.out_mode/1
pred ml_backend.ilasm.output/3
pred ml_backend.ilasm.output/5
pred bytecode_backend.bytecode.output_arg/3
func transform_hlds.loop_inv.output_arg/3
pred ll_backend.llds_out.output_binary_op/3
pred ml_backend.mlds_to_java.output_binary_op/3
pred bytecode_backend.bytecode.output_binop/3
pred ml_backend.mlds_to_java.output_binop/7
pred ml_backend.ilasm.output_class_name/5
pred ml_backend.mlds_to_java.output_class_name/3
pred ll_backend.llds_out.output_code_addr_decls/3
pred ll_backend.llds_out.output_code_addr_decls/5
pred ml_backend.mlds_to_c.output_context/3
pred ml_backend.mlds_to_java.output_context/3
pred ml_backend.mlds_to_managed.output_context/4
pred ll_backend.llds_out.output_debug_instruction/3
pred ml_backend.ilasm.output_debug_instruction/5
pred ml_backend.ilasm.output_escaped_string/4
pred parse_tree.mercury_to_mercury.output_escaped_string/3
pred backend_libs.bytecode_data.output_float/3
pred parse_tree.mercury_to_mercury.output_float/3
pred ll_backend.llds_out.output_instruction/4
pred ml_backend.ilasm.output_instruction/6
pred backend_libs.bytecode_data.output_int/3
pred backend_libs.bytecode_data.output_int/4
pred backend_libs.bytecode_data.output_int/5
pred parse_tree.mercury_to_mercury.output_int/3
pred backend_libs.bytecode_data.output_int32/3
pred ml_backend.ilasm.output_int32/3
pred ll_backend.llds_out.output_label/3
pred ll_backend.llds_out.output_label/4
pred ml_backend.ilasm.output_label/3
pred transform_hlds.dependency_graph.output_label/5
pred ll_backend.llds_out.output_llds/5
pred top_level.mercury_compile.output_llds/8
pred ll_backend.llds_out.output_lval/3
pred ml_backend.mlds_to_java.output_lval/5
pred ml_backend.mlds_to_c.output_mlds/4
pred ml_backend.mlds_to_ilasm.output_mlds/3
pred ml_backend.mlds_to_java.output_mlds/4
pred ml_backend.ilasm.output_param/5
pred ml_backend.mlds_to_java.output_param/6
pred bytecode_backend.bytecode.output_proc_id/3
pred ll_backend.layout_out.output_proc_id/4
pred transform_hlds.tabling_analysis.output_proc_name/4
pred transform_hlds.trailing_analysis.output_proc_name/4
pred transform_hlds.tabling_analysis.output_proc_names/4
pred transform_hlds.trailing_analysis.output_proc_names/4
pred backend_libs.c_util.output_quoted_string/3
pred parse_tree.mercury_to_mercury.output_quoted_string/3
pred bytecode_backend.bytecode.output_reg/4
pred ll_backend.llds_out.output_reg/4
pred ll_backend.llds_out.output_rval/3
pred ml_backend.mlds_to_java.output_rval/5
pred ll_backend.llds_out.output_rval_const/3
pred ml_backend.mlds_to_java.output_rval_const/3
pred ml_backend.mlds_to_java.output_src_end/4
pred ml_backend.mlds_to_managed.output_src_end/3
pred ml_backend.mlds_to_java.output_src_start/7
pred ml_backend.mlds_to_managed.output_src_start/3
pred io.output_stream_name/3
pred io.output_stream_name/4
pred backend_libs.bytecode_data.output_string/3
pred parse_tree.mercury_to_mercury.output_string/3
pred bytecode_backend.bytecode.output_tag/3
pred ll_backend.llds_out.output_tag/3
pred hlds.passes_aux.output_to_file/4
pred hlds.passes_aux.output_to_file/5
pred check_hlds.typecheck_errors.output_type/5
pred ml_backend.ilasm.output_type/5
pred ml_backend.mlds_to_java.output_type/3
pred bytecode_backend.bytecode.output_unop/3
pred ml_backend.mlds_to_java.output_unop/6
pred bimap.overlay/3
func bimap.overlay/2
pred injection.overlay/3
func injection.overlay/2
pred map.overlay/3
func map.overlay/2
pred bimap.overlay_2/3
pred map.overlay_2/3
pred map.overlay_large_map/3
func map.overlay_large_map/2
func pprint.packed/2
func pprint.packed/3
func pprint.packed_cs/1
func pprint.packed_cs/2
pred string.pad_left/4
func string.pad_left/3
pred string.pad_right/4
func string.pad_right/3
func transform_hlds.complexity.pair_with_ground/1
func transform_hlds.table_gen.pair_with_ground/1
pred dir.parent_directory/1
func dir.parent_directory/0
pred parse_tree.prog_io_util.parse_list/3
pred parser.parse_list/3
pred parse_tree.prog_io_util.parse_name_and_arity/3
pred parse_tree.prog_io_util.parse_name_and_arity/4
pred parse_tree.prog_io_util.parse_pred_or_func_and_args/4
pred parse_tree.prog_io_util.parse_pred_or_func_and_args/5
pred parse_tree.prog_io_util.parse_pred_or_func_name_and_arity/4
pred parse_tree.prog_io_util.parse_pred_or_func_name_and_arity/5
pred check_hlds.mode_util.partition_args/5
pred hlds.arg_info.partition_args/3
pred hlds.arg_info.partition_args/4
pred check_hlds.common.partition_call_args/7
pred transform_hlds.term_util.partition_call_args/5
pred eqvclass.partition_list/2
func eqvclass.partition_list/1
pred eqvclass.partition_list_to_eqvclass/2
func eqvclass.partition_list_to_eqvclass/1
pred eqvclass.partition_set/2
func eqvclass.partition_set/1
pred eqvclass.partition_set_to_eqvclass/2
func eqvclass.partition_set_to_eqvclass/1
pred transform_hlds.pd_debug.pd_debug_message/4
pred transform_hlds.pd_debug.pd_debug_message/5
pred parser.peek_token/3
pred parser.peek_token/4
pred libs.lp.pivot/4
pred libs.lp_rational.pivot/4
pred ll_backend.code_info.place_var/5
pred ll_backend.var_locn.place_var/6
pred ll_backend.code_info.place_vars/4
pred ll_backend.var_locn.place_vars/5
func float.pow/2
pred int.pow/3
func int.pow/2
pred integer.pow/3
func integer.pow/2
func math.pow/2
func std_util.pow/3
pred set.power_intersect/2
func set.power_intersect/1
pred set_bbbtree.power_intersect/2
func set_bbbtree.power_intersect/1
func set_ctree234.power_intersect/1
pred set_ordlist.power_intersect/2
func set_ordlist.power_intersect/1
func set_tree234.power_intersect/1
pred set_unordlist.power_intersect/2
func set_unordlist.power_intersect/1
pred set.power_union/2
func set.power_union/1
pred set_bbbtree.power_union/2
func set_bbbtree.power_union/1
pred set_ctree234.power_union/2
func set_ctree234.power_union/1
pred set_ordlist.power_union/2
func set_ordlist.power_union/1
pred set_tree234.power_union/2
func set_tree234.power_union/1
pred set_unordlist.power_union/2
func set_unordlist.power_union/1
pred set_ordlist.power_union_2/3
pred set_tree234.power_union_2/3
pred set_unordlist.power_union_2/3
func check_hlds.abstract_mode_constraints.pred_constraints_to_formulae/1
func check_hlds.abstract_mode_constraints.pred_constraints_to_formulae/2
func check_hlds.abstract_mode_constraints.pred_constraints_to_formulae_and_annotations/1
func check_hlds.abstract_mode_constraints.pred_constraints_to_formulae_and_annotations/2
pred hlds.hlds_pred.pred_id_to_int/2
func hlds.hlds_pred.pred_id_to_int/1
pred hlds.hlds_pred.pred_info_get_arg_types/2
pred hlds.hlds_pred.pred_info_get_arg_types/4
pred backend_libs.rtti.pred_or_func_to_string/2
func parse_tree.error_util.pred_or_func_to_string/1
func hlds.hlds_out.pred_proc_id_to_string/2
func hlds.hlds_out.pred_proc_id_to_string/3
pred hlds.pred_table.predicate_table_insert/4
pred hlds.pred_table.predicate_table_insert/6
pred hlds.make_hlds.state_var.prepare_for_call/2
pred ll_backend.call_gen.prepare_for_call/5
pred check_hlds.abstract_mode_constraints.pretty_print_constraints/4
pred check_hlds.abstract_mode_constraints.pretty_print_constraints/5
pred io.print/3
pred io.print/4
pred io.print/5
pred hlds.hlds_pred.proc_id_to_int/2
func hlds.hlds_pred.proc_id_to_int/1
pred hlds.hlds_pred.proc_info_create/11
pred hlds.hlds_pred.proc_info_create/12
pred hlds.passes_aux.process_all_nonimported_procs/5
pred hlds.passes_aux.process_all_nonimported_procs/6
pred top_level.mercury_compile.process_args/7
pred transform_hlds.size_prof.process_args/9
pred getopt.process_arguments/9
pred getopt_io.process_arguments/11
pred transform_hlds.lambda.process_cases/4
pred transform_hlds.unneeded_code.process_cases/17
pred check_hlds.polymorphism.process_clause/10
pred hlds.hhf.process_clause/5
pred parse_tree.prog_io.process_clause/7
pred check_hlds.mode_constraints.process_clauses_info/12
pred hlds.hhf.process_clauses_info/5
pred transform_hlds.size_prof.process_conj/4
pred transform_hlds.unneeded_code.process_conj/13
pred transform_hlds.size_prof.process_disj/14
pred transform_hlds.unneeded_code.process_disj/15
pred check_hlds.polymorphism.process_goal/4
pred hlds.hhf.process_goal/5
pred transform_hlds.closure_analysis.process_goal/6
pred transform_hlds.ctgc.structure_reuse.direct.choose_reuse.process_goal/9
pred transform_hlds.ctgc.structure_reuse.versions.process_goal/5
pred transform_hlds.lambda.process_goal/4
pred transform_hlds.size_prof.process_goal/4
pred transform_hlds.unneeded_code.process_goal/13
pred check_hlds.polymorphism.process_goal_expr/5
pred hlds.hhf.process_goal_expr/6
pred check_hlds.polymorphism.process_goal_list/4
pred transform_hlds.lambda.process_goal_list/4
pred hlds.passes_aux.process_matching_nonimported_procs/6
pred hlds.passes_aux.process_matching_nonimported_procs/7
pred check_hlds.mode_constraints.process_module/4
pred check_hlds.polymorphism.process_module/4
pred top_level.mercury_compile.process_module/7
pred transform_hlds.closure_analysis.process_module/4
pred transform_hlds.lambda.process_module/2
pred transform_hlds.unused_args.process_module/4
pred getopt.process_negated_option/7
pred getopt_io.process_negated_option/7
pred getopt.process_option/9
pred getopt_io.process_option/11
pred getopt.process_options/4
pred getopt.process_options/5
pred getopt_io.process_options/6
pred getopt_io.process_options/7
pred libs.handle_options.process_options/6
pred getopt.process_options_track/7
pred getopt_io.process_options_track/9
pred check_hlds.mode_constraints.process_pred/10
pred check_hlds.polymorphism.process_pred/3
pred check_hlds.polymorphism.process_pred/5
pred check_hlds.prop_mode_constraints.process_pred/7
pred check_hlds.prop_mode_constraints.process_pred/8
pred hlds.hhf.process_pred/6
pred transform_hlds.lambda.process_pred/3
pred check_hlds.polymorphism.process_proc/6
pred transform_hlds.accumulator.process_proc/8
pred transform_hlds.closure_analysis.process_proc/6
pred transform_hlds.complexity.process_proc/8
pred transform_hlds.ctgc.structure_reuse.versions.process_proc/6
pred transform_hlds.lambda.process_proc/4
pred transform_hlds.size_prof.process_proc/9
pred transform_hlds.unneeded_code.process_proc/5
pred transform_hlds.complexity.process_proc_msg/10
pred transform_hlds.size_prof.process_proc_msg/9
pred transform_hlds.unneeded_code.process_proc_msg/8
pred io.process_read_term/3
pred parse_tree.prog_io.process_read_term/3
pred check_hlds.mode_constraints.process_scc/8
pred check_hlds.prop_mode_constraints.process_scc/7
pred transform_hlds.closure_analysis.process_scc/6
pred transform_hlds.trailing_analysis.process_scc/7
pred getopt.process_special/8
pred getopt_io.process_special/8
pred check_hlds.polymorphism.process_unify/9
pred hlds.hhf.process_unify/10
pred check_hlds.build_mode_constraints.prog_var_at_path/7
func check_hlds.build_mode_constraints.prog_var_at_path/4
pred libs.lp_rational.project/4
pred libs.lp_rational.project/5
func libs.lp_rational.project/3
pred libs.polyhedron.project/4
func libs.polyhedron.project/3
pred transform_hlds.constraint.propagate_conj_constraints/7
pred transform_hlds.deforest.propagate_conj_constraints/8
pred transform_hlds.term_constr_pass2.prove_termination_in_scc/6
pred transform_hlds.term_pass2.prove_termination_in_scc/8
pred check_hlds.purity.puritycheck/6
pred top_level.mercury_compile.puritycheck/8
pred stack.push/3
func stack.push/2
pred stack.push_list/3
func stack.push_list/2
pred queue.put/3
func queue.put/2
pred svqueue.put/3
pred queue.put_list/3
func queue.put_list/2
pred svqueue.put_list/3
pred queue.put_list_on_front/3
func queue.put_list_on_front/2
pred svqueue.put_list_on_front/3
pred queue.put_on_front/3
func queue.put_on_front/2
pred svqueue.put_on_front/3
pred io.putback_byte/3
pred io.putback_byte/4
pred io.putback_char/3
pred io.putback_char/4
pred term_io.quote_atom/3
pred term_io.quote_atom/4
pred backend_libs.c_util.quote_char/2
pred term_io.quote_char/3
pred backend_libs.c_util.quote_string/2
pred term_io.quote_string/3
func term_io.quoted_atom/1
func term_io.quoted_atom/2
pred random.random/3
pred random.random/5
func libs.rat.rat/1
func libs.rat.rat/2
func rational.rational/1
func rational.rational/2
pred rbtree.rbtree_to_assoc_list/2
func rbtree.rbtree_to_assoc_list/1
pred backend_libs.matching.reachable_by_alternating_path/5
func backend_libs.matching.reachable_by_alternating_path/3
pred io.read/3
pred io.read/4
pred analysis.file.read_analysis_file/6
pred analysis.file.read_analysis_file/8
pred io.read_binary/3
pred io.read_binary/4
pred io.read_binary_file/3
pred io.read_binary_file/4
pred io.read_byte/3
pred io.read_byte/4
pred io.read_char/3
pred io.read_char/4
pred io.read_file/3
pred io.read_file/4
pred io.read_file_as_string/3
pred io.read_file_as_string/4
pred io.read_line/3
pred io.read_line/4
pred io.read_line_as_string/3
pred io.read_line_as_string/4
pred parse_tree.modules.read_mod/11
pred parse_tree.modules.read_mod/12
pred analysis.read_module_overall_status/5
pred analysis.file.read_module_overall_status/5
pred parser.read_term/3
pred parser.read_term/4
pred term_io.read_term/3
pred parser.read_term_from_string/4
pred parser.read_term_from_string/6
pred parser.read_term_from_string_with_op_table/5
pred parser.read_term_from_string_with_op_table/7
pred parser.read_term_with_op_table/4
pred parser.read_term_with_op_table/5
pred term_io.read_term_with_op_table/4
pred io.read_word/3
pred io.read_word/4
func libs.rat.reciprocal/1
func rational.reciprocal/1
pred check_hlds.mode_util.recompute_instmap_delta/8
pred transform_hlds.pd_util.recompute_instmap_delta/4
pred backend_libs.interval.record_decisions_in_goal/8
pred backend_libs.interval.record_decisions_in_goal/10
pred transform_hlds.exception_analysis.record_dependencies/7
pred transform_hlds.tabling_analysis.record_dependencies/7
pred transform_hlds.trailing_analysis.record_dependencies/7
pred hlds.make_hlds.qual_info.record_used_functor/3
pred recompilation.usage.record_used_functor/3
pred relation.reduced/2
func relation.reduced/1
pred term.relabel_variable/4
func term.relabel_variable/3
pred term.relabel_variables/4
func term.relabel_variables/3
pred ll_backend.code_info.release_reg/3
pred ll_backend.var_locn.release_reg/3
func int.rem/2
func integer.rem/2
pred assoc_list.remove/4
pred bag.remove/3
pred bintree.remove/4
pred bintree_set.remove/3
pred map.remove/4
pred multi_map.remove/4
pred pqueue.remove/4
pred rbtree.remove/3
pred rbtree.remove/4
pred relation.remove/4
func relation.remove/3
pred set.remove/3
pred set_bbbtree.remove/3
pred set_ctree234.remove/3
pred set_ordlist.remove/3
pred set_tree234.remove/3
pred set_unordlist.remove/3
pred sparse_bitset.remove/3
func sparse_bitset.remove/2
pred svbag.remove/3
pred svmap.remove/4
pred svmulti_map.remove/4
pred svrelation.remove/4
pred svset.remove/3
pred tree234.remove/4
pred pqueue.remove_2/3
pred set_tree234.remove_2/4
pred tree234.remove_2/5
pred list.remove_adjacent_dups/2
pred list.remove_adjacent_dups/3
func list.remove_adjacent_dups/1
pred list.remove_adjacent_dups_2/3
pred list.remove_adjacent_dups_2/4
pred bag.remove_all/3
pred svbag.remove_all/3
pred relation.remove_assoc_list/3
func relation.remove_assoc_list/2
pred svrelation.remove_assoc_list/3
pred libs.lp.remove_col/3
pred libs.lp_rational.remove_col/3
pred list.remove_dups/2
func list.remove_dups/1
func eqvclass.remove_equivalent_elements/2
pred sveqvclass.remove_equivalent_elements/3
pred sparse_bitset.remove_gt/3
func sparse_bitset.remove_gt/2
pred rbtree.remove_largest/4
pred set_bbbtree.remove_largest/3
pred set.remove_least/3
pred set_bbbtree.remove_least/3
pred set_ctree234.remove_least/3
pred set_ordlist.remove_least/3
pred set_tree234.remove_least/3
pred set_unordlist.remove_least/3
pred sparse_bitset.remove_least/3
pred svset.remove_least/3
pred sparse_bitset.remove_leq/3
func sparse_bitset.remove_leq/2
pred bag.remove_list/3
pred bintree_set.remove_list/3
pred set.remove_list/3
pred set_bbbtree.remove_list/3
pred set_ctree234.remove_list/3
pred set_ordlist.remove_list/3
pred set_tree234.remove_list/3
pred set_unordlist.remove_list/3
pred sparse_bitset.remove_list/3
func sparse_bitset.remove_list/2
pred svbag.remove_list/3
pred svset.remove_list/3
pred libs.lp.remove_row/3
pred libs.lp_rational.remove_row/3
pred bag.remove_set/3
pred svbag.remove_set/3
pred bag.remove_smallest/3
pred map.remove_smallest/4
pred multi_map.remove_smallest/4
pred rbtree.remove_smallest/4
pred svbag.remove_smallest/3
pred svmap.remove_smallest/4
pred svmulti_map.remove_smallest/4
pred tree234.remove_smallest/4
pred list.remove_suffix/3
pred string.remove_suffix/3
pred check_hlds.typecheck.rename_apart/7
pred hlds.quantification.rename_apart/6
pred parse_tree.prog_ctgc.rename_datastruct/4
func parse_tree.prog_ctgc.rename_datastruct/3
pred hlds.goal_util.rename_var/4
pred ll_backend.saved_vars.rename_var/5
func ml_backend.mlds_to_il.rename_var/2
pred hlds.goal_util.rename_vars_in_goal/3
pred hlds.goal_util.rename_vars_in_goal/4
pred hlds.goal_util.reordering_maintains_termination/4
pred hlds.goal_util.reordering_maintains_termination/8
pred list.replace/4
pred string.replace/4
pred list.replace_all/4
func list.replace_all/3
pred string.replace_all/4
func string.replace_all/3
func string.replace_all/6
pred parse_tree.equiv_type.replace_in_inst/5
pred parse_tree.equiv_type.replace_in_inst/6
pred transform_hlds.equiv_type_hlds.replace_in_inst/8
pred transform_hlds.equiv_type_hlds.replace_in_inst_table/5
pred transform_hlds.equiv_type_hlds.replace_in_inst_table/6
pred parse_tree.equiv_type.replace_in_type_defn/9
pred transform_hlds.equiv_type_hlds.replace_in_type_defn/7
pred parse_tree.equiv_type.replace_in_type_list/8
pred parse_tree.equiv_type.replace_in_type_list/9
pred list.replace_nth_det/4
func list.replace_nth_det/3
pred parse_tree.equiv_type.report_error/3
pred parse_tree.prog_out.report_error/3
pred parse_tree.prog_out.report_error/4
pred require.report_lookup_error/2
pred require.report_lookup_error/3
pred benchmarking.report_stats/0
pred io.report_stats/2
pred io.report_stats/3
pred transform_hlds.term_constr_errors.report_term_errors/5
pred transform_hlds.term_errors.report_term_errors/5
pred libs.compiler_util.report_warning/3
pred libs.compiler_util.report_warning/4
pred parse_tree.error_util.report_warning/5
pred hlds.quantification.requantify_proc/2
pred hlds.quantification.requantify_proc/3
pred array.resize/4
func array.resize/3
func bitmap.resize/3
pred bt_array.resize/5
func bt_array.resize/4
pred svarray.resize/4
pred version_array.resize/4
func version_array.resize/3
func version_array2d.resize/4
pred version_bitmap.resize/4
func version_bitmap.resize/3
func version_store.resize/2
pred ll_backend.code_info.restore_hp/2
pred private_builtin.restore_hp/1
func mode_robdd.tfeirn.restrict/2
func robdd.restrict/2
func check_hlds.mode_constraint_robdd.restrict_filter/3
func mode_robdd.tfeirn.restrict_filter/2
func robdd.restrict_filter/2
func robdd.restrict_filter/3
func check_hlds.mode_constraint_robdd.restrict_threshold/2
func mode_robdd.equiv_vars.restrict_threshold/2
func mode_robdd.implications.restrict_threshold/2
func mode_robdd.tfeirn.restrict_threshold/2
func robdd.restrict_threshold/2
pred exception.rethrow/1
func exception.rethrow/1
pred transform_hlds.ctgc.structure_reuse.domain.reuse_as_least_upper_bound/5
func transform_hlds.ctgc.structure_reuse.domain.reuse_as_least_upper_bound/4
pred list.reverse/2
func list.reverse/1
pred bimap.reverse_lookup/3
func bimap.reverse_lookup/2
pred injection.reverse_lookup/3
func injection.reverse_lookup/2
pred relation.reverse_lookup/3
func bimap.reverse_map/1
pred injection.reverse_map/2
func injection.reverse_map/1
func map.reverse_map/1
pred assoc_list.reverse_members/2
func assoc_list.reverse_members/1
pred bimap.reverse_search/3
func bimap.reverse_search/2
pred injection.reverse_search/3
func injection.reverse_search/2
pred libs.lp.rhs_col/2
func libs.lp_rational.rhs_col/1
pred string.right/3
func string.right/2
pred check_hlds.mode_constraint_robdd.robdd_to_dot/6
pred robdd.robdd_to_dot/4
pred robdd.robdd_to_dot/5
pred libs.lp.row_op/5
pred libs.lp_rational.row_op/5
func string.rstrip/1
func string.rstrip/2
pred relation.rtc/2
func relation.rtc/1
pred io.same_array_elem_type/2
pred rtti_implementation.same_array_elem_type/2
pred string.same_array_elem_type/2
pred io.same_private_builtin_type/2
pred string.same_private_builtin_type/2
pred hlds.hhf.same_type/2
pred term.same_type/2
pred relation.sc/2
func relation.sc/1
pred assoc_list.search/3
pred bimap.search/3
pred bintree.search/3
pred hash_table.search/3
func hash_table.search/2
pred injection.search/3
pred map.search/3
func map.search/2
pred multi_map.search/3
pred rbtree.search/3
pred tree234.search/3
pred version_hash_table.search/3
func version_hash_table.search/2
pred transform_hlds.exception_analysis.search_analysis_status/8
pred transform_hlds.tabling_analysis.search_analysis_status/8
pred transform_hlds.trailing_analysis.search_analysis_status/8
pred transform_hlds.exception_analysis.search_analysis_status_2/9
pred transform_hlds.tabling_analysis.search_analysis_status_2/9
pred transform_hlds.trailing_analysis.search_analysis_status_2/9
pred parse_tree.prog_io.search_for_file_returning_dir/5
pred parse_tree.prog_io.search_for_file_returning_dir/6
pred parse_tree.prog_io.search_for_module_source/5
pred parse_tree.prog_io.search_for_module_source/6
pred map.select/3
func map.select/2
pred multi_map.select/3
func multi_map.select/2
pred svvarset.select/3
pred varset.select/3
func varset.select/2
pred ll_backend.var_locn.select_preferred_reg/3
pred ll_backend.var_locn.select_preferred_reg/5
pred array.semidet_lookup/3
pred bt_array.semidet_lookup/3
pred array.semidet_set/4
pred bt_array.semidet_set/4
pred svarray.semidet_set/4
pred array.semidet_slow_set/4
pred svarray.semidet_slow_set/4
pred array.set/4
func array.set/3
pred array2d.set/5
pred bimap.set/4
func bimap.set/3
pred bintree.set/4
func bintree.set/3
pred bitmap.set/3
func bitmap.set/2
pred bt_array.set/4
func bt_array.set/3
pred hash_table.set/4
func hash_table.set/3
pred hlds.instmap.set/4
pred injection.set/4
func injection.set/3
pred map.set/4
func map.set/3
pred multi_map.set/4
func multi_map.set/3
pred rbtree.set/4
func rbtree.set/3
func set.set/1
pred svarray.set/4
pred svbimap.set/4
pred svmap.set/4
pred svmulti_map.set/4
pred tree234.set/4
func tree234.set/3
pred version_array.set/4
pred version_array2d.set/5
pred version_bitmap.set/3
func version_bitmap.set/2
pred version_hash_table.set/4
func version_hash_table.set/3
func version_store.set/3
pred injection.set_2/6
pred rbtree.set_2/4
pred varset.set_bindings/3
func varset.set_bindings/2
pred transform_hlds.term_constr_initial.set_builtin_terminates/6
pred transform_hlds.termination.set_builtin_terminates/6
pred string.set_char_det/4
func string.set_char_det/3
pred transform_hlds.term_constr_initial.set_compiler_gen_terminates/6
pred transform_hlds.termination.set_compiler_gen_terminates/6
pred analysis.set_debug_analysis/1
pred analysis.set_debug_analysis/3
pred libs.globals.set_extra_error_info/1
pred libs.globals.set_extra_error_info/3
pred ll_backend.code_info.set_follow_vars/3
pred ll_backend.var_locn.set_follow_vars/3
pred bimap.set_from_assoc_list/3
func bimap.set_from_assoc_list/2
pred injection.set_from_assoc_list/3
func injection.set_from_assoc_list/2
pred map.set_from_assoc_list/3
func map.set_from_assoc_list/2
pred svmap.set_from_assoc_list/3
pred bimap.set_from_corresponding_lists/4
func bimap.set_from_corresponding_lists/3
pred injection.set_from_corresponding_lists/4
func injection.set_from_corresponding_lists/3
pred map.set_from_corresponding_lists/4
func map.set_from_corresponding_lists/3
pred svmap.set_from_corresponding_lists/4
pred transform_hlds.term_constr_initial.set_generated_terminates/5
pred transform_hlds.termination.set_generated_terminates/4
pred hlds.quantification.set_goal_nonlocals/5
pred hlds.quantification.set_goal_nonlocals/6
pred io.set_line_number/3
pred io.set_line_number/4
pred mutvar.set_mutvar/2
pred store.set_mutvar/4
pred version_store.set_mutvar/4
pred io.set_output_line_number/3
pred io.set_output_line_number/4
pred ll_backend.code_info.set_static_cell_info/3
pred ll_backend.stack_layout.set_static_cell_info/3
pred hlds.quantification.set_varset/3
pred libs.lp.set_varset/3
pred group.sets_and_keys/2
func group.sets_and_keys/1
pred transform_hlds.ctgc.structure_sharing.domain.sharing_as_project/3
func transform_hlds.ctgc.structure_sharing.domain.sharing_as_project/2
pred array.shrink/3
func array.shrink/2
pred bt_array.shrink/4
func bt_array.shrink/3
pred svarray.shrink/3
func integer.signum/1
func libs.rat.signum/1
func rational.signum/1
func parse_tree.prog_out.simple_call_id_to_string/1
func parse_tree.prog_out.simple_call_id_to_string/2
func parse_tree.prog_out.simple_call_id_to_string/3
pred libs.lp.simplex/3
pred libs.lp_rational.simplex/3
pred transform_hlds.term_constr_data.simplify_abstract_rep/2
func transform_hlds.term_constr_data.simplify_abstract_rep/1
pred transform_hlds.term_constr_data.simplify_conjuncts/2
func transform_hlds.term_constr_data.simplify_conjuncts/1
pred bintree_set.singleton_set/2
pred set.singleton_set/2
pred set_bbbtree.singleton_set/2
pred set_ctree234.singleton_set/2
pred set_ordlist.singleton_set/2
pred set_tree234.singleton_set/2
pred set_unordlist.singleton_set/2
pred sparse_bitset.singleton_set/2
pred array.size/2
func array.size/1
pred bt_array.size/2
func bt_array.size/1
pred robdd.size/3
pred robdd.size/4
func rtree.size/1
pred set_bbbtree.size/2
func version_array.size/1
func version_store.size/1
pred array.slow_set/4
func array.slow_set/3
pred svarray.slow_set/4
pred pair.snd/2
func pair.snd/1
pred solutions.solutions/2
func solutions.solutions/1
pred solutions.solutions_set/2
func solutions.solutions_set/1
pred check_hlds.mcsolver.solve/2
pred check_hlds.mcsolver.solve/3
func libs.lp_rational.solve/4
pred libs.compiler_util.sorry/2
func libs.compiler_util.sorry/2
pred private_builtin.sorry/1
func array.sort/1
pred list.sort/2
pred list.sort/3
func list.sort/1
func list.sort/2
pred list.sort_and_remove_dups/2
pred list.sort_and_remove_dups/3
func list.sort_and_remove_dups/1
pred map.sorted_keys/2
func map.sorted_keys/1
pred bintree_set.sorted_list_to_set/2
func bintree_set.sorted_list_to_set/1
pred set.sorted_list_to_set/2
func set.sorted_list_to_set/1
pred set_bbbtree.sorted_list_to_set/2
func set_bbbtree.sorted_list_to_set/1
func set_ctree234.sorted_list_to_set/1
pred set_ordlist.sorted_list_to_set/2
func set_ordlist.sorted_list_to_set/1
func set_tree234.sorted_list_to_set/1
pred set_unordlist.sorted_list_to_set/2
func set_unordlist.sorted_list_to_set/1
pred sparse_bitset.sorted_list_to_set/2
func sparse_bitset.sorted_list_to_set/1
pred transform_hlds.term_constr_initial.special_pred_id_to_termination/8
pred transform_hlds.termination.special_pred_id_to_termination/4
pred hlds.special_pred.special_pred_is_generated_lazily/2
pred hlds.special_pred.special_pred_is_generated_lazily/4
pred set_ctree234.split_four/4
pred set_tree234.split_four/4
pred tree234.split_four/5
pred parse_tree.prog_util.split_type_and_mode/3
pred parse_tree.prog_util.split_type_and_mode/5
pred ll_backend.dupelim.standardize_instr/2
pred ll_backend.dupproc.standardize_instr/3
pred ll_backend.dupelim.standardize_instrs/2
pred ll_backend.dupproc.standardize_instrs/3
pred ll_backend.dupproc.standardize_labels/3
pred ll_backend.stdlabel.standardize_labels/4
pred ll_backend.dupelim.standardize_rval/2
pred ll_backend.dupproc.standardize_rval/3
pred io.stderr_stream/3
func io.stderr_stream/0
pred io.stdin_stream/3
func io.stdin_stream/0
pred io.stdout_stream/3
func io.stdout_stream/0
pred ml_backend.mlds_to_il.store/4
pred transform_hlds.accumulator.store/4
pred string.string/4
func string.string/1
func string.string/2
pred hash_table.string_double_hash/3
pred version_hash_table.string_double_hash/3
pred lexer.string_get_token_list/4
pred lexer.string_get_token_list/5
pred backend_libs.bytecode_data.string_to_byte_list/2
pred ll_backend.prog_rep.string_to_byte_list/4
pred parse_tree.modules.strip_imported_items/2
pred parse_tree.modules.strip_imported_items/3
pred string.sub_string_search/3
pred string.sub_string_search/4
pred bintree_set.subset/2
pred set.subset/2
pred set_bbbtree.subset/2
pred set_ctree234.subset/2
pred set_ordlist.subset/2
pred set_tree234.subset/2
pred set_unordlist.subset/2
pred sparse_bitset.subset/2
pred term.substitute/4
func term.substitute/3
pred term.substitute_corresponding/4
func term.substitute_corresponding/3
pred term.substitute_corresponding_list/4
func term.substitute_corresponding_list/3
pred term.substitute_list/4
func term.substitute_list/3
pred ll_backend.exprn_aux.substitute_lval_in_lval/4
func ll_backend.var_locn.substitute_lval_in_lval/3
func libs.lp_rational.substitute_vars/2
func libs.lp_rational.substitute_vars/3
func libs.polyhedron.substitute_vars/2
func libs.polyhedron.substitute_vars/3
pred parse_tree.prog_util.substitute_vars/3
pred string.substring/4
func string.substring/3
pred bag.subtract/3
func bag.subtract/2
pred svbag.subtract/3
pred graph.successors/3
func graph.successors/2
func ll_backend.frameopt.successors/1
pred bintree_set.superset/2
pred set.superset/2
pred set_bbbtree.superset/2
pred set_ctree234.superset/2
pred set_ordlist.superset/2
pred set_tree234.superset/2
pred set_unordlist.superset/2
pred sparse_bitset.superset/2
pred parse_tree.prog_out.sym_name_and_arity_to_string/2
func parse_tree.prog_out.sym_name_and_arity_to_string/1
pred parse_tree.prog_util.sym_name_get_module_name/2
pred parse_tree.prog_util.sym_name_get_module_name/3
pred mdbcomp.prim_data.sym_name_to_string/2
pred mdbcomp.prim_data.sym_name_to_string/3
func mdbcomp.prim_data.sym_name_to_string/1
func mdbcomp.prim_data.sym_name_to_string/2
pred ml_backend.mlds_to_il.sym_name_to_string/2
pred ml_backend.mlds_to_il.sym_name_to_string/3
func integer.tail/1
func list.tail/1
pred list.take_upto/3
func list.take_upto/2
pred make.util.target_is_grade_or_arch_dependent/1
pred make.util.target_is_grade_or_arch_dependent/2
pred relation.tc/2
func relation.tc/1
pred term.term_list_to_var_list/2
func term.term_list_to_var_list/1
pred dir.this_directory/1
func dir.this_directory/0
func backend_libs.base_typeclass_info.this_file/0
func backend_libs.bytecode_data.this_file/0
func backend_libs.compile_target_code.this_file/0
func backend_libs.export.this_file/0
func backend_libs.foreign.this_file/0
func backend_libs.interval.this_file/0
func backend_libs.matching.this_file/0
func backend_libs.proc_label.this_file/0
func backend_libs.pseudo_type_info.this_file/0
func backend_libs.rtti.this_file/0
func backend_libs.switch_util.this_file/0
func backend_libs.type_class_info.this_file/0
func backend_libs.type_ctor_info.this_file/0
func bytecode_backend.bytecode.this_file/0
func bytecode_backend.bytecode_gen.this_file/0
func check_hlds.build_mode_constraints.this_file/0
func check_hlds.check_typeclass.this_file/0
func check_hlds.clause_to_proc.this_file/0
func check_hlds.common.this_file/0
func check_hlds.cse_detection.this_file/0
func check_hlds.det_analysis.this_file/0
func check_hlds.det_report.this_file/0
func check_hlds.det_util.this_file/0
func check_hlds.format_call.this_file/0
func check_hlds.goal_path.this_file/0
func check_hlds.inst_match.this_file/0
func check_hlds.inst_util.this_file/0
func check_hlds.mcsolver.this_file/0
func check_hlds.mode_constraints.this_file/0
func check_hlds.mode_errors.this_file/0
func check_hlds.mode_info.this_file/0
func check_hlds.mode_ordering.this_file/0
func check_hlds.mode_util.this_file/0
func check_hlds.modecheck_call.this_file/0
func check_hlds.modecheck_unify.this_file/0
func check_hlds.modes.this_file/0
func check_hlds.ordering_mode_constraints.this_file/0
func check_hlds.polymorphism.this_file/0
func check_hlds.post_typecheck.this_file/0
func check_hlds.prop_mode_constraints.this_file/0
func check_hlds.purity.this_file/0
func check_hlds.simplify.this_file/0
func check_hlds.stratify.this_file/0
func check_hlds.switch_detection.this_file/0
func check_hlds.type_util.this_file/0
func check_hlds.typecheck.this_file/0
func check_hlds.typecheck_errors.this_file/0
func check_hlds.typecheck_info.this_file/0
func check_hlds.unify_proc.this_file/0
func check_hlds.unique_modes.this_file/0
func hlds.arg_info.this_file/0
func hlds.assertion.this_file/0
func hlds.goal_form.this_file/0
func hlds.goal_util.this_file/0
func hlds.hhf.this_file/0
func hlds.hlds_code_util.this_file/0
func hlds.hlds_data.this_file/0
func hlds.hlds_error_util.this_file/0
func hlds.hlds_goal.this_file/0
func hlds.hlds_llds.this_file/0
func hlds.hlds_module.this_file/0
func hlds.hlds_out.this_file/0
func hlds.hlds_pred.this_file/0
func hlds.hlds_rtti.this_file/0
func hlds.inst_graph.this_file/0
func hlds.instmap.this_file/0
func hlds.make_hlds.add_class.this_file/0
func hlds.make_hlds.add_clause.this_file/0
func hlds.make_hlds.add_mode.this_file/0
func hlds.make_hlds.add_pragma.this_file/0
func hlds.make_hlds.add_pred.this_file/0
func hlds.make_hlds.add_special_pred.this_file/0
func hlds.make_hlds.add_type.this_file/0
func hlds.make_hlds.field_access.this_file/0
func hlds.make_hlds.make_hlds_passes.this_file/0
func hlds.make_hlds.state_var.this_file/0
func hlds.make_hlds.superhomogeneous.this_file/0
func hlds.passes_aux.this_file/0
func hlds.pred_table.this_file/0
func hlds.quantification.this_file/0
func hlds.special_pred.this_file/0
func libs.atsort.this_file/0
func libs.globals.this_file/0
func libs.graph_colour.this_file/0
func libs.lp.this_file/0
func libs.lp_rational.this_file/0
func libs.options.this_file/0
func libs.polyhedron.this_file/0
func libs.rat.this_file/0
func ll_backend.basic_block.this_file/0
func ll_backend.call_gen.this_file/0
func ll_backend.code_gen.this_file/0
func ll_backend.code_info.this_file/0
func ll_backend.code_util.this_file/0
func ll_backend.commit_gen.this_file/0
func ll_backend.continuation_info.this_file/0
func ll_backend.deep_profiling.this_file/0
func ll_backend.disj_gen.this_file/0
func ll_backend.dupelim.this_file/0
func ll_backend.dupproc.this_file/0
func ll_backend.exprn_aux.this_file/0
func ll_backend.fact_table.this_file/0
func ll_backend.follow_code.this_file/0
func ll_backend.follow_vars.this_file/0
func ll_backend.frameopt.this_file/0
func ll_backend.ite_gen.this_file/0
func ll_backend.jumpopt.this_file/0
func ll_backend.layout_out.this_file/0
func ll_backend.live_vars.this_file/0
func ll_backend.livemap.this_file/0
func ll_backend.liveness.this_file/0
func ll_backend.llds.this_file/0
func ll_backend.llds_out.this_file/0
func ll_backend.lookup_switch.this_file/0
func ll_backend.middle_rec.this_file/0
func ll_backend.opt_util.this_file/0
func ll_backend.optimize.this_file/0
func ll_backend.par_conj_gen.this_file/0
func ll_backend.pragma_c_gen.this_file/0
func ll_backend.proc_gen.this_file/0
func ll_backend.prog_rep.this_file/0
func ll_backend.reassign.this_file/0
func ll_backend.rtti_out.this_file/0
func ll_backend.saved_vars.this_file/0
func ll_backend.stack_layout.this_file/0
func ll_backend.stack_opt.this_file/0
func ll_backend.stdlabel.this_file/0
func ll_backend.store_alloc.this_file/0
func ll_backend.string_switch.this_file/0
func ll_backend.tag_switch.this_file/0
func ll_backend.trace_gen.this_file/0
func ll_backend.transform_llds.this_file/0
func ll_backend.unify_gen.this_file/0
func ll_backend.use_local_vars.this_file/0
func ll_backend.var_locn.this_file/0
func ll_backend.wrap_blocks.this_file/0
func make.module_target.this_file/0
func make.options_file.this_file/0
func make.program_target.this_file/0
func make.util.this_file/0
func ml_backend.add_heap_ops.this_file/0
func ml_backend.add_trail_ops.this_file/0
func ml_backend.ilasm.this_file/0
func ml_backend.ilds.this_file/0
func ml_backend.mark_static_terms.this_file/0
func ml_backend.ml_call_gen.this_file/0
func ml_backend.ml_closure_gen.this_file/0
func ml_backend.ml_code_gen.this_file/0
func ml_backend.ml_code_util.this_file/0
func ml_backend.ml_elim_nested.this_file/0
func ml_backend.ml_optimize.this_file/0
func ml_backend.ml_simplify_switch.this_file/0
func ml_backend.ml_string_switch.this_file/0
func ml_backend.ml_switch_gen.this_file/0
func ml_backend.ml_tag_switch.this_file/0
func ml_backend.ml_type_gen.this_file/0
func ml_backend.ml_unify_gen.this_file/0
func ml_backend.mlds.this_file/0
func ml_backend.mlds_to_c.this_file/0
func ml_backend.mlds_to_il.this_file/0
func ml_backend.mlds_to_ilasm.this_file/0
func ml_backend.mlds_to_java.this_file/0
func ml_backend.mlds_to_managed.this_file/0
func ml_backend.rtti_to_mlds.this_file/0
func parse_tree.equiv_type.this_file/0
func parse_tree.mercury_to_mercury.this_file/0
func parse_tree.module_qual.this_file/0
func parse_tree.modules.this_file/0
func parse_tree.prog_ctgc.this_file/0
func parse_tree.prog_data.this_file/0
func parse_tree.prog_io.this_file/0
func parse_tree.prog_io_pragma.this_file/0
func parse_tree.prog_io_typeclass.this_file/0
func parse_tree.prog_io_util.this_file/0
func parse_tree.prog_mode.this_file/0
func parse_tree.prog_out.this_file/0
func parse_tree.prog_type.this_file/0
func parse_tree.prog_type_subst.this_file/0
func parse_tree.prog_util.this_file/0
func recompilation.check.this_file/0
func recompilation.usage.this_file/0
func recompilation.version.this_file/0
func top_level.mercury_compile.this_file/0
func transform_hlds.accumulator.this_file/0
func transform_hlds.closure_analysis.this_file/0
func transform_hlds.complexity.this_file/0
func transform_hlds.constraint.this_file/0
func transform_hlds.ctgc.fixpoint_table.this_file/0
func transform_hlds.ctgc.livedata.this_file/0
func transform_hlds.ctgc.selector.this_file/0
func transform_hlds.ctgc.structure_reuse.direct.this_file/0
func transform_hlds.ctgc.structure_reuse.direct.choose_reuse.this_file/0
func transform_hlds.ctgc.structure_reuse.direct.detect_garbage.this_file/0
func transform_hlds.ctgc.structure_reuse.domain.this_file/0
func transform_hlds.ctgc.structure_reuse.indirect.this_file/0
func transform_hlds.ctgc.structure_reuse.lbu.this_file/0
func transform_hlds.ctgc.structure_reuse.lfu.this_file/0
func transform_hlds.ctgc.structure_reuse.versions.this_file/0
func transform_hlds.ctgc.structure_sharing.analysis.this_file/0
func transform_hlds.ctgc.structure_sharing.domain.this_file/0
func transform_hlds.dead_proc_elim.this_file/0
func transform_hlds.deforest.this_file/0
func transform_hlds.delay_construct.this_file/0
func transform_hlds.dep_par_conj.this_file/0
func transform_hlds.equiv_type_hlds.this_file/0
func transform_hlds.exception_analysis.this_file/0
func transform_hlds.higher_order.this_file/0
func transform_hlds.inlining.this_file/0
func transform_hlds.intermod.this_file/0
func transform_hlds.lambda.this_file/0
func transform_hlds.lco.this_file/0
func transform_hlds.loop_inv.this_file/0
func transform_hlds.pd_cost.this_file/0
func transform_hlds.pd_info.this_file/0
func transform_hlds.pd_term.this_file/0
func transform_hlds.pd_util.this_file/0
func transform_hlds.post_term_analysis.this_file/0
func transform_hlds.size_prof.this_file/0
func transform_hlds.table_gen.this_file/0
func transform_hlds.tabling_analysis.this_file/0
func transform_hlds.term_constr_build.this_file/0
func transform_hlds.term_constr_data.this_file/0
func transform_hlds.term_constr_errors.this_file/0
func transform_hlds.term_constr_fixpoint.this_file/0
func transform_hlds.term_constr_initial.this_file/0
func transform_hlds.term_constr_pass2.this_file/0
func transform_hlds.term_constr_util.this_file/0
func transform_hlds.term_errors.this_file/0
func transform_hlds.term_norm.this_file/0
func transform_hlds.term_pass1.this_file/0
func transform_hlds.term_pass2.this_file/0
func transform_hlds.term_traversal.this_file/0
func transform_hlds.term_util.this_file/0
func transform_hlds.termination.this_file/0
func transform_hlds.trailing_analysis.this_file/0
func transform_hlds.tupling.this_file/0
func transform_hlds.unneeded_code.this_file/0
func transform_hlds.untupling.this_file/0
func transform_hlds.unused_args.this_file/0
pred exception.throw/1
func exception.throw/1
func int.times/2
pred time.times/4
pred bag.to_assoc_list/2
func bag.to_assoc_list/1
pred bimap.to_assoc_list/2
func bimap.to_assoc_list/1
func hash_table.to_assoc_list/1
pred hlds.instmap.to_assoc_list/2
pred map.to_assoc_list/2
func map.to_assoc_list/1
pred multi_map.to_assoc_list/2
func multi_map.to_assoc_list/1
pred pqueue.to_assoc_list/2
func pqueue.to_assoc_list/1
func rbtree.to_assoc_list/1
pred relation.to_assoc_list/2
func relation.to_assoc_list/1
func version_hash_table.to_assoc_list/1
func hash_table.to_assoc_list_2/3
pred relation.to_assoc_list_2/5
pred string.to_char_list/2
func string.to_char_list/1
func pprint.to_doc/1
func pprint.to_doc/2
func pprint.to_doc/3
pred multi_map.to_flat_assoc_list/2
func multi_map.to_flat_assoc_list/1
pred int.to_float/2
pred string.to_float/2
pred char.to_int/2
func char.to_int/1
func enum.to_int/1
pred string.to_int/2
pred relation.to_key_assoc_list/2
func relation.to_key_assoc_list/1
pred array.to_list/2
func array.to_list/1
pred bag.to_list/2
func bag.to_list/1
pred bintree.to_list/2
func bintree.to_list/1
pred bt_array.to_list/2
func bt_array.to_list/1
func queue.to_list/1
func version_array.to_list/1
pred bag.to_list_2/2
pred bintree.to_list_2/3
pred bag.to_list_without_duplicates/2
func bag.to_list_without_duplicates/1
pred char.to_lower/2
func char.to_lower/1
pred string.to_lower/2
func string.to_lower/1
func bag.to_set/1
pred group.to_set/2
func group.to_set/1
func sparse_bitset.to_set/1
pred bag.to_set_without_duplicates/2
func bag.to_set_without_duplicates/1
pred map.to_sorted_assoc_list/2
func map.to_sorted_assoc_list/1
pred bintree_set.to_sorted_list/2
func bintree_set.to_sorted_list/1
pred set.to_sorted_list/2
func set.to_sorted_list/1
pred set_bbbtree.to_sorted_list/2
func set_bbbtree.to_sorted_list/1
func set_ctree234.to_sorted_list/1
pred set_ordlist.to_sorted_list/2
func set_ordlist.to_sorted_list/1
func set_tree234.to_sorted_list/1
pred set_unordlist.to_sorted_list/2
func set_unordlist.to_sorted_list/1
pred sparse_bitset.to_sorted_list/2
func sparse_bitset.to_sorted_list/1
func analysis.to_string/1
func integer.to_string/1
func libs.rat.to_string/1
func pprint.to_string/2
func backend_libs.foreign.to_type_string/2
func backend_libs.foreign.to_type_string/3
pred char.to_upper/2
func char.to_upper/1
pred string.to_upper/2
func string.to_upper/1
func analysis.top/1
pred stack.top/2
pred stack.top_det/2
func stack.top_det/1
pred hlds.make_hlds.add_clause.transform_goal/14
pred ll_backend.deep_profiling.transform_goal/6
pred map.transform_value/4
pred rbtree.transform_value/4
pred tree234.transform_value/4
pred transform_hlds.higher_order.traverse_cases/4
pred transform_hlds.intermod.traverse_cases/5
pred check_hlds.format_call.traverse_conj/13
pred transform_hlds.term_traversal.traverse_conj/8
pred check_hlds.format_call.traverse_disj/13
pred transform_hlds.term_traversal.traverse_disj/8
pred check_hlds.format_call.traverse_goal/13
pred transform_hlds.higher_order.traverse_goal/3
pred transform_hlds.intermod.traverse_goal/5
pred transform_hlds.term_traversal.traverse_goal/8
pred transform_hlds.unused_args.traverse_goal/4
pred transform_hlds.higher_order.traverse_goal_2/4
pred transform_hlds.term_traversal.traverse_goal_2/9
pred transform_hlds.intermod.traverse_list_of_goals/5
pred transform_hlds.unused_args.traverse_list_of_goals/4
pred tree234.tree234_to_assoc_list/2
func tree234.tree234_to_assoc_list/1
pred libs.tree.tree_of_lists_is_empty/1
func libs.tree.tree_of_lists_is_empty/1
pred exception.try/2
pred exception.try/3
pred exception.try_all/2
pred exception.try_all/3
pred exception.try_all/4
pred exception.try_io/4
pred exception.try_io/5
pred exception.try_store/4
pred exception.try_store/5
pred term.try_term_to_type/2
func term.try_term_to_type/1
pred libs.lp.two_phase/6
func libs.lp_rational.two_phase/5
pred rtti_implementation.type_ctor_and_args/3
pred type_desc.type_ctor_and_args/3
pred check_hlds.type_util.type_ctor_arity/3
func rtti_implementation.type_ctor_arity/1
func type_desc.type_ctor_arity/1
func rtti_implementation.type_ctor_module_name/1
func type_desc.type_ctor_module_name/1
pred check_hlds.type_util.type_ctor_name/3
func rtti_implementation.type_ctor_name/1
func type_desc.type_ctor_name/1
pred rtti_implementation.type_ctor_name_and_arity/4
pred type_desc.type_ctor_name_and_arity/4
pred parse_tree.prog_type.type_is_ground/1
pred parse_tree.prog_type.type_is_ground/2
pred parse_tree.prog_type.type_is_higher_order/1
pred parse_tree.prog_type.type_is_higher_order/5
pred parse_tree.prog_type.type_is_nonground/1
pred parse_tree.prog_type.type_is_nonground/2
pred backend_libs.switch_util.type_range/5
pred ll_backend.dense_switch.type_range/4
pred term.type_to_term/2
func term.type_to_term/1
pred string.uncapitalize_first/2
func string.uncapitalize_first/1
func float.unchecked_quotient/2
func int.unchecked_quotient/2
pred libs.compiler_util.unexpected/2
func libs.compiler_util.unexpected/2
pred parser.unexpected/4
pred check_hlds.polymorphism.unification_typeinfos/6
pred check_hlds.polymorphism.unification_typeinfos/7
pred term.unify/4
pred term.unify/5
pred hlds.hlds_out.unify_context_to_pieces/3
pred hlds.hlds_out.unify_context_to_pieces/5
pred term.unify_list/4
pred term.unify_list/5
pred bag.union/3
func bag.union/2
pred bintree_set.union/3
func bintree_set.union/2
func bitmap.union/2
pred map.union/4
func map.union/3
pred set.union/3
func set.union/2
pred set_bbbtree.union/3
func set_bbbtree.union/2
pred set_ctree234.union/3
func set_ctree234.union/2
pred set_ordlist.union/3
func set_ordlist.union/2
pred set_tree234.union/3
func set_tree234.union/2
pred set_unordlist.union/3
func set_unordlist.union/2
pred sparse_bitset.union/3
func sparse_bitset.union/2
func version_bitmap.union/2
pred map.union_2/5
func sparse_bitset.union_2/2
pred hlds.quantification.union_list/2
func set.union_list/1
func set_bbbtree.union_list/1
pred set_ctree234.union_list/2
func set_ctree234.union_list/1
func set_ordlist.union_list/1
pred set_tree234.union_list/2
func set_tree234.union_list/1
func set_unordlist.union_list/1
pred transform_hlds.pd_util.unique_modecheck_goal/7
pred transform_hlds.pd_util.unique_modecheck_goal/8
pred term.univ_to_term/2
func term.univ_to_term/1
pred ll_backend.code_info.unlock_regs/2
pred ll_backend.var_locn.unlock_regs/2
pred bitmap.unsafe_clear/3
func bitmap.unsafe_clear/2
func array2d.unsafe_elem/3
func string.unsafe_elem/2
pred bitmap.unsafe_flip/3
func bitmap.unsafe_flip/2
func rtti_implementation.unsafe_index/2
pred string.unsafe_index/3
func string.unsafe_index/2
pred builtin.unsafe_promise_unique/2
func builtin.unsafe_promise_unique/1
pred version_array.unsafe_rewind/2
func version_array.unsafe_rewind/1
func version_array2d.unsafe_rewind/1
pred version_bitmap.unsafe_rewind/2
func version_bitmap.unsafe_rewind/1
pred version_store.unsafe_rewind/2
func version_store.unsafe_rewind/1
pred array.unsafe_set/4
pred array2d.unsafe_set/5
pred bitmap.unsafe_set/3
func bitmap.unsafe_set/2
pred string.unsafe_set_char/4
func string.unsafe_set_char/3
pred string.unsafe_substring/4
func string.unsafe_substring/3
pred parse_tree.prog_mode.unused_mode/1
func parse_tree.prog_mode.unused_mode/0
pred parse_tree.prog_mode.uo_mode/1
func parse_tree.prog_mode.uo_mode/0
pred bintree.update/4
pred hlds.assertion.update/5
pred injection.update/4
func injection.update/3
pred map.update/4
func map.update/3
pred multi_map.update/4
pred rbtree.update/4
pred svmap.update/4
pred svmulti_map.update/4
pred transform_hlds.accumulator.update/7
pred tree234.update/4
pred check_hlds.mode_constraints.update_mc_info/3
pred check_hlds.mode_constraints.update_mc_info/4
pred hlds.make_hlds.qual_info.update_var_types/7
pred transform_hlds.higher_order.update_var_types/3
pred bintree.upper_bound_lookup/4
pred map.upper_bound_lookup/4
pred rbtree.upper_bound_lookup/4
pred tree234.upper_bound_lookup/4
pred bintree.upper_bound_search/4
pred map.upper_bound_search/4
pred rbtree.upper_bound_search/4
pred tree234.upper_bound_search/4
pred backend_libs.interval.use_cell/8
pred ll_backend.stack_opt.use_cell/8
pred transform_hlds.tupling.use_cell/8
pred string.value_to_revstrings/5
pred string.value_to_revstrings/6
pred assoc_list.values/2
func assoc_list.values/1
pred bintree.values/2
func bintree.values/1
pred injection.values/2
func injection.values/1
pred map.values/2
func map.values/1
pred multi_map.values/2
func multi_map.values/1
pred rbtree.values/2
func rbtree.values/1
pred tree234.values/2
func tree234.values/1
pred bintree.values_2/3
pred tree234.values_2/3
func mode_robdd.tfeirn.var/2
pred private_builtin.var/1
func robdd.var/1
pred libs.lp.var_col/3
func libs.lp_rational.var_col/2
pred mode_robdd.tfeirn.var_entailed/2
pred robdd.var_entailed/2
pred check_hlds.simplify.var_is_named/2
pred ll_backend.liveness.var_is_named/2
pred term.var_list_to_term_list/2
func term.var_list_to_term_list/1
pred varset.var_name_list/2
func varset.var_name_list/1
func mode_robdd.tfeirn.var_restrict_false/2
func robdd.var_restrict_false/2
func mode_robdd.tfeirn.var_restrict_true/2
func robdd.var_restrict_true/2
pred term.var_to_int/2
func term.var_to_int/1
func check_hlds.mode_constraints.vars/1
pred hlds.instmap.vars/2
pred parse_tree.prog_type.vars/2
pred term.vars/2
func term.vars/1
pred varset.vars/2
func varset.vars/1
pred parse_tree.prog_type.vars_2/3
pred term.vars_2/3
func term.vars_2/2
func varset.vars_2/3
func mode_robdd.tfeirn.vars_disentailed/1
func robdd.vars_disentailed/1
func mode_robdd.tfeirn.vars_entailed/1
func robdd.vars_entailed/1
pred hlds.instmap.vars_list/2
pred parse_tree.prog_type.vars_list/2
pred term.vars_list/2
func term.vars_list/1
pred bytecode_backend.bytecode.version/1
pred library.version/1
pred mdbcomp.version/1
pred parse_tree.modules.warn_if_duplicate_use_import_decls/7
pred parse_tree.modules.warn_if_duplicate_use_import_decls/11
pred time.wday_name/2
func time.wday_name/1
func string.word_wrap/2
func string.word_wrap/3
func string.words/1
func string.words/2
pred transform_hlds.ctgc.structure_sharing.domain.wrap/2
func transform_hlds.ctgc.structure_sharing.domain.wrap/1
pred io.write/3
pred io.write/4
pred io.write/5
pred pprint.write/4
pred pprint.write/5
pred analysis.file.write_analysis_file/6
pred analysis.file.write_analysis_file/8
pred io.write_binary/3
pred io.write_binary/4
pred io.write_byte/3
pred io.write_byte/4
pred io.write_bytes/3
pred io.write_bytes/4
pred io.write_char/3
pred io.write_char/4
pred hlds.hlds_out.write_classes/4
pred transform_hlds.intermod.write_classes/3
pred hlds.hlds_out.write_clause/12
pred transform_hlds.intermod.write_clause/10
pred term_io.write_constant/3
pred term_io.write_constant/4
pred check_hlds.typecheck_errors.write_constraints/4
pred libs.lp_rational.write_constraints/4
pred make.util.write_dependency_file/3
pred parse_tree.modules.write_dependency_file/5
pred term_to_xml.write_dtd/5
pred term_to_xml.write_dtd/6
pred term_to_xml.write_dtd_from_type/5
pred term_to_xml.write_dtd_from_type/6
pred parse_tree.error_util.write_error_pieces_maybe_with_context/5
pred parse_tree.error_util.write_error_pieces_maybe_with_context/6
pred io.write_float/3
pred io.write_float/4
pred hlds.hlds_out.write_functor/6
pred hlds.hlds_out.write_functor/7
pred hlds.hlds_out.write_instances/4
pred transform_hlds.intermod.write_instances/3
pred hlds.hlds_out.write_insts/4
pred transform_hlds.intermod.write_insts/3
pred io.write_int/3
pred io.write_int/4
pred io.write_list/5
pred io.write_list/6
pred ml_backend.ilasm.write_list/7
pred parse_tree.prog_out.write_list/4
pred io.write_list_tail/4
pred term_io.write_list_tail/8
pred io.write_many/3
pred io.write_many/4
pred hlds.hlds_out.write_modes/4
pred transform_hlds.intermod.write_modes/3
pred analysis.write_module_analysis_results/5
pred analysis.file.write_module_analysis_results/7
pred transform_hlds.intermod.write_optfile/4
pred transform_hlds.trans_opt.write_optfile/3
pred transform_hlds.intermod.write_pragmas/3
pred transform_hlds.intermod.write_pragmas/6
pred hlds.hlds_out.write_pred_proc_id/4
pred hlds.hlds_out.write_pred_proc_id/5
pred hlds.hlds_out.write_preds/5
pred transform_hlds.intermod.write_preds/4
pred hlds.passes_aux.write_proc_progress_message/5
pred hlds.passes_aux.write_proc_progress_message/6
pred parse_tree.prog_out.write_simple_call_id/3
pred parse_tree.prog_out.write_simple_call_id/4
pred parse_tree.prog_out.write_simple_call_id/5
pred io.write_string/3
pred io.write_string/4
pred io.write_strings/3
pred io.write_strings/4
pred io.write_term_args/4
pred term_io.write_term_args/8
pred check_hlds.typecheck_info.write_type_assign_constraints/5
pred check_hlds.typecheck_info.write_type_assign_constraints/7
pred hlds.hlds_out.write_types/4
pred transform_hlds.intermod.write_types/3
pred hlds.hlds_out.write_unify_context/4
pred hlds.hlds_out.write_unify_context/6
pred io.write_univ/3
pred io.write_univ/4
pred io.write_univ/5
pred term_to_xml.write_xml_doc/3
pred term_to_xml.write_xml_doc/4
pred term_to_xml.write_xml_doc/5
pred term_to_xml.write_xml_doc/6
pred term_to_xml.write_xml_doc/7
pred term_to_xml.write_xml_doc/8
pred term_to_xml.write_xml_doc_cc/7
pred term_to_xml.write_xml_doc_cc/8
pred term_to_xml.write_xml_element/4
pred term_to_xml.write_xml_element/5
pred term_to_xml.write_xml_element/6
pred term_to_xml.write_xml_header/3
pred term_to_xml.write_xml_header/4
func bool.xor/2
pred check_hlds.abstract_mode_constraints.xor/5
func int.xor/2
func integer.xor/2
func integer.zero/0
func libs.rat.zero/0
func mode_robdd.tfeirn.zero/0
func rational.zero/0
func robdd.zero/0
func bitmap.zip/4
pred list.zip/3
func list.zip/2
func version_bitmap.zip/4
Total: 1185 names used 4333 times, maximum 239, average: 3.66
Ambiguous type names:
analysis.analysis_type/0
mdb.declarative_analyser.analysis_type/1
transform_hlds.constraint.annotated_conj/0
transform_hlds.deforest.annotated_conj/0
graph.arc/0
graph.arc/1
mdbcomp.program_representation.arg_pos/0
transform_hlds.dep_par_conj.arg_pos/0
transform_hlds.term_constr_data.arg_size_result/0
transform_hlds.term_pass1.arg_size_result/0
mdb.debugger_interface.arity/0
mdb.name_mangle.arity/0
parse_tree.prog_data.arity/0
ops.assoc/0
transform_hlds.accumulator.assoc/0
assoc_list.assoc_list/1
assoc_list.assoc_list/2
backend_libs.rtti.base_typeclass_info/0
private_builtin.base_typeclass_info/0
backend_libs.interval.branch_end_info/0
ll_backend.code_info.branch_end_info/0
make.util.build/1
make.util.build/2
make.util.build/3
ml_backend.ilds.call_kind/0
ml_backend.mlds.call_kind/0
libs.lp.cell/0
libs.lp_rational.cell/0
transform_hlds.higher_order.changed/0
transform_hlds.lco.changed/0
ml_backend.ilds.class_name/0
parse_tree.prog_data.class_name/0
builtin.comparison_pred/1
parse_tree.prog_data.comparison_pred/0
libs.lp_rational.constant/0
ml_backend.ilds.constant/0
libs.lp_rational.constraint/0
transform_hlds.constraint.constraint/0
hlds.hlds_module.dependency_graph/0
hlds.hlds_module.dependency_graph/1
hlds.hlds_module.dependency_info/0
hlds.hlds_module.dependency_info/1
hlds.hlds_module.dependency_ordering/0
hlds.hlds_module.dependency_ordering/1
exception.determinism/0
mdb.debugger_interface.determinism/0
parse_tree.prog_data.determinism/0
libs.lp.direction/0
libs.lp_rational.direction/0
mdb.dl.dl_result/0
mdb.dl.dl_result/1
ml_backend.ml_elim_nested.elim_info/0
transform_hlds.dead_proc_elim.elim_info/0
libs.lp_rational.entailment_result/0
robdd.entailment_result/1
check_hlds.format_call.eqv_map/0
parse_tree.equiv_type.eqv_map/0
io.error/0
transform_hlds.term_constr_errors.error/0
mdb.debugger_interface.event_number/0
mdb.declarative_execution.event_number/0
backend_libs.rtti.exist_info/0
rtti_implementation.exist_info/0
check_hlds.inst_match.expansions/0
transform_hlds.pd_util.expansions/0
mdb.listing.file_name/0
parse_tree.prog_io.file_name/0
ml_backend.mlds_to_c.func_info/0
ml_backend.mlds_to_java.func_info/0
hlds.hlds_goal.goal_path/0
mdbcomp.program_representation.goal_path/0
hlds.hlds_goal.goal_path_step/0
mdbcomp.program_representation.goal_path_step/0
transform_hlds.accumulator.goal_store/0
transform_hlds.goal_store.goal_store/1
graph.graph/1
graph.graph/2
hash_table.hash_pred/1
version_hash_table.hash_pred/1
hash_table.hash_table/2
ll_backend.fact_table.hash_table/0
check_hlds.stratify.higher_order_info/0
transform_hlds.higher_order.higher_order_info/0
hlds.hlds_pred.import_status/0
parse_tree.module_qual.import_status/0
ml_backend.mlds_to_c.indent/0
ml_backend.mlds_to_java.indent/0
ll_backend.llds.instr/0
ml_backend.ilds.instr/0
libs.process_util.io_pred/0
mdb.interactive_query.io_pred/0
backend_libs.rtti.is_stable/0
transform_hlds.ctgc.fixpoint_table.is_stable/0
recompilation.item_id_set/1
recompilation.item_id_set/3
ll_backend.llds.label/0
ml_backend.ilds.label/0
ml_backend.ilds.locals/0
ml_backend.ml_tailcall.locals/0
ml_backend.ilds.location/0
transform_hlds.unneeded_code.location/0
libs.lp.lp_info/0
libs.lp_rational.lp_info/0
check_hlds.modecheck_call.match/0
mdb.debugger_interface.match/1
transform_hlds.ctgc.structure_reuse.direct.choose_reuse.match/0
transform_hlds.higher_order.match/0
parse_tree.prog_io_util.maybe1/1
parse_tree.prog_io_util.maybe1/2
parse_tree.prog_io_util.maybe2/2
parse_tree.prog_io_util.maybe2/3
parse_tree.prog_io_util.maybe3/3
parse_tree.prog_io_util.maybe3/4
parse_tree.prog_io_util.maybe4/4
parse_tree.prog_io_util.maybe4/5
hlds.hlds_goal.maybe_cut/0
mdbcomp.program_representation.maybe_cut/0
maybe.maybe_error/0
maybe.maybe_error/1
parse_tree.prog_io_util.maybe_functor/0
parse_tree.prog_io_util.maybe_functor/1
getopt.maybe_option_table/1
getopt_io.maybe_option_table/1
libs.options.maybe_option_table/0
check_hlds.abstract_mode_constraints.mc_type/0
check_hlds.mode_constraint_robdd.mc_type/0
mdb.name_mangle.mode_num/0
parse_tree.prog_data.mode_num/0
mdb.name_mangle.module_name/0
mdbcomp.prim_data.module_name/0
mutvar.mutvar/1
private_builtin.mutvar/1
version_store.mutvar/2
graph.node/1
hlds.inst_graph.node/0
mdb.help.node/0
libs.lp.objective/0
libs.lp_rational.objective/0
libs.lp.operator/0
libs.lp_rational.operator/0
getopt.option_data/0
getopt_io.option_data/0
getopt.option_ops/1
getopt_io.option_ops/1
getopt.option_ops_internal/1
getopt_io.option_ops_internal/1
getopt.option_ops_special/1
getopt_io.option_ops_special/1
getopt.option_ops_track/1
getopt_io.option_ops_track/1
getopt.option_table/1
getopt_io.option_table/1
libs.options.option_table/0
pair.pair/1
pair.pair/2
ll_backend.stack_opt.path/0
mdb.help.path/0
mdb.parse.path/0
io.poly_type/0
string.poly_type/0
mdbcomp.rtti_access.proc_layout/0
profiling_builtin.proc_layout/0
transform_hlds.exception_analysis.proc_result/0
transform_hlds.tabling_analysis.proc_result/0
transform_hlds.trailing_analysis.proc_result/0
transform_hlds.exception_analysis.proc_results/0
transform_hlds.tabling_analysis.proc_results/0
transform_hlds.trailing_analysis.proc_results/0
term_io.read_term/0
term_io.read_term/1
io.res/0
io.res/1
io.result/0
io.result/1
libs.lp.result/0
robdd.robdd/0
robdd.robdd/1
transform_hlds.dependency_graph.scc/0
transform_hlds.exception_analysis.scc/0
transform_hlds.tabling_analysis.scc/0
transform_hlds.term_constr_pass2.scc/0
transform_hlds.trailing_analysis.scc/0
backend_libs.rtti.sectag_locn/0
rtti_implementation.sectag_locn/0
set_ctree234.set_tree234/1
set_tree234.set_tree234/1
check_hlds.goal_path.slot_info/0
ll_backend.saved_vars.slot_info/0
getopt.special_data/0
getopt_io.special_data/0
ops.specifier/0
string.specifier/0
io.state/0
parser.state/2
dir.stream/0
io.stream/0
hlds.assertion.subst/0
transform_hlds.accumulator.subst/0
term.substitution/0
term.substitution/1
mdb.name_mangle.sym_name/0
mdbcomp.prim_data.sym_name/0
libs.lp.tableau/0
libs.lp_rational.tableau/0
term.term/0
term.term/1
term.term_to_type_result/1
term.term_to_type_result/2
mode_robdd.tfeirn.tfeirn/0
mode_robdd.tfeirn.tfeirn/1
builtin.ticket/0
private_builtin.ticket/0
lexer.token/0
mdb.parse.token/0
transform_hlds.tupling.transform_map/0
transform_hlds.untupling.transform_map/0
transform_hlds.tupling.transformed_proc/0
transform_hlds.untupling.transformed_proc/0
transform_hlds.term_constr_build.traversal_info/0
transform_hlds.term_traversal.traversal_info/0
private_builtin.type_ctor_info/0
rtti_implementation.type_ctor_info/0
private_builtin.type_info/0
rtti_implementation.type_info/0
unit.unit/0
unit.unit/1
check_hlds.mcsolver.var/0
term.var/0
term.var/1
check_hlds.abstract_mode_constraints.var_constraint/0
check_hlds.abstract_mode_constraints.var_constraint/1
transform_hlds.table_gen.var_mode_pos_method/0
transform_hlds.table_gen.var_mode_pos_method/1
libs.lp_rational.var_num_map/0
ll_backend.prog_rep.var_num_map/0
check_hlds.mcsolver.vars/0
robdd.vars/1
varset.varset/0
varset.varset/1
transform_hlds.higher_order.version_info/0
transform_hlds.pd_info.version_info/0
Total: 112 names used 241 times, maximum 5, average: 2.15
Ambiguous function symbols:
&/1 ml_backend.ilasm.data_item/0
&/1 ml_backend.ilds.simple_type/0
->/2 hlds.hlds_goal.uni_mode/0
->/2 parse_tree.prog_data.mer_mode/0
//0 mdb.parse.token/0
//2 hlds.pred_table.name_arity/0
//2 parse_tree.prog_data.sym_name_and_arity/0
</0 builtin.comparison_result/0
</0 mdb.parse.token/0
=/0 builtin.comparison_result/0
=/0 libs.lp.operator/0
=/0 libs.lp_rational.operator/0
=</0 libs.lp.operator/0
=</0 libs.lp_rational.operator/0
>=/0 libs.lp.operator/0
>=/0 libs.lp_rational.operator/0
[]/0 list.list/1
[]/2 ml_backend.ilds.simple_type/0
abort_diagnosis/0 mdb.declarative_debugger.decl_confirmation/0
abort_diagnosis/0 mdb.declarative_oracle.oracle_response/1
abort_diagnosis/0 mdb.declarative_user.user_response/1
aborted/0 libs.lp_rational.projection_result/0
aborted/0 libs.polyhedron.convex_hull_result/0
abstract/0 ml_backend.ilasm.classattr/0
abstract/0 ml_backend.ilasm.methattr/0
abstract/0 ml_backend.mlds.abstractness/0
abstract/0 parse_tree.prog_data.class_interface/0
abstract/0 parse_tree.prog_data.instance_body/0
abstract_imported/0 hlds.hlds_pred.import_status/0
abstract_imported/0 parse_tree.module_qual.import_status/0
abstract_imported/0 parse_tree.prog_item.module_defn/0
abstract_inst/0 hlds.hlds_data.hlds_inst_body/0
abstract_inst/0 parse_tree.prog_data.inst_defn/0
abstract_inst/2 parse_tree.prog_data.mer_inst/0
abstract_type/1 hlds.hlds_data.hlds_type_body/0
abstract_type/1 parse_tree.prog_data.type_defn/0
accumulating/1 getopt.option_data/0
accumulating/1 getopt_io.option_data/0
add/0 hlds.make_hlds.add_pragma.foreign_proc_action/0
add/2 ml_backend.ilds.instr/0
adt/1 parse_tree.prog_data.sym_list/0
adt/1 parse_tree.prog_data.sym_specifier/0
after/0 check_hlds.simplify.before_after/0
after/0 ops.category/0
any/0 recompilation.check.functor_match_arity/0
any/1 parse_tree.prog_data.mer_inst/0
any_reg/0 hlds.hlds_llds.abs_locn/0
any_reg/0 ll_backend.llds.lval_or_any_reg/0
arg/1 deconstruct.maybe_arg/0
arg/1 mdb.parse.token/0
arg_info/2 hlds.hlds_pred.arg_info/0
arg_info/3 mdb.declarative_execution.trace_atom_arg/0
assembly/0 ml_backend.ilasm.fieldattr/0
assembly/0 ml_backend.ilasm.methattr/0
assembly/1 ml_backend.ilasm.decl/0
assembly/1 ml_backend.ilds.assembly_name/0
assign/2 backend_libs.builtin_ops.simple_code/1
assign/2 bytecode_backend.bytecode.byte_code/0
assign/2 hlds.hlds_goal.unification/0
assign/2 ll_backend.llds.instr/0
assign/2 ml_backend.mlds.mlds_atomic_statement/0
at/1 ml_backend.ilasm.field_initializer/0
at/2 check_hlds.build_mode_constraints.mc_rep_var/0
at/2 check_hlds.mode_constraint_robdd.rep_var/0
at_most_one/0 parse_tree.prog_data.soln_count/0
at_most_one/1 check_hlds.abstract_mode_constraints.var_constraint/1
at_most_one/1 check_hlds.mcsolver.complex_cstrt/0
atom/1 term.const/0
atom/2 mdb.declarative_execution.trace_atom/0
automatic/0 libs.globals.gc_method/0
automatic/0 parse_tree.prog_data.pragma_shared_code_treatment/0
backend/1 parse_tree.prog_data.pragma_foreign_proc_extra_attribute/0
backend/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
base_typeclass_info/0 backend_libs.rtti.impl_ctor/0
base_typeclass_info/0 rtti_implementation.type_ctor_rep/0
base_typeclass_info/2 backend_libs.rtti.tc_rtti_name/0
base_typeclass_info/4 backend_libs.rtti.rtti_data/0
base_typeclass_info/6 backend_libs.rtti.base_typeclass_info/0
base_typeclass_info_const/3 bytecode_backend.bytecode.byte_cons_id/0
base_typeclass_info_const/4 parse_tree.prog_data.cons_id/0
before/0 check_hlds.simplify.before_after/0
before/0 ops.category/0
binary/0 io.stream_content/0
binary/0 mdb.declarative_user.user_search_mode/0
binary/3 backend_libs.builtin_ops.simple_expr/1
binary/3 mdb.declarative_analyser.reason_for_question/0
binary/3 mdb.declarative_analyser.search_mode/0
binary_prefix/0 parse_tree.prog_data.fixity/0
binary_prefix/2 ops.class/0
binop/3 ll_backend.llds.rval/0
binop/3 ml_backend.mlds.mlds_rval/0
bitwise_and/0 backend_libs.builtin_ops.binary_op/0
bitwise_and/0 ml_backend.ilds.instr/0
bitwise_or/0 backend_libs.builtin_ops.binary_op/0
bitwise_or/0 ml_backend.ilds.instr/0
bitwise_xor/0 backend_libs.builtin_ops.binary_op/0
bitwise_xor/0 ml_backend.ilds.instr/0
block/2 ml_backend.mlds.mlds_stmt/0
block/3 ll_backend.llds.instr/0
bool/0 ll_backend.llds.llds_type/0
bool/0 ml_backend.ilds.simple_type/0
bool/1 getopt.option_data/0
bool/1 getopt.special_data/0
bool/1 getopt_io.option_data/0
bool/1 getopt_io.special_data/0
bool_special/0 getopt.option_data/0
bool_special/0 getopt_io.option_data/0
both/0 transform_hlds.term_constr_data.recursion_type/0
both/3 hlds.hlds_clauses.clauses_rep/0
bound/2 parse_tree.prog_data.mer_inst/0
bound/2 type_desc.pseudo_type_rep/0
box/1 ml_backend.ilds.instr/0
box/1 ml_backend.mlds.mlds_unary_op/0
box/4 rtree.box/0
branch_end_info/1 ll_backend.code_info.branch_end_info/0
branch_end_info/3 backend_libs.interval.branch_end_info/0
break/0 ml_backend.ilds.instr/0
break/0 ml_backend.mlds.mlds_goto_target/0
browse/0 mdb.browser_info.browse_caller_type/0
browse/1 mdb.debugger_interface.debugger_request/0
bug_found/1 mdb.declarative_debugger.diagnoser_response/1
bug_found/2 mdb.declarative_analyser.analyser_response/1
builtin/0 mdbcomp.program_representation.builtin_mod/0
builtin/0 transform_hlds.term_constr_main.term_reason/0
builtin/1 backend_libs.rtti.type_ctor_details/0
builtin/1 parse_tree.prog_data.mer_type/0
c/1 parse_tree.prog_data.foreign_language_type/0
c/1 string.poly_type/0
c/1 string.spec/0
c_pointer/0 rtti_implementation.type_ctor_rep/0
c_pointer/1 backend_libs.rtti.builtin_ctor/0
call/0 ll_backend.trace_gen.external_trace_port/0
call/0 mdbcomp.prim_data.trace_port/0
call/1 check_hlds.mode_info.call_context/0
call/1 hlds.hlds_pred.call_id/0
call/1 hlds.make_hlds.superhomogeneous.arg_context/0
call/1 ml_backend.ilds.instr/0
call/2 hlds.hlds_goal.unify_main_context/0
call/3 hlds.assertion.call_or_consid/0
call/5 bytecode_backend.bytecode.byte_code/0
call/7 transform_hlds.term_constr_data.abstract_goal/0
call/10 mdb.declarative_execution.trace_node/1
call_info/4 transform_hlds.unused_args.new_proc_info/0
call_info/5 ll_backend.continuation_info.call_info/0
call_site/0 backend_libs.interval.save_point_type/0
call_site/1 backend_libs.interval.anchor/0
can_loop/0 hlds.goal_form.goal_loop_status/0
can_loop/1 parse_tree.prog_data.generic_termination_info/2
can_loop_proc_called/2 transform_hlds.term_constr_errors.termination2_error/0
can_loop_proc_called/2 transform_hlds.term_errors.termination_error/0
can_throw/0 hlds.goal_form.goal_throw_status/0
can_throw/0 ml_backend.mlds_to_java.exit_method/0
cannot_loop/0 hlds.goal_form.goal_loop_status/0
cannot_loop/1 parse_tree.prog_data.generic_termination_info/2
case/2 hlds.hlds_goal.case/0
case/4 backend_libs.switch_util.extended_case/0
cast/1 hlds.hlds_goal.generic_call/0
cast/1 hlds.hlds_pred.generic_call_id/0
cast/1 ml_backend.mlds.mlds_unary_op/0
cc_query/0 mdb.interactive_query.query_type/0
cc_query/1 mdb.debugger_interface.debugger_request/0
cd/0 mdb.parse.command/0
cd/1 mdb.parse.command/0
cell/2 libs.lp.cell/0
cell/2 libs.lp_rational.cell/0
change_search/1 mdb.declarative_oracle.oracle_response/1
change_search/1 mdb.declarative_user.user_command/0
change_search/1 mdb.declarative_user.user_response/1
changed/0 check_hlds.det_util.maybe_changed/0
changed/0 transform_hlds.higher_order.changed/0
changed/0 transform_hlds.lco.changed/0
char/0 backend_libs.rtti.builtin_ctor/0
char/0 ml_backend.ilds.simple_type/0
char/0 rtti_implementation.type_ctor_rep/0
check_termination/0 hlds.hlds_pred.marker/0
check_termination/0 libs.options.option/0
check_termination/2 parse_tree.prog_item.pragma_type/0
class/1 ml_backend.ilds.simple_type/0
class/5 ml_backend.ilasm.decl/0
class_id/0 parse_tree.module_qual.id_type/0
class_id/2 parse_tree.prog_data.class_id/0
class_method/0 hlds.hlds_pred.marker/0
class_method/2 hlds.hlds_pred.generic_call_id/0
class_method/4 hlds.hlds_goal.generic_call/0
clause/4 hlds.hlds_clauses.clause/0
clause/6 parse_tree.prog_item.item/0
clauses/0 check_hlds.unify_proc.unify_pred_item/0
clauses/0 hlds.hlds_pred.goal_type/0
clauses/1 parse_tree.prog_data.instance_proc_def/0
code_addr_const/1 ll_backend.llds.rval_const/0
code_addr_const/1 ml_backend.mlds.mlds_rval_const/0
comment/1 ll_backend.llds.instr/0
comment/1 ml_backend.ilasm.class_member/0
comment/1 ml_backend.ilasm.decl/0
comment/1 ml_backend.ilds.instr/0
comment/1 ml_backend.mlds.mlds_atomic_statement/0
comment/1 term_to_xml.xml/0
comment_term/1 ml_backend.ilasm.class_member/0
comment_term/1 ml_backend.ilasm.decl/0
comment_thing/1 ml_backend.ilasm.class_member/0
comment_thing/1 ml_backend.ilasm.decl/0
commit/0 ll_backend.llds.reset_trail_reason/0
commit/0 ml_backend.mlds.mlds_reset_trail_reason/0
commit/1 hlds.hlds_goal.scope_reason/0
common_struct/0 check_hlds.simplify.simplification/0
common_struct/0 libs.options.option/0
computed_goto/2 ll_backend.llds.instr/0
computed_goto/2 ml_backend.mlds.mlds_stmt/0
concrete/0 ml_backend.mlds.abstractness/0
concrete/1 parse_tree.prog_data.class_interface/0
concrete/1 parse_tree.prog_data.instance_body/0
conditional/0 parse_tree.prog_data.exception_status/0
conditional/0 parse_tree.prog_data.trailing_status/0
conditional/1 transform_hlds.ctgc.structure_reuse.domain.reuse_as/0
conj/1 check_hlds.abstract_mode_constraints.constraint_formula/0
conj/1 hlds.hlds_goal.goal_path_step/0
conj/1 mdbcomp.program_representation.goal_path_step/0
conj/2 hlds.hlds_goal.hlds_goal_expr/0
conj/3 transform_hlds.term_constr_data.abstract_goal/0
cons/1 hlds.assertion.call_or_consid/0
cons/1 parse_tree.prog_data.sym_list/0
cons/1 parse_tree.prog_data.sym_specifier/0
cons/2 parse_tree.prog_data.cons_id/0
cons/3 bt_array.ra_list/1
cons/4 bytecode_backend.bytecode.byte_cons_id/0
const/0 ml_backend.ilds.type_modifier/0
const/0 ml_backend.mlds.constness/0
const/1 ll_backend.llds.rval/0
const/1 ml_backend.mlds.mlds_rval/0
const/1 transform_hlds.const_prop.arg_val/0
constant/1 parse_tree.prog_io.collected_mutable_attribute/0
constant/2 transform_hlds.higher_order.maybe_const/0
constraint/0 hlds.hlds_goal.goal_feature/0
constraint/2 parse_tree.prog_data.prog_constraint/0
constraint/3 hlds.hlds_data.hlds_constraint/0
constraint/4 transform_hlds.constraint.constraint/0
constraints/2 parse_tree.prog_data.prog_constraints/0
constraints/2 parse_tree.prog_io.decl_attribute/0
constraints/3 hlds.hlds_data.hlds_constraints/0
construct/3 bytecode_backend.bytecode.byte_code/0
construct/7 hlds.hlds_goal.unification/0
context/0 libs.trace_params.port_category/0
context/1 bytecode_backend.bytecode.byte_code/0
context/2 ml_backend.ilds.instr/0
context/2 term.context/0
conv/1 ml_backend.ilds.instr/0
conv/4 string.specifier/0
correct/0 mdb.declarative_debugger.decl_truth/0
correct/0 mdb.declarative_edt.suspect_status/0
counter/1 counter.counter/0
counter/2 parse_tree.prog_util.new_pred_id/0
csharp_flags/0 libs.options.option/0
csharp_flags/0 make.options_file.options_variable_type/0
ctor/0 ml_backend.ilds.member_name/0
ctor/4 parse_tree.prog_data.constructor/0
curfr/0 backend_libs.rtti.impl_ctor/0
curfr/0 ll_backend.llds.live_value_type/0
curfr/0 ll_backend.llds.lval/0
curfr/0 rtti_implementation.type_ctor_rep/0
current_live_var_names/0 mdb.debugger_interface.debugger_request/0
current_live_var_names/2 mdb.debugger_interface.debugger_response/0
current_nth_var/1 mdb.debugger_interface.debugger_request/0
current_nth_var/1 mdb.debugger_interface.debugger_response/0
current_vars/0 mdb.debugger_interface.debugger_request/0
current_vars/2 mdb.debugger_interface.debugger_response/0
custom/1 hlds.hlds_pred.attribute/0
custom/1 ml_backend.ilasm.assembly_decl/0
custom/1 ml_backend.ilasm.class_member/0
custom/1 ml_backend.ilasm.decl/0
custom/1 ml_backend.ilasm.method_body_decl/0
custom/1 ml_backend.mlds.mlds_attribute/0
custom/1 term_to_xml.element_mapping/0
cut/0 hlds.hlds_goal.maybe_cut/0
cut/0 mdbcomp.program_representation.maybe_cut/0
cycle/2 transform_hlds.term_constr_pass2.cycle/0
cycle/2 transform_hlds.term_errors.termination_error/0
data/1 term_to_xml.xml/0
data/3 ml_backend.ilasm.decl/0
data_addr/2 ll_backend.llds.data_addr/0
data_addr/2 ml_backend.mlds.mlds_data_addr/0
data_addr_const/1 ml_backend.mlds.mlds_rval_const/0
data_addr_const/2 ll_backend.llds.rval_const/0
dead/0 hlds.hlds_pred.liveness/0
dead/0 ll_backend.var_locn.dead_or_alive/0
dead/0 parse_tree.prog_data.is_live/0
deconstruct/3 bytecode_backend.bytecode.byte_code/0
deconstruct/6 hlds.hlds_goal.unification/0
default/0 make.options_file.options_variable_class/0
default/0 ml_backend.ilds.call_kind/0
default/0 ml_backend.mlds.access/0
deforestation/0 hlds.hlds_pred.pred_creation/0
deforestation/0 libs.options.option/0
det/0 exception.determinism/0
det/1 mdb.debugger_interface.debugger_response/0
direct/1 hlds.hlds_pred.table_locn/0
direct/1 ll_backend.llds.layout_locn/0
discard_ticket/0 ll_backend.llds.instr/0
discard_ticket/0 ml_backend.mlds.trail_op/0
disj/0 backend_libs.interval.branch_construct/0
disj/0 check_hlds.mode_errors.merge_context/0
disj/0 mdbcomp.prim_data.trace_port/0
disj/1 check_hlds.abstract_mode_constraints.constraint_formula/0
disj/1 hlds.hlds_goal.goal_path_step/0
disj/1 hlds.hlds_goal.hlds_goal_expr/0
disj/1 mdbcomp.program_representation.goal_path_step/0
disj/4 transform_hlds.term_constr_data.abstract_goal/0
divide_and_query/0 mdb.declarative_user.user_search_mode/0
divide_and_query/1 mdb.declarative_analyser.search_mode/0
divide_and_query/3 mdb.declarative_analyser.reason_for_question/0
dl_error/1 mdb.dl.dl_result/0
dl_error/1 mdb.dl.dl_result/1
dl_ok/0 mdb.dl.dl_result/0
dl_ok/1 mdb.dl.dl_result/1
does_not_term_pragma/1 transform_hlds.term_constr_errors.termination2_error/0
does_not_term_pragma/1 transform_hlds.term_errors.termination_error/0
does_not_terminate/0 hlds.hlds_pred.marker/0
does_not_terminate/0 parse_tree.prog_data.terminates/0
does_not_terminate/2 parse_tree.prog_item.pragma_type/0
du/0 rtti_implementation.type_ctor_rep/0
du/4 backend_libs.rtti.type_ctor_details/0
du_functor/2 term_to_xml.maybe_functor_info/0
du_functor/6 backend_libs.rtti.du_functor/0
du_functor_desc/1 backend_libs.rtti.ctor_rtti_name/0
du_functor_desc/1 rtti_implementation.du_functor_desc/0
du_type/2 parse_tree.prog_data.type_defn/0
du_type/6 hlds.hlds_data.hlds_type_body/0
dummy/0 rtti_implementation.type_ctor_rep/0
dummy/0 version_types.prevent_warning_about_empty_interface/0
empty/0 bintree.bintree/2
empty/0 hlds.hlds_goal.reuse_description/0
empty/0 hlds.make_hlds.add_clause.mode_annotations/0
empty/0 libs.tree.tree/1
empty/0 mdb.parse.command/0
empty/0 pqueue.pqueue/2
empty/0 rbtree.rbtree/2
empty/0 rtree.rtree/2
empty/0 set_bbbtree.set_bbbtree/1
empty/0 set_ctree234.set_tree234/1
empty/0 set_tree234.set_tree234/1
empty/0 tree234.tree234/2
empty/0 version_hash_table.bucket/2
end/0 io.whence/0
end/0 lexer.token/0
entry/0 ll_backend.llds_out.wrapper/0
entry/2 ll_backend.llds.label/0
entry/2 transform_hlds.ctgc.fixpoint_table.fp_entry/1
entry/3 mdb.help.entry/0
enum/0 rtti_implementation.type_ctor_rep/0
enum/5 backend_libs.rtti.type_ctor_details/0
enum_functor_desc/1 backend_libs.rtti.ctor_rtti_name/0
enum_functor_desc/1 rtti_implementation.enum_functor_desc/0
env_var_ref/1 ll_backend.llds.c_global_var_ref/0
env_var_ref/1 ml_backend.mlds.global_var_ref/0
eof/0 io.read_result/1
eof/0 io.result/0
eof/0 io.result/1
eof/0 lexer.token/0
eof/0 parse_tree.prog_io.maybe_item_or_eof/0
eof/0 term_io.read_term/1
eq/0 backend_libs.builtin_ops.binary_op/0
eq/2 libs.lp_rational.constraint/0
eq/2 parse_tree.prog_data.arg_size_constr/0
eqv_inst/1 hlds.hlds_data.hlds_inst_body/0
eqv_inst/1 parse_tree.prog_data.inst_defn/0
eqv_mode/1 hlds.hlds_data.hlds_mode_body/0
eqv_mode/1 parse_tree.prog_data.mode_defn/0
eqv_type/1 hlds.hlds_data.hlds_type_body/0
eqv_type/1 parse_tree.prog_data.type_defn/0
erroneous/0 exception.determinism/0
erroneous/0 mdb.declarative_debugger.decl_truth/0
erroneous/0 mdb.declarative_edt.suspect_status/0
error/0 ll_backend.fact_table.fact_result/0
error/0 ll_backend.fact_table.inferred_determinism/0
error/0 make.dependency_status/0
error/0 make.dependencies.dependencies_result/0
error/0 make.options_file.error_if_not_exist/0
error/1 check_hlds.purity.post_typecheck_message/0
error/1 check_hlds.typecheck.maybe_cons_type_info/0
error/1 getopt.maybe_option_table/1
error/1 getopt_io.maybe_option_table/1
error/1 io.chunk_inner_res0/0
error/1 io.res/0
error/1 io.res/1
error/1 io.result/0
error/1 io.result/1
error/1 lexer.token/0
error/1 make.options_file.variable_result/1
error/1 maybe.maybe_error/0
error/1 maybe.maybe_error/1
error/1 mdb.debugger_interface.debugger_request/0
error/1 mdb.debugger_interface.debugger_response/0
error/1 term.term_to_type_result/2
error/1 transform_hlds.term_constr_data.arg_size_result/0
error/1 transform_hlds.term_pass1.arg_size_result/0
error/1 transform_hlds.term_pass1.pass1_result/0
error/1 transform_hlds.term_pass2.pass2_result/0
error/2 io.chunk_inner_res/1
error/2 io.maybe_partial_res/1
error/2 io.read_result/1
error/2 parser.parse/1
error/2 term_io.read_term/1
error/2 transform_hlds.term_traversal.traversal_info/0
errors/0 make.module_target_type/0
errors/1 parse_tree.prog_io.maybe_item_or_eof/0
exact/0 transform_hlds.pd_info.version_is_exact/0
exact/1 mdb.debugger_interface.match/1
exact/1 recompilation.check.functor_match_arity/0
exact/5 mdb.sized_pretty.size_annotated_term/1
exactly_one/1 check_hlds.abstract_mode_constraints.var_constraint/1
exactly_one/1 check_hlds.mcsolver.complex_cstrt/0
exception/0 ll_backend.llds.reset_trail_reason/0
exception/0 mdb.declarative_tree.contour_type/0
exception/0 mdbcomp.prim_data.trace_port/0
exception/0 ml_backend.mlds.mlds_reset_trail_reason/0
exception/1 exception.exception_result/1
exclusive/0 parse_tree.prog_data.promise_type/0
exclusive/1 transform_hlds.closure_analysis.closure_values/0
exist_info/1 backend_libs.rtti.ctor_rtti_name/0
exist_info/1 rtti_implementation.exist_info/0
exist_info/4 backend_libs.rtti.exist_info/0
exit/0 check_hlds.mode_debug.port/0
exit/0 ll_backend.trace_gen.external_trace_port/0
exit/0 mdbcomp.prim_data.trace_port/0
exit/8 mdb.declarative_execution.trace_node/1
exit_diagnosis/1 mdb.declarative_oracle.oracle_response/1
exit_diagnosis/1 mdb.declarative_user.user_response/1
explicit/0 hlds.hlds_goal.unify_main_context/0
explicit/0 ml_backend.ilasm.classattr/0
exported/0 hlds.hlds_pred.import_status/0
exported/0 ll_backend.llds.entry_label_type/0
exported/0 parse_tree.module_qual.import_status/0
external/0 ll_backend.trace_gen.trace_port_info/0
external/0 mdb.browser_info.debugger/0
external/1 hlds.hlds_pred.import_status/0
external/1 term_to_xml.maybe_dtd/0
external/2 parse_tree.prog_item.module_defn/0
f/0 ll_backend.llds.reg_type/0
f/1 ml_backend.ilds.constant/0
f/1 string.poly_type/0
f/1 string.spec/0
fail/0 bytecode_backend.bytecode.byte_code/0
fail/0 ll_backend.trace_gen.external_trace_port/0
fail/0 mdbcomp.prim_data.trace_port/0
fail/0 mdbcomp.slice_and_dice.trace_counts_kind/0
fail/6 mdb.declarative_execution.trace_node/1
failed/0 exception.exception_result/1
failed/0 mdb.declarative_execution.goal_status/0
famandassem/0 ml_backend.ilasm.fieldattr/0
famandassem/0 ml_backend.ilasm.methattr/0
family/0 ml_backend.ilasm.fieldattr/0
family/0 ml_backend.ilasm.methattr/0
famorassem/0 ml_backend.ilasm.fieldattr/0
famorassem/0 ml_backend.ilasm.methattr/0
field/2 recompilation.usage.resolved_functor/0
field/3 ll_backend.llds.lval/0
field/5 ml_backend.ilasm.class_member/0
field/5 ml_backend.mlds.mlds_lval/0
file/1 io.stream_source/0
file/1 ml_backend.ilasm.decl/0
file/1 top_level.mercury_compile.file_or_module/0
file/2 make.dependencies.dependency_file/0
final/0 ml_backend.ilasm.methattr/0
final/0 ml_backend.mlds.finality/0
final/1 mdb.declarative_debugger.some_decl_atom/0
first/0 hlds.hlds_goal.goal_path_step/0
first/0 mdbcomp.program_representation.goal_path_step/0
first/0 transform_hlds.ctgc.selector.step/0
flat/0 mdb.browser_info.portray_format/0
flat/0 mdb.parse.format_option/0
float/0 backend_libs.rtti.builtin_ctor/0
float/0 ll_backend.llds.llds_type/0
float/0 parse_tree.prog_data.builtin_type/0
float/0 rtti_implementation.type_ctor_rep/0
float/1 lexer.token/0
float/1 term.const/0
float32/0 ml_backend.ilds.simple_type/0
float32/1 ml_backend.ilasm.data_item/0
float32/1 ml_backend.ilasm.float32/0
float64/0 ml_backend.ilds.simple_type/0
float64/1 ml_backend.ilasm.data_item/0
float64/1 ml_backend.ilasm.float64/0
float_const/1 backend_libs.builtin_ops.simple_expr/1
float_const/1 bytecode_backend.bytecode.byte_arg/0
float_const/1 bytecode_backend.bytecode.byte_cons_id/0
float_const/1 ll_backend.llds.rval_const/0
float_const/1 ml_backend.mlds.mlds_rval_const/0
float_const/1 parse_tree.prog_data.cons_id/0
float_constant/0 check_hlds.inst_check.bound_inst_functor/0
float_constant/1 hlds.hlds_data.cons_tag/0
foreign/0 rtti_implementation.type_ctor_rep/0
foreign/1 backend_libs.rtti.type_ctor_details/0
foreign/2 backend_libs.foreign.exported_type/0
foreign_import_module/2 parse_tree.prog_item.pragma_type/0
foreign_import_module/3 parse_tree.prog_data.foreign_import_module/0
foreign_name/1 parse_tree.prog_io.collected_mutable_attribute/0
foreign_name/2 parse_tree.prog_item.foreign_name/0
foreign_proc/0 mdb.declarative_edt.primitive_op_type/0
foreign_proc/7 parse_tree.prog_item.pragma_type/0
foreign_type/1 hlds.hlds_data.hlds_type_body/0
foreign_type/3 parse_tree.prog_data.type_defn/0
format/0 term_to_xml.maybe_format/0
format/1 mdb.browser_info.setting/0
format/2 mdb.browser_info.param_cmd/0
forward/0 check_hlds.inst_match.calculate_sub/0
forward/0 hlds.passes_aux.quote_char/0
four/7 set_ctree234.set_tree234/1
four/7 set_tree234.set_tree234/1
four/8 rtree.rtree_2/2
four/10 tree234.tree234/2
free/0 parse_tree.prog_data.mer_inst/0
free/1 parse_tree.prog_data.mer_inst/0
func/0 mdb.debugger_interface.debugger_response/0
func/0 rtti_implementation.type_ctor_rep/0
func/1 parse_tree.prog_data.sym_list/0
func/1 parse_tree.prog_data.sym_specifier/0
func_info/2 ml_backend.mlds_to_c.func_info/0
func_info/2 ml_backend.mlds_to_java.func_info/0
function/0 mdb.name_mangle.is_pred_or_func/0
function/0 mdbcomp.prim_data.pred_or_func/0
function/3 mdb.browse.xml_function_wrapper/0
function/3 mdb.declarative_oracle.trusted_object/0
functor/0 term_to_xml.attr_source/0
functor/2 parse_tree.prog_data.bound_inst/0
functor/3 hlds.hlds_goal.unify_rhs/0
functor/3 hlds.make_hlds.superhomogeneous.arg_context/0
functor/3 term.term/1
fundep/1 parse_tree.prog_io_typeclass.arbitrary_constraint/0
fundep/2 check_hlds.check_typeclass.induced_fundep/0
fundep/2 hlds.hlds_data.hlds_class_fundep/0
fundep/2 parse_tree.prog_data.prog_fundep/0
gc/0 libs.options.option/0
gc/0 ll_backend.llds.reset_trail_reason/0
gc/0 ml_backend.mlds.mlds_reset_trail_reason/0
generic/0 ll_backend.llds.ho_call_variant/0
generic/0 term.generic/0
generic/1 ll_backend.deep_profiling.call_class/0
generic_call/1 hlds.hlds_pred.call_id/0
generic_call/4 hlds.hlds_goal.hlds_goal_expr/0
global_var_ref/1 ll_backend.llds.lval/0
global_var_ref/1 ml_backend.mlds.mlds_lval/0
goto/1 ll_backend.llds.instr/0
goto/1 ml_backend.mlds.mlds_stmt/0
grade/0 libs.options.option/0
grade/1 mdb.debugger_interface.debugger_response/0
ground/0 ll_backend.llds.llds_inst/0
ground/2 parse_tree.prog_data.mer_inst/0
hash_table/2 ll_backend.fact_table.hash_index/0
hash_table/2 ll_backend.fact_table.hash_table/0
head/1 hlds.hlds_goal.unify_main_context/0
head/2 hlds.make_hlds.superhomogeneous.arg_context/0
help/0 libs.options.option/0
help/0 mdb.parse.command/0
help/1 mdb.declarative_user.user_command/0
higher_order/1 parse_tree.prog_data.ground_inst_info/0
higher_order/3 hlds.hlds_pred.generic_call_id/0
higher_order/4 hlds.hlds_goal.generic_call/0
higher_order/4 parse_tree.prog_data.mer_type/0
higher_order_call/0 check_hlds.det_report.seen_call_id/0
higher_order_call/3 hlds.hlds_pred.call_site_static_data/0
higher_order_call/4 bytecode_backend.bytecode.byte_code/0
horder_call/0 transform_hlds.term_constr_errors.termination2_error/0
horder_call/0 transform_hlds.term_errors.termination_error/0
hp/0 backend_libs.rtti.impl_ctor/0
hp/0 ll_backend.llds.live_value_type/0
hp/0 ll_backend.llds.lval/0
hp/0 rtti_implementation.type_ctor_rep/0
ht/5 version_hash_table.version_hash_table/2
ht/7 hash_table.hash_table/2
i/1 ml_backend.ilds.constant/0
i/1 string.poly_type/0
i/1 string.spec/0
i/2 integer.integer/0
id/1 mdb.declarative_execution.trace_node_id/0
id/1 ml_backend.ilds.member_name/0
if_then_else/0 check_hlds.mode_errors.merge_context/0
if_then_else/0 check_hlds.mode_errors.negated_context_desc/0
if_then_else/3 ml_backend.mlds.mlds_stmt/0
if_then_else/4 hlds.hlds_goal.hlds_goal_expr/0
ignore/0 hlds.make_hlds.add_pragma.foreign_proc_action/0
ignore/1 mdb.declarative_debugger.decl_answer/1
il/0 libs.options.option/0
il/0 ml_backend.ilasm.implattr/0
il/1 parse_tree.prog_data.foreign_language_type/0
il_type/2 ml_backend.ilds.il_type/0
il_type/3 parse_tree.prog_data.il_foreign_type/0
ilasm_flags/0 libs.options.option/0
ilasm_flags/0 make.options_file.options_variable_type/0
implementation/0 parse_tree.prog_data.import_locn/0
implementation/0 parse_tree.prog_data.section/0
implementation/0 parse_tree.prog_item.module_defn/0
implies/2 check_hlds.abstract_mode_constraints.var_constraint/1
implies/2 check_hlds.mcsolver.impl/0
import/1 parse_tree.prog_item.module_defn/0
import/5 parse_tree.prog_item.pragma_type/0
imported/1 hlds.hlds_pred.import_status/0
imported/1 ll_backend.llds.code_addr/0
imported/1 parse_tree.module_qual.import_status/0
imported/1 parse_tree.prog_item.module_defn/0
imported_pred/0 transform_hlds.term_constr_errors.termination2_error/0
imported_pred/0 transform_hlds.term_errors.termination_error/0
in/1 check_hlds.mode_constraint_robdd.rep_var/0
in/2 check_hlds.build_mode_constraints.mc_prog_var/0
in/3 ml_backend.mlds.outline_arg/0
inadmissible/0 mdb.declarative_debugger.decl_truth/0
inadmissible/0 mdb.declarative_edt.suspect_status/0
inadmissible/0 mdb.declarative_user.user_command/0
inconsistent/0 libs.lp_rational.entailment_result/0
inconsistent/0 libs.lp_rational.lp_result/0
inconsistent/0 libs.lp_rational.projection_result/0
incr_sp/0 ll_backend.peephole.pattern/0
incr_sp/2 ll_backend.llds.instr/0
indirect/2 hlds.hlds_pred.table_locn/0
indirect/2 ll_backend.llds.layout_locn/0
infer_modes/0 hlds.hlds_pred.marker/0
infer_modes/0 libs.options.option/0
infix/0 parse_tree.prog_data.fixity/0
infix/2 ops.class/0
info/0 mdb.declarative_user.user_command/0
info/2 check_hlds.stratify.higher_order_info/0
info/5 ll_backend.prog_rep.prog_rep_info/0
info/9 transform_hlds.intermod.intermod_info/0
input/0 io.stream_mode/0
input/0 mdb.browser_info.browser_term_mode/0
input/2 mdb.declarative_edt.subterm_origin/1
inst_id/0 parse_tree.module_qual.id_type/0
inst_id/2 parse_tree.prog_data.inst_id/0
install_prefix/0 libs.options.option/0
install_prefix/0 make.options_file.options_variable_type/0
instance_method/1 hlds.hlds_pred.pred_origin/0
instance_method/5 parse_tree.prog_data.instance_method/0
int/0 backend_libs.rtti.builtin_ctor/0
int/0 parse_tree.prog_data.builtin_type/0
int/0 rtti_implementation.type_ctor_rep/0
int/1 getopt.option_data/0
int/1 getopt.special_data/0
int/1 getopt_io.option_data/0
int/1 getopt_io.special_data/0
int16/0 ml_backend.ilds.simple_type/0
int16/1 ml_backend.ilasm.data_item/0
int16/1 ml_backend.ilasm.int16/0
int32/0 ml_backend.ilds.simple_type/0
int32/1 ml_backend.ilasm.data_item/0
int32/1 ml_backend.ilasm.int32/0
int64/0 ml_backend.ilds.simple_type/0
int64/1 ml_backend.ilasm.data_item/0
int64/1 ml_backend.ilasm.int64/0
int8/0 ml_backend.ilds.simple_type/0
int8/1 ml_backend.ilasm.data_item/0
int8/1 ml_backend.ilasm.int8/0
int_const/1 backend_libs.builtin_ops.simple_expr/1
int_const/1 bytecode_backend.bytecode.byte_arg/0
int_const/1 bytecode_backend.bytecode.byte_cons_id/0
int_const/1 ll_backend.llds.rval_const/0
int_const/1 ml_backend.mlds.mlds_rval_const/0
int_const/1 parse_tree.prog_data.cons_id/0
int_constant/0 check_hlds.inst_check.bound_inst_functor/0
int_constant/1 hlds.hlds_data.cons_tag/0
int_special/0 getopt.option_data/0
int_special/0 getopt_io.option_data/0
integer/0 ll_backend.llds.llds_type/0
integer/1 lexer.token/0
integer/1 term.const/0
interface/0 libs.trace_params.port_category/0
interface/0 ml_backend.ilasm.classattr/0
interface/0 parse_tree.prog_data.import_locn/0
interface/0 parse_tree.prog_data.section/0
interface/0 parse_tree.prog_item.module_defn/0
interface/1 ml_backend.ilds.simple_type/0
internal/0 libs.trace_params.port_category/0
internal/0 mdb.browser_info.debugger/0
internal/2 ll_backend.llds.label/0
internal/2 ll_backend.trace_gen.trace_port_info/0
internal/3 ml_backend.mlds.mlds_code_addr/0
interval/2 mdb.debugger_interface.match/1
interval/2 rtree.interval/0
io_error/1 io.error/0
io_error/1 lexer.token/0
io_error/1 mdbcomp.trace_counts.read_trace_counts_result/0
io_error/2 mdb.declarative_debugger.diagnoser_exception/0
io_query/0 mdb.interactive_query.query_type/0
io_query/1 mdb.debugger_interface.debugger_request/0
is_stable/0 backend_libs.rtti.is_stable/0
is_stable/0 transform_hlds.ctgc.fixpoint_table.is_stable/0
ite/0 backend_libs.interval.branch_construct/0
ite/0 transform_hlds.unneeded_code.branch_alts/0
ite_cond/0 hlds.hlds_goal.goal_path_step/0
ite_cond/0 mdbcomp.prim_data.trace_port/0
ite_cond/0 mdbcomp.program_representation.goal_path_step/0
ite_else/0 hlds.hlds_goal.goal_path_step/0
ite_else/0 mdbcomp.prim_data.trace_port/0
ite_else/0 mdbcomp.program_representation.goal_path_step/0
ite_then/0 hlds.hlds_goal.goal_path_step/0
ite_then/0 mdbcomp.prim_data.trace_port/0
ite_then/0 mdbcomp.program_representation.goal_path_step/0
java/0 libs.options.option/0
java/1 parse_tree.prog_data.foreign_language_type/0
java_flags/0 libs.options.option/0
java_flags/0 make.options_file.options_variable_type/0
key/1 mdb.declarative_execution.trace_node_key/0
key/3 check_hlds.mode_constraint_robdd.varmap_key/0
known/1 hlds.hlds_data.maybe_inst/0
known/1 ll_backend.use_local_vars.maybe_compulsory_lvals/0
known/2 hlds.hlds_data.maybe_inst_det/0
label/0 ll_backend.llds_out.wrapper/0
label/1 bytecode_backend.bytecode.byte_code/0
label/1 ll_backend.llds.code_addr/0
label/1 ll_backend.llds.instr/0
label/1 ml_backend.ilasm.method_body_decl/0
label/1 ml_backend.ilds.instr/0
label/1 ml_backend.mlds.mlds_goto_target/0
label/1 ml_backend.mlds.mlds_stmt/0
lang_il/0 libs.globals.foreign_language/0
lang_il/0 ml_backend.mlds.target_lang/0
lang_java/0 libs.globals.foreign_language/0
lang_java/0 ml_backend.mlds.target_lang/0
later/0 hlds.hlds_goal.goal_path_step/0
later/0 mdbcomp.program_representation.goal_path_step/0
ld_flags/0 libs.options.option/0
ld_flags/0 make.options_file.options_variable_type/0
ld_libflags/0 libs.options.option/0
ld_libflags/0 make.options_file.options_variable_type/0
leaf/1 backend_libs.builtin_ops.simple_expr/1
leaf/1 bt_array.ra_list_bintree/1
leaf/1 cord.cord/1
leaf/1 rtree.rtree_2/2
left/0 check_hlds.mode_info.side/0
left/1 string.justified_column/0
lib_linkages/0 libs.options.option/0
lib_linkages/0 make.options_file.options_variable_type/0
linkage/0 libs.options.option/0
linkage/0 make.options_file.options_variable_type/0
live/0 hlds.hlds_pred.liveness/0
live/0 parse_tree.prog_data.is_live/0
local/0 backend_libs.switch_util.stag_loc/0
local/0 hlds.hlds_pred.import_status/0
local/0 ll_backend.llds.entry_label_type/0
local/0 mdb.dl.scope/0
local/0 ml_backend.mlds.access/0
local/0 parse_tree.module_qual.import_status/0
local/0 rtti_implementation.sectag_locn/0
lp/3 libs.lp_rational.lp_info/0
lp/4 libs.lp.lp_info/0
lval/1 ll_backend.continuation_info.slot_contents/0
lval/1 ll_backend.llds.lval_or_any_reg/0
lval/1 ll_backend.llds.rval/0
lval/1 ll_backend.unify_gen.uni_val/0
lval/1 ml_backend.mlds.mlds_rval/0
lval/1 ml_backend.mlds_to_c.lval_or_string/0
make_analysis_registry/0 libs.options.option/0
make_analysis_registry/0 make.module_compilation_task_type/0
make_interface/0 libs.options.option/0
make_interface/0 make.module_compilation_task_type/0
make_optimization_interface/0 libs.options.option/0
make_optimization_interface/0 make.module_compilation_task_type/0
make_private_interface/0 libs.options.option/0
make_private_interface/0 make.module_compilation_task_type/0
make_short_interface/0 libs.options.option/0
make_short_interface/0 make.module_compilation_task_type/0
mark_hp/1 ll_backend.llds.instr/0
mark_hp/1 ml_backend.mlds.mlds_atomic_statement/0
mark_ticket_stack/1 ll_backend.llds.instr/0
mark_ticket_stack/1 ml_backend.mlds.trail_op/0
match/0 check_hlds.inst_match.uniqueness_comparison/0
match/1 transform_hlds.higher_order.find_result/0
match/4 transform_hlds.ctgc.structure_reuse.direct.choose_reuse.match/0
match/4 transform_hlds.higher_order.match/0
max/0 libs.lp.direction/0
max/0 libs.lp_rational.direction/0
max_stack_size/1 ml_backend.mlds.target_code_attribute/0
max_stack_size/1 parse_tree.prog_data.pragma_foreign_proc_extra_attribute/0
max_stack_size/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
maxfr/0 backend_libs.rtti.impl_ctor/0
maxfr/0 ll_backend.llds.live_value_type/0
maxfr/0 ll_backend.llds.lval/0
maxfr/0 rtti_implementation.type_ctor_rep/0
may_call_mercury/0 parse_tree.prog_data.may_call_mercury/0
may_call_mercury/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
may_call_mm_tabled/0 parse_tree.prog_data.may_call_mm_tabled/0
may_call_mm_tabled/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
may_modify_trail/0 parse_tree.prog_data.may_modify_trail/0
may_modify_trail/0 parse_tree.prog_data.trailing_status/0
may_modify_trail/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
may_throw/0 transform_hlds.exception_analysis.closures_exception_status/0
may_throw/1 parse_tree.prog_data.exception_status/0
maybe_int/1 getopt.option_data/0
maybe_int/1 getopt_io.option_data/0
maybe_string/1 getopt.option_data/0
maybe_string/1 getopt.special_data/0
maybe_string/1 getopt_io.option_data/0
maybe_string/1 getopt_io.special_data/0
maybe_string_special/0 getopt.option_data/0
maybe_string_special/0 getopt_io.option_data/0
maybe_thread_safe/0 libs.options.option/0
maybe_thread_safe/0 parse_tree.prog_data.thread_safe/0
mc_type/0 check_hlds.abstract_mode_constraints.mc_type/0
mc_type/0 check_hlds.mode_constraint_robdd.mc_type/0
mcpp_flags/0 libs.options.option/0
mcpp_flags/0 make.options_file.options_variable_type/0
mem_addr/1 ll_backend.llds.rval/0
mem_addr/1 ml_backend.mlds.mlds_rval/0
mem_ref/1 ll_backend.llds.lval/0
mem_ref/2 ml_backend.mlds.mlds_lval/0
mercury/0 hlds.hlds_pred.implementation_language/0
mercury/1 backend_libs.foreign.exported_type/0
mercury_linkage/0 libs.options.option/0
mercury_linkage/0 make.options_file.options_variable_type/0
method/2 ml_backend.ilasm.class_member/0
method/2 ml_backend.ilasm.decl/0
method_call/0 transform_hlds.term_errors.termination_error/0
method_call/3 hlds.hlds_pred.call_site_static_data/0
min/0 libs.lp.direction/0
min/0 libs.lp_rational.direction/0
mkword/2 ll_backend.llds.rval/0
mkword/2 ml_backend.mlds.mlds_rval/0
mlds_class/0 ml_backend.mlds.mlds_class_kind/0
mlds_class/1 ml_backend.mlds.mlds_entity_defn/0
mmc_flags/0 make.options_file.mmc_option_type/0
mmc_flags/0 make.options_file.options_variable_type/0
mode_check_clauses/0 hlds.hlds_pred.marker/0
mode_check_clauses/2 parse_tree.prog_item.pragma_type/0
mode_id/0 parse_tree.module_qual.id_type/0
mode_id/2 parse_tree.prog_data.mode_id/0
mode_query/0 mdb.parse.command/0
mode_query/1 mdb.parse.command/0
module/1 mdb.declarative_oracle.trusted_object/0
module/1 parse_tree.prog_data.sym_list/0
module/1 parse_tree.prog_data.sym_specifier/0
module/1 parse_tree.prog_item.module_defn/0
module/1 top_level.mercury_compile.file_or_module/0
module/2 ml_backend.ilds.assembly_name/0
module/2 parse_tree.prog_item.compilation_unit/0
more/0 io.chunk_inner_res0/0
more/1 io.chunk_inner_res/1
multi_string_const/2 ll_backend.llds.rval_const/0
multi_string_const/2 ml_backend.mlds.mlds_rval_const/0
mutvar/1 mutvar.mutvar/1
mutvar/1 private_builtin.mutvar/1
mutvar/1 store.generic_mutvar/2
mutvar/1 version_store.mutvar/2
name/1 lexer.token/0
name/1 mdb.parse.token/0
name/1 ml_backend.ilds.variable/0
name/1 ml_backend.mlds.target_code_component/0
name/1 parse_tree.prog_data.instance_proc_def/0
name/1 parse_tree.prog_data.sym_name_specifier/0
name/2 ml_backend.mlds.mlds_module_name/0
name_args/2 parse_tree.prog_data.pred_specifier/0
name_args/2 parse_tree.prog_data.typed_cons_specifier/0
neg/0 backend_libs.interval.branch_construct/0
neg/0 hlds.hlds_goal.goal_path_step/0
neg/0 mdbcomp.program_representation.goal_path_step/0
neg/0 ml_backend.ilds.instr/0
neg/1 mdb.debugger_interface.match/1
neg/1 robdd.literal/1
neg/3 mdb.declarative_execution.trace_node/1
neg_failure/0 ll_backend.trace_gen.negation_end_port/0
neg_failure/0 mdbcomp.prim_data.trace_port/0
neg_success/0 ll_backend.trace_gen.negation_end_port/0
neg_success/0 mdbcomp.prim_data.trace_port/0
negation/0 check_hlds.mode_errors.negated_context_desc/0
negation/1 hlds.hlds_goal.hlds_goal_expr/0
nil/0 bt_array.ra_list/1
nil/0 cord.cord/1
no/0 bool.bool/0
no/0 hlds.hlds_out.maybe_vartypes/0
no/0 maybe.maybe/1
no/0 mdb.declarative_user.user_command/0
no_cut/0 hlds.hlds_goal.maybe_cut/0
no_cut/0 mdbcomp.program_representation.maybe_cut/0
no_suspects/0 mdb.declarative_analyser.analyser_response/1
no_suspects/0 mdb.declarative_analyser.search_response/0
no_tag/0 bytecode_backend.bytecode.byte_cons_tag/0
no_tag/0 hlds.hlds_data.cons_tag/0
node/1 graph.node/1
node/1 libs.tree.tree/1
node/2 hlds.inst_graph.node/0
node/2 mdb.help.node/0
node/3 bt_array.ra_list_bintree/1
nondet_pragma_first/0 ll_backend.trace_gen.nondet_pragma_trace_port/0
nondet_pragma_first/0 mdbcomp.prim_data.trace_port/0
nondet_pragma_later/0 ll_backend.trace_gen.nondet_pragma_trace_port/0
nondet_pragma_later/0 mdbcomp.prim_data.trace_port/0
none/0 backend_libs.switch_util.stag_loc/0
none/0 check_hlds.inst_match.calculate_sub/0
none/0 getopt.option_ops_special/1
none/0 getopt.special_data/0
none/0 getopt_io.option_ops_special/1
none/0 getopt_io.special_data/0
none/0 hlds.hlds_pred.goal_type/0
none/0 hlds.make_hlds.add_clause.mode_annotations/0
none/0 libs.globals.gc_method/0
none/0 libs.globals.tags_method/0
none/0 libs.trace_params.trace_level/0
none/0 ll_backend.layout_out.rval_or_numpair_or_none/0
none/0 ll_backend.llds_out.wrapper/0
none/0 ml_backend.ilasm.field_initializer/0
none/0 ml_backend.mlds_to_java.ctor_data/0
none/0 parse_tree.prog_data.ground_inst_info/0
none/0 rtti_implementation.sectag_locn/0
none/0 transform_hlds.term_constr_data.recursion_type/0
nop/0 mdb.debugger_interface.match/1
nop/0 ml_backend.ilds.instr/0
normal/0 mdb.declarative_tree.contour_type/0
normal/1 ll_backend.deep_profiling.call_class/0
not_found/0 mdb.declarative_edt.find_origin_response/0
not_found/0 mdb.declarative_edt.maybe_found_descendent/0
not_found/0 mdb.declarative_edt.subterm_origin/1
notag/0 rtti_implementation.type_ctor_rep/0
notag/2 backend_libs.rtti.type_ctor_details/0
notag_functor_desc/0 backend_libs.rtti.ctor_rtti_name/0
notag_functor_desc/1 rtti_implementation.notag_functor_desc/0
notrack/1 getopt.option_ops_special/1
notrack/1 getopt_io.option_ops_special/1
obsolete/0 hlds.hlds_pred.marker/0
obsolete/2 parse_tree.prog_item.pragma_type/0
ok/0 io.chunk_inner_res0/0
ok/0 io.res/0
ok/0 io.result/0
ok/0 ll_backend.fact_table.fact_result/0
ok/0 maybe.maybe_error/0
ok/0 mdb.debugger_interface.debugger_response/0
ok/0 term_to_xml.dtd_generation_result/0
ok/0 transform_hlds.term_constr_data.arg_size_result/0
ok/1 check_hlds.typecheck.maybe_cons_type_info/0
ok/1 getopt.maybe_option_table/1
ok/1 getopt_io.maybe_option_table/1
ok/1 io.chunk_inner_res/1
ok/1 io.maybe_partial_res/1
ok/1 io.read_result/1
ok/1 io.res/1
ok/1 io.result/1
ok/1 libs.lp_rational.projection_result/0
ok/1 libs.polyhedron.convex_hull_result/0
ok/1 maybe.maybe_error/1
ok/1 parser.parse/1
ok/1 term.term_to_type_result/2
ok/2 mdbcomp.trace_counts.read_trace_counts_result/0
ok/2 parse_tree.prog_io.maybe_item_or_eof/0
ok/2 transform_hlds.pd_term.global_check_result/0
ok/2 transform_hlds.term_pass1.arg_size_result/0
ok/2 transform_hlds.term_pass2.pass2_result/0
ok/2 transform_hlds.term_traversal.traversal_info/0
ok/3 transform_hlds.term_pass1.pass1_result/0
op/1 parse_tree.prog_data.sym_list/0
op/1 parse_tree.prog_data.sym_specifier/0
opt_imported/0 hlds.hlds_pred.import_status/0
opt_imported/0 parse_tree.prog_item.module_defn/0
option_ops/3 getopt.option_ops/1
option_ops/3 getopt_io.option_ops/1
option_ops/4 getopt.option_ops/1
option_ops/4 getopt_io.option_ops/1
option_ops_internal/3 getopt.option_ops_internal/1
option_ops_internal/3 getopt_io.option_ops_internal/1
option_ops_multi/3 getopt.option_ops/1
option_ops_multi/3 getopt_io.option_ops/1
option_ops_multi/4 getopt.option_ops/1
option_ops_multi/4 getopt_io.option_ops/1
option_ops_track/3 getopt.option_ops_track/1
option_ops_track/3 getopt_io.option_ops_track/1
orig_and_stack/0 hlds.hlds_llds.resume_locs/0
orig_and_stack/4 ll_backend.code_info.resume_point_info/0
orig_only/0 hlds.hlds_llds.resume_locs/0
orig_only/2 ll_backend.code_info.resume_point_info/0
other/0 ll_backend.fact_table.fact_table_mode_type/0
other/0 parse_tree.modules.cur_pos/0
other/1 make.make_error/0
out/1 check_hlds.mode_constraint_robdd.rep_var/0
out/3 ml_backend.mlds.outline_arg/0
output/0 io.stream_mode/0
output/0 mdb.browser_info.browser_term_mode/0
output/3 mdb.declarative_edt.subterm_origin/1
param_command/1 mdb.declarative_user.user_command/0
param_command/1 mdb.parse.command/0
params/1 ml_backend.ml_tailcall.local_defns/0
params/8 transform_hlds.inlining.inline_params/0
parent/0 mdb.browser_info.dir/0
parent/1 hlds.inst_graph.maybe_parent/0
partial/1 ll_backend.llds.llds_inst/0
partial/1 transform_hlds.closure_analysis.closure_values/0
pic/0 backend_libs.compile_target_code.pic/0
pic/0 libs.options.option/0
pinvokeimpl/0 ml_backend.ilasm.fieldattr/0
pinvokeimpl/0 ml_backend.ilasm.methattr/0
plain/1 backend_libs.rtti.rtti_maybe_pseudo_type_info/0
plain/1 backend_libs.rtti.rtti_maybe_pseudo_type_info_or_self/0
plain/1 parse_tree.error_util.plain_or_prefix/0
postfix/0 parse_tree.prog_data.fixity/0
postfix/1 ops.class/0
pred/0 mdb.debugger_interface.debugger_response/0
pred/0 rtti_implementation.type_ctor_rep/0
pred/1 parse_tree.prog_data.sym_list/0
pred/1 parse_tree.prog_data.sym_specifier/0
pred_const/2 parse_tree.prog_data.cons_id/0
pred_const/5 bytecode_backend.bytecode.byte_cons_id/0
pred_or_func/1 parse_tree.error_util.format_component/0
pred_or_func/4 recompilation.usage.resolved_functor/0
pred_or_func/12 parse_tree.prog_item.item/0
pred_or_func/13 parse_tree.prog_item.class_method/0
pred_or_func_mode/7 parse_tree.prog_item.item/0
pred_or_func_mode/8 parse_tree.prog_item.class_method/0
pred_type/1 rtti_implementation.pred_type/0
pred_type/1 rtti_implementation.pseudo_type_info/0
predicate/0 mdb.name_mangle.is_pred_or_func/0
predicate/0 mdbcomp.prim_data.pred_or_func/0
predicate/2 mdb.browse.xml_predicate_wrapper/0
predicate/3 mdb.declarative_oracle.trusted_object/0
prefix/0 ml_backend.mlds_to_c.locn/0
prefix/0 parse_tree.prog_data.fixity/0
prefix/1 ops.class/0
prefix/1 parse_tree.error_util.format_component/0
prefix/1 parse_tree.error_util.plain_or_prefix/0
pretty/0 mdb.browser_info.portray_format/0
pretty/0 mdb.parse.format_option/0
primitive/3 transform_hlds.term_constr_data.abstract_goal/0
primitive/6 mdb.declarative_tree.annotated_primitive/1
primitive_op/3 mdb.declarative_edt.subterm_origin/1
primitive_op/5 mdb.declarative_edt.find_origin_response/0
print/0 mdb.browser_info.browse_caller_type/0
print/2 mdb.parse.command/0
private/0 ml_backend.ilasm.classattr/0
private/0 ml_backend.ilasm.fieldattr/0
private/0 ml_backend.ilasm.methattr/0
private/0 ml_backend.mlds.access/0
private_interface/0 make.module_target_type/0
private_interface/0 parse_tree.prog_item.module_defn/0
privatescope/0 ml_backend.ilasm.fieldattr/0
privatescope/0 ml_backend.ilasm.methattr/0
proc/2 hlds.hlds_pred.pred_proc_id/0
proc/2 ml_backend.mlds.mlds_code_addr/0
proc/2 transform_hlds.dead_proc_elim.entity/0
proc/4 mdb.debugger_interface.debugger_response/0
proc/5 mdb.debugger_interface.debugger_response/0
proc_layout_exec_trace/1 ll_backend.layout.layout_name/0
proc_layout_exec_trace/15 ll_backend.layout.proc_layout_exec_trace/0
proc_result/3 transform_hlds.tabling_analysis.proc_result/0
proc_result/3 transform_hlds.trailing_analysis.proc_result/0
proc_result/4 transform_hlds.exception_analysis.proc_result/0
promise/1 hlds.hlds_pred.goal_type/0
promise/4 parse_tree.prog_item.item/0
prune_ticket/0 ll_backend.llds.instr/0
prune_ticket/0 ml_backend.mlds.trail_op/0
prune_tickets_to/1 ll_backend.llds.instr/0
prune_tickets_to/1 ml_backend.mlds.trail_op/0
pseudo/1 backend_libs.rtti.rtti_maybe_pseudo_type_info/0
pseudo/1 backend_libs.rtti.rtti_maybe_pseudo_type_info_or_self/0
pseudo_type_desc/0 backend_libs.rtti.builtin_ctor/0
pseudo_type_desc/0 rtti_implementation.type_ctor_rep/0
pseudo_type_info/1 backend_libs.rtti.ctor_rtti_name/0
pseudo_type_info/1 backend_libs.rtti.rtti_data/0
public/0 ml_backend.ilasm.classattr/0
public/0 ml_backend.ilasm.fieldattr/0
public/0 ml_backend.ilasm.methattr/0
public/0 ml_backend.mlds.access/0
public/1 term_to_xml.doctype/0
public/2 term_to_xml.doctype/0
purity/1 parse_tree.prog_io.decl_attribute/0
purity/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
qualified/2 mdb.name_mangle.sym_name/0
qualified/2 mdbcomp.prim_data.sym_name/0
quit/0 mdb.declarative_user.user_command/0
quit/0 mdb.parse.command/0
r/0 bytecode_backend.bytecode.byte_reg_type/0
r/0 ll_backend.llds.reg_type/0
r/2 libs.rat.rat/0
r/2 rational.rational/0
raw_pretty/0 mdb.browser_info.portray_format/0
raw_pretty/0 mdb.parse.format_option/0
redo/0 mdbcomp.prim_data.trace_port/0
redo/5 mdb.declarative_execution.trace_node/1
redofr/0 backend_libs.rtti.impl_ctor/0
redofr/0 ll_backend.llds.live_value_type/0
redofr/0 rtti_implementation.type_ctor_rep/0
redoip/0 backend_libs.rtti.impl_ctor/0
redoip/0 ll_backend.llds.live_value_type/0
redoip/0 rtti_implementation.type_ctor_rep/0
ref/0 backend_libs.rtti.builtin_ctor/0
ref/1 ll_backend.unify_gen.uni_val/0
ref/1 store.generic_ref/2
reference/0 parse_tree.prog_data.ref_or_val/0
reference/0 rtti_implementation.type_ctor_rep/0
reference/1 ml_backend.ilasm.ref_or_value/0
remote/0 backend_libs.switch_util.stag_loc/0
remote/0 rtti_implementation.sectag_locn/0
request/0 transform_hlds.higher_order.changed/0
request/1 transform_hlds.higher_order.find_result/0
request/10 transform_hlds.higher_order.request/0
require_explicit_subtree/0 mdb.declarative_edt.find_origin_response/0
require_explicit_subtree/0 mdb.declarative_edt.subterm_origin/1
require_explicit_subtree/0 mdb.declarative_tree.dependency_chain_start/1
require_explicit_subtree/1 mdb.declarative_analyser.analyser_response/1
require_explicit_subtree/1 mdb.declarative_analyser.search_response/0
require_explicit_subtree/1 mdb.declarative_edt.maybe_found_descendent/0
require_explicit_supertree/0 mdb.declarative_analyser.search_response/0
require_explicit_supertree/0 mdb.declarative_edt.find_origin_response/0
require_explicit_supertree/1 mdb.declarative_analyser.analyser_response/1
reserve_tag/0 libs.options.option/0
reserve_tag/2 parse_tree.prog_item.pragma_type/0
reset_ticket/2 ll_backend.llds.instr/0
reset_ticket/2 ml_backend.mlds.trail_op/0
restore_hp/1 ll_backend.llds.instr/0
restore_hp/1 ml_backend.mlds.mlds_atomic_statement/0
resume_point/0 backend_libs.interval.save_point_type/0
resume_point/2 hlds.hlds_llds.resume_point/0
retry/0 ll_backend.llds.reset_trail_reason/0
retry/0 mdb.debugger_interface.debugger_request/0
revise/0 mdb.declarative_analyser.reason_for_question/0
revise/1 mdb.declarative_analyser.analyser_response/1
right/0 check_hlds.mode_info.side/0
right/1 string.justified_column/0
rtspecialname/0 ml_backend.ilasm.classattr/0
rtspecialname/0 ml_backend.ilasm.methattr/0
s/1 string.poly_type/0
s/1 string.spec/0
satisfiable/2 libs.lp.result/0
satisfiable/2 libs.lp_rational.lp_result/0
scope/1 hlds.hlds_goal.goal_path_step/0
scope/1 mdbcomp.program_representation.goal_path_step/0
scope/1 ml_backend.ilds.blocktype/0
scope/2 hlds.hlds_goal.hlds_goal_expr/0
sectag_local/0 backend_libs.rtti.sectag_locn/0
sectag_local/1 backend_libs.rtti.sectag_and_locn/0
sectag_none/0 backend_libs.rtti.sectag_and_locn/0
sectag_none/0 backend_libs.rtti.sectag_locn/0
sectag_remote/0 backend_libs.rtti.sectag_locn/0
sectag_remote/1 backend_libs.rtti.sectag_and_locn/0
self/0 backend_libs.rtti.rtti_maybe_pseudo_type_info_or_self/0
self/1 ml_backend.mlds.mlds_rval/0
set/0 hlds.hlds_data.field_access_type/0
set/0 io.whence/0
set/1 make.options_file.variable_result/1
shared_local_tag/2 bytecode_backend.bytecode.byte_cons_tag/0
shared_local_tag/2 hlds.hlds_data.cons_tag/0
shared_remote_tag/2 bytecode_backend.bytecode.byte_cons_tag/0
shared_remote_tag/2 hlds.hlds_data.cons_tag/0
show_info/1 mdb.declarative_oracle.oracle_response/1
show_info/1 mdb.declarative_user.user_response/1
simple/0 libs.globals.termination_norm/0
simple/0 term_to_xml.element_mapping/0
simple/0 transform_hlds.term_norm.functor_info/0
simple/1 parse_tree.prog_io_typeclass.arbitrary_constraint/0
simple_call_id/1 parse_tree.error_util.format_component/0
simple_call_id/3 parse_tree.prog_data.simple_call_id/0
skip/0 mdb.declarative_user.user_command/0
skip/1 mdb.declarative_debugger.decl_answer/1
skipped/0 mdb.declarative_analyser.reason_for_question/0
skipped/1 mdb.declarative_edt.suspect_status/0
slot_info/3 check_hlds.goal_path.slot_info/0
slot_info/4 ll_backend.saved_vars.slot_info/0
solve/0 ll_backend.llds.reset_trail_reason/0
solve/0 ml_backend.mlds.mlds_reset_trail_reason/0
solver_type/0 parse_tree.prog_data.is_solver_type/0
solver_type/0 parse_tree.prog_io.decl_attribute/0
solver_type/0 parse_tree.prog_item.item_compiler_origin/0
solver_type/2 hlds.hlds_data.hlds_type_body/0
solver_type/2 parse_tree.prog_data.type_defn/0
special/0 getopt.option_data/0
special/0 getopt_io.option_data/0
special/2 ll_backend.deep_profiling.call_class/0
special_pred/0 ml_backend.ml_closure_gen.closure_kind/0
special_pred/1 hlds.hlds_pred.pred_origin/0
specialname/0 ml_backend.ilasm.classattr/0
specialname/0 ml_backend.ilasm.methattr/0
specified/1 parse_tree.prog_data.call_table_strictness/0
specified/1 transform_hlds.table_gen.maybe_specified_method/0
specified/2 ll_backend.jumpopt.new_remain/0
stack_and_orig/0 hlds.hlds_llds.resume_locs/0
stack_and_orig/4 ll_backend.code_info.resume_point_info/0
stack_only/0 hlds.hlds_llds.resume_locs/0
stack_only/2 ll_backend.code_info.resume_point_info/0
stack_regs/0 mdb.debugger_interface.debugger_request/0
stack_regs/3 mdb.debugger_interface.debugger_response/0
start/0 mdb.debugger_interface.debugger_response/0
start/0 mdb.declarative_analyser.reason_for_question/0
state/1 io.state/0
state/5 ll_backend.var_locn.var_state/0
state/5 parser.state/2
static/0 ll_backend.llds_out.linkage/0
static/0 ml_backend.ilasm.fieldattr/0
static/0 ml_backend.ilasm.methattr/0
store_ticket/1 ll_backend.llds.instr/0
store_ticket/1 ml_backend.mlds.trail_op/0
stream/4 io.maybe_stream_info/0
stream/4 io.stream_info/0
string/0 backend_libs.rtti.builtin_ctor/0
string/0 ll_backend.llds.llds_type/0
string/0 ml_backend.ilds.simple_type/0
string/0 parse_tree.prog_data.builtin_type/0
string/0 rtti_implementation.type_ctor_rep/0
string/1 getopt.option_data/0
string/1 getopt.special_data/0
string/1 getopt_io.option_data/0
string/1 getopt_io.special_data/0
string/1 lexer.token/0
string/1 ml_backend.mlds_to_c.lval_or_string/0
string/1 string.specifier/0
string/1 term.const/0
string_const/1 bytecode_backend.bytecode.byte_cons_id/0
string_const/1 ll_backend.llds.rval_const/0
string_const/1 ml_backend.mlds.mlds_rval_const/0
string_const/1 parse_tree.prog_data.cons_id/0
string_constant/0 check_hlds.inst_check.bound_inst_functor/0
string_constant/1 hlds.hlds_data.cons_tag/0
string_special/0 getopt.option_data/0
string_special/0 getopt_io.option_data/0
subgoal/0 backend_libs.rtti.impl_ctor/0
subgoal/0 rtti_implementation.type_ctor_rep/0
succeeded/0 mdb.declarative_execution.goal_status/0
succeeded/1 exception.exception_result/1
succip/0 backend_libs.rtti.impl_ctor/0
succip/0 ll_backend.llds.code_addr/0
succip/0 ll_backend.llds.live_value_type/0
succip/0 ll_backend.llds.lval/0
succip/0 rtti_implementation.type_ctor_rep/0
suffix/0 ml_backend.mlds_to_c.locn/0
suffix/1 parse_tree.error_util.format_component/0
switch/0 backend_libs.interval.branch_construct/0
switch/0 check_hlds.det_report.cc_unify_context/0
switch/0 mdbcomp.prim_data.trace_port/0
switch/1 mdbcomp.program_representation.goal_path_step/0
switch/1 ml_backend.ilds.instr/0
switch/1 transform_hlds.unneeded_code.branch_alts/0
switch/2 hlds.hlds_goal.goal_path_step/0
switch/2 mdb.declarative_execution.trace_node/1
switch/2 transform_hlds.term_constr_build.disj_info/0
switch/3 hlds.hlds_goal.hlds_goal_expr/0
switch/5 ml_backend.mlds.mlds_stmt/0
sym/1 parse_tree.prog_data.cons_specifier/0
sym/1 parse_tree.prog_data.op_specifier/0
sym/1 parse_tree.prog_data.pred_specifier/0
sym/1 parse_tree.prog_data.sym_list/0
sym/1 parse_tree.prog_data.sym_specifier/0
syntax_error/1 mdbcomp.trace_counts.read_trace_counts_result/0
syntax_error/2 parse_tree.prog_io.maybe_item_or_eof/0
syntax_error/2 recompilation.check.recompile_reason/0
table_io_decl/0 parse_tree.prog_data.table_io_is_decl/0
table_io_decl/1 ll_backend.layout.layout_name/0
table_io_decl/1 parse_tree.prog_data.cons_id/0
tableau/6 libs.lp_rational.tableau/0
tableau/7 libs.lp.tableau/0
tabled/1 mdb.io_action.maybe_tabled_io_action/0
tabled/6 parse_tree.prog_item.pragma_type/0
tabled_for_io/0 parse_tree.prog_data.tabled_for_io/0
tabled_for_io/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
tailcall/0 hlds.hlds_goal.goal_feature/0
tailcall/0 ml_backend.ilds.instr/0
target/0 libs.options.option/0
target/1 make.dependencies.dependency_file/0
terminates/0 hlds.hlds_pred.marker/0
terminates/0 parse_tree.prog_data.terminates/0
terminates/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
terminates/2 parse_tree.prog_item.pragma_type/0
test/1 backend_libs.builtin_ops.simple_code/1
test/3 bytecode_backend.bytecode.byte_code/0
thread_safe/0 parse_tree.prog_data.thread_safe/0
thread_safe/1 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
three/5 set_ctree234.set_tree234/1
three/5 set_tree234.set_tree234/1
three/6 rtree.rtree_2/2
three/7 tree234.tree234/2
ticket/0 backend_libs.rtti.impl_ctor/0
ticket/0 ll_backend.continuation_info.slot_contents/0
ticket/0 ll_backend.llds.live_value_type/0
ticket/0 rtti_implementation.type_ctor_rep/0
top_down/0 mdb.declarative_analyser.reason_for_question/0
top_down/0 mdb.declarative_analyser.search_mode/0
top_down/0 mdb.declarative_user.user_search_mode/0
total/0 libs.globals.termination_norm/0
total/0 transform_hlds.term_norm.functor_info/0
track/1 getopt.option_ops_special/1
track/1 getopt_io.option_ops_special/1
track/3 mdb.browser_info.maybe_track_subterm/1
track/3 mdb.parse.command/0
trail_ptr/0 backend_libs.rtti.impl_ctor/0
trail_ptr/0 ll_backend.llds.live_value_type/0
trail_ptr/0 rtti_implementation.type_ctor_rep/0
trail_ptr/1 solutions.trail_ptr/0
trailed/0 parse_tree.prog_item.trailed/0
trailed/1 parse_tree.prog_io.collected_mutable_attribute/0
transformed_proc/2 transform_hlds.untupling.transformed_proc/0
transformed_proc/4 transform_hlds.tupling.transformed_proc/0
tree/2 libs.tree.tree/1
tree/4 bintree.bintree/2
tree/4 set_bbbtree.set_bbbtree/1
true/0 ll_backend.llds.rval_const/0
true/0 parse_tree.prog_data.condition/0
true/0 parse_tree.prog_data.promise_type/0
trust_module/0 mdb.declarative_user.user_command/0
trust_module/1 mdb.declarative_user.user_response/1
trust_predicate/0 mdb.declarative_user.user_command/0
trust_predicate/1 mdb.declarative_user.user_response/1
tuple/0 backend_libs.rtti.builtin_ctor/0
tuple/0 libs.options.option/0
tuple/0 rtti_implementation.type_ctor_rep/0
tuple/1 check_hlds.inst_check.type_defn_or_builtin/0
tuple/1 hlds.hlds_pred.pred_transformation/0
tuple/2 parse_tree.prog_data.mer_type/0
two/3 set_ctree234.set_tree234/1
two/3 set_tree234.set_tree234/1
two/4 rtree.rtree_2/2
two/4 tree234.tree234/2
type/1 ml_backend.ilasm.custom_type/0
type/1 parse_tree.prog_data.sym_list/0
type/1 parse_tree.prog_data.sym_specifier/0
type_class_decl/0 backend_libs.rtti.tc_rtti_name/0
type_class_decl/1 backend_libs.rtti.rtti_data/0
type_class_instance/1 backend_libs.rtti.rtti_data/0
type_class_instance/1 backend_libs.rtti.tc_rtti_name/0
type_ctor_desc/0 backend_libs.rtti.builtin_ctor/0
type_ctor_desc/0 rtti_implementation.type_ctor_rep/0
type_ctor_info/0 backend_libs.rtti.ctor_rtti_name/0
type_ctor_info/0 backend_libs.rtti.impl_ctor/0
type_ctor_info/0 check_hlds.polymorphism.type_info_kind/0
type_ctor_info/0 libs.options.option/0
type_ctor_info/0 rtti_implementation.type_ctor_rep/0
type_ctor_info/1 backend_libs.rtti.rtti_data/0
type_ctor_info/1 rtti_implementation.type_ctor_info/0
type_ctor_info_const/3 bytecode_backend.bytecode.byte_cons_id/0
type_ctor_info_const/3 parse_tree.prog_data.cons_id/0
type_desc/0 backend_libs.rtti.builtin_ctor/0
type_desc/0 rtti_implementation.type_ctor_rep/0
type_functors/0 backend_libs.rtti.ctor_rtti_name/0
type_functors/1 rtti_implementation.type_functors/0
type_info/0 backend_libs.rtti.impl_ctor/0
type_info/0 check_hlds.polymorphism.type_info_kind/0
type_info/1 backend_libs.rtti.ctor_rtti_name/0
type_info/1 backend_libs.rtti.rtti_data/0
type_info/1 hlds.hlds_rtti.type_info_locn/0
type_info/1 rtti_implementation.type_info/0
type_info_cell_constructor/0 bytecode_backend.bytecode.byte_cons_id/0
type_info_cell_constructor/1 parse_tree.prog_data.cons_id/0
type_layout/0 backend_libs.rtti.ctor_rtti_name/0
type_layout/0 libs.options.option/0
type_layout/1 rtti_implementation.type_layout/0
type_specialization/0 libs.options.option/0
type_specialization/1 hlds.hlds_pred.pred_transformation/0
type_var/0 parse_tree.prog_data.tvar_type/0
type_var/1 backend_libs.rtti.rtti_pseudo_type_info/0
typeclass_info/0 backend_libs.rtti.impl_ctor/0
typeclass_info/2 hlds.hlds_rtti.type_info_locn/0
typeclass_info_cell_constructor/0 bytecode_backend.bytecode.byte_cons_id/0
typeclass_info_cell_constructor/0 parse_tree.prog_data.cons_id/0
unbox/1 ml_backend.ilds.instr/0
unbox/1 ml_backend.mlds.mlds_unary_op/0
unchanged/0 check_hlds.det_util.maybe_changed/0
unchanged/0 transform_hlds.higher_order.changed/0
undo/0 ll_backend.llds.reset_trail_reason/0
undo/0 mdb.declarative_oracle.oracle_response/1
undo/0 mdb.declarative_user.user_command/0
undo/0 mdb.declarative_user.user_response/1
undo/0 ml_backend.mlds.mlds_reset_trail_reason/0
unify/1 check_hlds.det_report.cc_unify_context/0
unify/1 check_hlds.mode_info.call_context/0
unify/5 hlds.hlds_goal.hlds_goal_expr/0
unique/0 parse_tree.prog_data.uniqueness/0
unique/0 term_to_xml.element_mapping/0
unknown/0 backend_libs.compile_target_code.compiler_type/0
unknown/0 hlds.hlds_data.maybe_inst/0
unknown/0 hlds.hlds_data.maybe_inst_det/0
unknown/0 io.file_type/0
unknown/0 ll_backend.call_gen.known_call_variant/0
unknown/0 ll_backend.fact_table.fact_table_mode_type/0
unknown/0 mdb.declarative_edt.suspect_status/0
unknown/0 mdb.parse.command/0
unknown/0 parse_tree.modules.contains_foreign_code/0
unknown/0 rtti_implementation.type_ctor_rep/0
unknown/0 transform_hlds.closure_analysis.closure_values/0
unknown/1 mdb.parse.token/0
unop/2 ll_backend.llds.rval/0
unop/2 ml_backend.mlds.mlds_rval/0
unqualified/1 mdb.name_mangle.sym_name/0
unqualified/1 mdbcomp.prim_data.sym_name/0
unshared_tag/1 bytecode_backend.bytecode.byte_cons_tag/0
unshared_tag/1 hlds.hlds_data.cons_tag/0
unsigned/0 ll_backend.llds.llds_type/0
unsigned/0 ml_backend.ilds.signed/0
untuple/0 libs.options.option/0
untuple/1 hlds.hlds_pred.pred_transformation/0
unused/0 ml_backend.mlds.outline_arg/0
unused/2 transform_hlds.unused_args.usage_info/0
unused_args/1 parse_tree.prog_util.new_pred_id/0
unused_args/1 transform_hlds.unused_args.unused_args_answer/0
unused_args/5 parse_tree.prog_item.pragma_type/0
up_to_date/0 make.dependency_status/0
up_to_date/0 make.dependencies.dependencies_result/0
user/0 ll_backend.layout.proc_layout_user_or_uci/0
user/0 parse_tree.prog_item.item_origin/0
user/1 hlds.hlds_pred.pred_origin/0
user/6 mdb.declarative_user.user_state/0
value/0 parse_tree.prog_data.ref_or_val/0
value/1 ml_backend.ilasm.ref_or_value/0
var/1 bytecode_backend.bytecode.byte_arg/0
var/1 hlds.hlds_goal.unify_rhs/0
var/1 ll_backend.llds.rval/0
var/1 ml_backend.mlds.mlds_data_name/0
var/1 term.var/1
var/1 transform_hlds.const_prop.arg_val/0
var/2 ml_backend.mlds.mlds_lval/0
var/4 ll_backend.llds.live_value_type/0
var_info/2 backend_libs.interval.var_info/0
var_info/2 bytecode_backend.bytecode.byte_var_info/0
variable/0 rtti_implementation.sectag_locn/0
variable/1 lexer.token/0
variable/1 parse_tree.prog_data.kind/0
variable/1 term.term/1
variable/2 parse_tree.prog_data.mer_type/0
verbose/0 hlds.passes_aux.command_verbosity/0
verbose/0 libs.options.option/0
verbose/0 mdb.browser_info.portray_format/0
verbose/0 mdb.parse.format_option/0
verbose_commands/0 hlds.passes_aux.command_verbosity/0
verbose_commands/0 libs.options.option/0
version/0 libs.options.option/0
version/4 ml_backend.ilasm.assembly_decl/0
version/5 transform_hlds.pd_info.maybe_version/0
version_info/4 transform_hlds.higher_order.version_info/0
version_info/9 transform_hlds.pd_info.version_info/0
version_numbers/2 parse_tree.prog_item.module_defn/0
version_numbers/2 recompilation.version_numbers/0
virtual/0 ml_backend.ilasm.methattr/0
virtual/0 ml_backend.mlds.virtuality/0
void/0 backend_libs.rtti.builtin_ctor/0
void/0 ml_backend.ilds.ret_type/0
void/0 rtti_implementation.type_ctor_rep/0
volatile/0 ml_backend.ilasm.fieldattr/0
volatile/0 ml_backend.ilds.instr/0
volatile/0 ml_backend.ilds.type_modifier/0
warn_duplicate_calls/0 check_hlds.simplify.simplification/0
warn_duplicate_calls/0 libs.options.option/0
warn_obsolete/0 check_hlds.simplify.simplification/0
warn_obsolete/0 libs.options.option/0
warn_obsolete/1 check_hlds.det_report.det_msg/0
warn_simple_code/0 check_hlds.simplify.simplification/0
warn_simple_code/0 libs.options.option/0
will_not_call_mm_tabled/0 hlds.hlds_goal.goal_feature/0
will_not_call_mm_tabled/0 parse_tree.prog_data.may_call_mm_tabled/0
will_not_modify_trail/0 hlds.hlds_goal.goal_feature/0
will_not_modify_trail/0 parse_tree.prog_data.may_modify_trail/0
will_not_modify_trail/0 parse_tree.prog_data.trailing_status/0
will_not_throw_exception/0 parse_tree.prog_data.may_throw_exception/0
will_not_throw_exception/0 parse_tree.prog_io_pragma.collected_pragma_foreign_proc_attribute/0
word/0 ll_backend.llds.llds_type/0
word/1 parse_tree.error_util.word/0
write/0 io.access_type/0
write/0 mdb.parse.command/0
x/0 ops.assoc/0
x/1 string.spec/0
yes/0 bool.bool/0
yes/0 mdb.declarative_user.user_command/0
yes/1 maybe.maybe/1
yes/2 hlds.hlds_out.maybe_vartypes/0
Total: 494 names used 1450 times, maximum 31, average: 2.94
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list