/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | eg_c_sendmore.c | 43 dident plus,times; local 49 plus = ec_did("+",2); 70 ec_term(plus, 72 ec_term(plus, 74 ec_term(plus, 76 ec_term(plus, 78 ec_term(plus, 80 ec_term(plus, 82 ec_term(plus, 86 ec_term(plus, [all...] |
H A D | eg_c_mip.c | 90 static pword plus(lhs, rhs) function
|
H A D | eg_c_test.c | 173 ec_term(ec_.d.plus,
|
H A D | eclipse_cc.cc | 621 OP2(operator+, ec_.d.plus)
|
H A D | types.h | 945 plus, member in struct:__anon1659
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | apply.pl | 54 ?- P=plus(1), apply(P, [3,X]). 55 P = plus(1) 64 ?- P=plus(1), P(3,X). 65 P = plus(1) 82 % The following three examples all invoke the goal plus(1,2,X): 84 ?- apply(plus, [1,2,X]). 87 ?- apply(plus(1), [2,X]). 90 ?- apply(plus(1,2), [X]). 96 ?- apply(plus(1),[2]). 97 calling an undefined procedure plus( [all...] |
H A D | goedel.pl | 71 plus/3,
|
H A D | matrix_util.pl | 144 plus(NRow1,1,NRow),
|
H A D | http_server.pl | 115 defined in the header, plus the object body
|
H A D | peval.pl | 29 Partial evaluator for pure Prolog plus ineq, ~=, cut and not. No other
|
H A D | source_storage.pl | 106 local_body((plus/3, trace/1), source),
|
H A D | linearize.pl | 43 % linearize/3 understands all arithmetic expressions plus 96 linearize/3 understands all arithmetic expressions plus
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | propia_nofdtests.pl | 86 plus(M,1,N),
|
H A D | propia_fdtests.pl | 131 plus(M,1,N),
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | list.pl | 150 coca(try_rule(F, lenlist([A|B], C), anonymous("7"), lenlist([G|H], I), replacement, true, (I > 0, plus(J, 1, I), lenlist(H, J)))), 155 plus(K, 1, C),
|
H A D | term.pl | 11 nth_member(_2429, [_2437|_2423], _2422) :- _2429 > 1, plus(_2424, 1, _2429), nth_member(_2424, _2423, _2422). 19 unify_args(_3324, _3313, _3312) :- _3324 > 0, plus(_3314, 1, _3324), chr_arg(_3324, _3313, _3319), chr_arg(_3324, _3312, _3318), unify1(_3319, _3318), unify_args(_3314, _3313, _3312). 31 varlist(_3655, _3643, _3649, _3641) :- _3655 > 0, plus(_3644, 1, _3655), chr_arg(_3655, _3643, _3650), varlist(_3650, _3649, _3642), varlist(_3644, _3643, _3642, _3641). 36 ground1(_3793, _3784) :- _3793 > 0, plus(_3785, 1, _3793), chr_arg(_3793, _3784, _3788), ground1(_3788), ground1(_3785, _3784). 40 number_vars(_3889, _3898, _3903) :- var(_3889), plus(_3898, 1, _3903), name(_3898, _3887), name('V', [_3888]), name(_3889, [_3888|_3887]). 49 undupvar(_4195, _4178, _4177, _4188, _4175, _4187, _4173) :- _4195 > 0, plus(_4179, 1, _4195), chr_arg(_4195, _4178, _4190), chr_arg(_4195, _4177, _4189), undupvar(_4190, _4189, _4188, _4176, _4187, _4174), undupvar(_4179, _4178, _4177, _4176, _4175, _4174, _4173). 55 pos_list([_4507|_4490], [_4506|_4489], [_4505|_4488], _4504 - _4486) :- pos(_4507, _4506, _4505, _4504 - _4495), plus(_4495, 2, _4487), pos_list(_4490, _4489, _4488, _4487 - _4486). 63 map_arg(_4845, _4844, _4843, _4852, _4841, _4840 - _4872) :- _4840 > _4872, plus(_4872, 1, _4839), chr_arg(_4839, _4845, _4855), chr_arg(_4839, _4844, _4854), chr_arg(_4839, _4843, _4853), map(_4855, _4854, _4853, _4852, _4842), map_arg(_4845, _4844, _4843, _4842, _4841, _4840 - _4839).
|
/barrelfish-master/lib/lwip2/src/barrelfish/ |
H A D | pbuf_barrelfish.c | 879 u16_t plus = pbuf_memcmp(p, i, mem, mem_len); local 880 if (plus == 0) {
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_util.pl | 88 % SetAny is the union of Set1 with Set2. No is Ni plus the 118 % SetBoth is the intersection of Set1 with Set2. No is Ni plus the 162 % NewSet is Set without WithoutSet. No is Ni plus the
|
H A D | xml_utilities.pl | 376 "oplus"-[8853], % circled plus = direct sum,
396 "plusmn"-[177], % plus-minus sign = plus-or-minus sign,
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsprofile.tex | 93 plus /3 eclipse 0.1% 0.01s 137 plus /3 eclipse 0.1% 0.01s
|
H A D | umsarith.tex | 256 + E & unary plus & number & number \\ 489 \item[plus(X, Y, Z)]\indextt{plus/3}
|
/barrelfish-master/lib/lwip2/src/core/ |
H A D | pbuf.c | 418 * must be at least big enough to hold 'length' plus the header size, 422 * big enough to hold 'length' plus the header size 1410 u16_t plus = pbuf_memcmp(p, i, mem, mem_len); local 1411 if (plus == 0) {
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probing_tests.pl | 213 take place no sooner than the time point with ID 3 plus 10 minutes.
|
H A D | probing_tests.pl | 211 take place no sooner than the time point with ID 3 plus 10 minutes.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 132 \item[Mainstream programming languages (e.g. C++ plus solver library)]
|