prof_sbp.D

00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003 
00004 :- mode append(?,?,?).
00005 :- mode myclose(?).
00006 :- mode member(?,?).
00007 :- mode otherwise.
00008 :- mode write_float(?).
00009 :- mode system(?).
00010 :- mode gensym(?,?).
00011 :- mode ll_arg(?,?,?).
00012 :- mode name_append(?,?,?).
00013 :- mode inccounter(?).
00014 :- mode coninc(?).
00015 :- mode conget(?,?).
00016 :- mode gennum(?).
00017 :- mode prepare.
00018 :- mode conset(?,?).
00019 :- mode write_int(?).
00020 :- mode copyterm(?,?).
00021 :- mode copyterm(?,?,?).
00022 :- mode copyterm_args(?,?,++,?).
00023 :- mode getcounter(?).
00024 :- mode newcounter(?).
00025 :- mode conlength(?,?).
00026 
00027 :- '_$mode_pattern'(append(g,_1000124,_1000124)).
00028 :- '_$mode_pattern'(append(ng,g,ng)).
00029 :- '_$mode_pattern'(append(ng,ng,ng)).
00030 :- '_$mode_pattern'(inccounter(_1000120)).
00031 :- '_$mode_pattern'(conget(_1000120,_1000124)).
00032 :- '_$mode_pattern'(getcounter(ng)).
00033 :- '_$mode_pattern'(getcounter(g)).
00034 :- '_$mode_pattern'(coninc(_1000120)).
00035 :- '_$mode_pattern'(gennum(g)).
00036 :- '_$mode_pattern'(newcounter(g)).
00037 :- '_$mode_pattern'(ll_arg(g,ng,_1000128)).
00038 :- '_$mode_pattern'(ll_arg(g,g,g)).
00039 :- '_$mode_pattern'(conset(_1000120,_1000124)).
00040 :- '_$mode_pattern'(write_float(_1000120)).
00041 :- '_$mode_pattern'(copyterm(g,g)).
00042 :- '_$mode_pattern'(copyterm(g,ng)).
00043 :- '_$mode_pattern'(copyterm(ng,ng)).
00044 :- '_$mode_pattern'(copyterm(ng,g)).
00045 :- '_$mode_pattern'(myclose(g)).
00046 :- '_$mode_pattern'(gensym(g,g)).
00047 :- '_$mode_pattern'(write_int(_1000120)).
00048 :- '_$mode_pattern'(member(g,g)).
00049 :- '_$mode_pattern'(member(g,ng)).
00050 :- '_$mode_pattern'(member(ng,ng)).
00051 :- '_$mode_pattern'(name_append(g,g,g)).
00052 :- '_$mode_pattern'(conlength(_1000120,g)).
00053 :- '_$mode_pattern'(prepare).
00054 :- '_$mode_pattern'(system(g)).
00055 :- '_$mode_pattern'(otherwise).

Generated on Wed Jul 26 13:30:39 2006 for XSB by  doxygen 1.4.5