/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | profile.pl | 51 args:["Goal":"Callable term","Options":"List of options"], label
|
H A D | apply.pl | 73 args:[ label
|
H A D | http_client.pl | 51 args:["Method":"A string","Uri":"A string","ObjectBody":"A string", label 283 args:["Url":"A string","Stream":"A variable or atom"], label 308 args:["Url":"A string"], label
|
H A D | http_server.pl | 280 args:["Method":"An integer port number"], label 363 args:["Method":"An integer port number", label
|
H A D | ordset.pl | 116 args:["List":"A list of terms", "Set":"A set or variable"], label 133 args:["Term":"Any Term"], label 153 args:["Term":"Any Term", "Set":"A set"], label 169 args:["Set":"A set", "Term":"Any Term", "Remainder":"A variable or set"], label 194 args:["Term":"Any Term", "Set":"A set", "Remainder":"A variable or set"], label 213 args:["Term":"Any Term", "Set":"A set"], label 230 args:["Rel":"A variable or an atom", "Set1":"A set", "Set2":"A set"], label 273 args:["Set1":"A set", "Set2":"A set"], label 300 args:["Set1":"A set", "Element":"A term", "Set2":"A set or variable"], label 311 args label 342 args:["Set1":"A set", "Set2":"A set"], label 367 args:["Set1":"A set", "Set2":"A set", "Intersection":"A set"], label 380 args:["Set1":"A set", "Set2":"A set", "Intersection":"A set"], label 416 args:["Set1":"A set", "Set2":"A set", label 456 args:["Set1":"A set", "Set2":"A set"], label 472 args:["Set1":"A set", "Set2":"A set"], label 493 args:["Set1":"A set", "Set2":"A set"], label 508 args:["Set1":"A set", "Set2":"A set"], label 530 args:["Set1":"A set", "Set2":"A set"], label 546 args:["Set1":"A set", "Set2":"A set", "Difference":"A set or variable"], label 579 args:["Set1":"A set", "Set2":"A set", "Difference":"A set or variable"], label 614 args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable"], label 629 args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable", label 666 args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable"], label 695 args:["Sets":"A list of sets", "Union":"A set or variable"], label 718 args:["Sets":"A list of sets", "Intersection":"A set or variable"], label [all...] |
H A D | linearize.pl | 78 args:["Expression":"Arithmetic expression with constants and variables", label 131 args:["LinOld":"Possibly denormal lists of monomials", label 160 args:[ label 437 args:["Expression":"Arithmetic expression with constants and variables", label 495 args:["PolyOld":"Possibly denormal polynomial form", label 517 args:[ label 555 args:["Expression":"Arithmetic expression with constants and variables", label
|
/barrelfish-master/lib/tommath/ |
H A D | bn_mp_clear_multi.c | 22 va_list args; local
|
H A D | bn_mp_init_multi.c | 24 va_list args; local
|
/barrelfish-master/usr/eclipseclp/JavaInterface/tests/ |
H A D | DataExample1.java | 33 public static void main(String[] args) throws Exception argument
|
H A D | DataExample2.java | 34 public static void main(String[] args) throws Exception argument
|
H A D | QuickTest.java | 33 public static void main(String[] args) throws Exception argument
|
H A D | Tester.java | 34 public static void main(String[] args) throws Exception argument
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | changeset.pl | 44 args:["VarArr":"A structure containing variables", label 107 args:["Vars":"A list containing variables", label
|
H A D | ic_make_overlap_bivs.pl | 216 args:["Tasks": "A list of task structures - see library(ic_probe_support)", label
|
H A D | ic_probe_search.pl | 303 args:["Bivs": "A list of lists of binary integer variables", label
|
H A D | make_overlap_bivs.pl | 216 args:["Tasks": "A list of task structures - see library(probe_support)", label
|
H A D | probe_search.pl | 304 args:["Bivs": "A list of lists of binary integer variables", label
|
/barrelfish-master/lib/libc/sys/ |
H A D | fcntl.c | 47 va_list args; local
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | listut.pl | 168 args:["I":"Integer position index, counting from 0", label 196 args:["I":"Integer position index, counting from 1", label 236 args:["I":"Integer position index, counting from 0", label 268 args:["I":"Integer position index, counting from 1", label
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 74 args: ["Tree":"The new tree"], label 85 args: ["Tree":"A 2-3-4 tree"], label 96 args: ["Tree":"A 2-3-4 tree", label 122 args: ["Tree":"A 2-3-4 tree", label 146 args: ["Tree":"A 2-3-4 tree", label 171 args: ["Tree":"A 2-3-4 tree", label 199 args: ["Tree":"A 2-3-4 tree", label 228 args: ["Tree":"A 2-3-4 tree", label 256 args: ["Tree":"A 2-3-4 tree", label 287 args label 314 args: ["Tree0":"A 2-3-4 tree", label 342 args: ["Tree0":"A 2-3-4 tree", label 368 args: ["Tree0":"A 2-3-4 tree", label 396 args: ["Tree0":"A 2-3-4 tree", label 421 args: ["Tree":"A 2-3-4 tree", label 442 args: ["Tree":"A 2-3-4 tree", label 465 args: ["Tree0":"A 2-3-4 tree", label 491 args: ["Tree":"A 2-3-4 tree", label 512 args: ["AssocList":"A list of key-value pairs", label 532 args: ["Tree":"A 2-3-4 tree", label [all...] |
H A D | mercury.pl | 38 args: ["Message":"A string giving the error message to display"], label 51 args: ["Message":"A string giving the error message to display", label
|
/barrelfish-master/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/ |
H A D | All.java | 43 public static void main(String[] args) {
argument
|
/barrelfish-master/usr/tests/semaphores/ |
H A D | semtest.c | 18 char *args[5]; local
|
/barrelfish-master/lib/libc/amd64/gen/ |
H A D | makecontext.c | 46 uint64_t *args; local 98 makectx_wrapper(ucontext_t *ucp, func_t func, uint64_t *args) argument [all...] |
H A D | signalcontext.c | 46 uint64_t *args; local 96 sigctx_wrapper(ucontext_t *ucp, handler_t func, uint64_t *args) argument [all...] |