Searched refs:plus (Results 1 - 25 of 54) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Deg_c_sendmore.c43 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 Deg_c_mip.c90 static pword plus(lhs, rhs) function
H A Deg_c_test.c173 ec_term(ec_.d.plus,
H A Declipse_cc.cc621 OP2(operator+, ec_.d.plus)
H A Dtypes.h945 plus, member in struct:__anon1659
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dapply.pl54 ?- 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 Dgoedel.pl71 plus/3,
H A Dmatrix_util.pl144 plus(NRow1,1,NRow),
H A Dhttp_server.pl115 defined in the header, plus the object body
H A Dpeval.pl29 Partial evaluator for pure Prolog plus ineq, ~=, cut and not. No other
H A Dsource_storage.pl106 local_body((plus/3, trace/1), source),
H A Dlinearize.pl43 % linearize/3 understands all arithmetic expressions plus
96 linearize/3 understands all arithmetic expressions plus
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dpropia_nofdtests.pl86 plus(M,1,N),
H A Dpropia_fdtests.pl131 plus(M,1,N),
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dlist.pl150 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 Dterm.pl11 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 Dpbuf_barrelfish.c879 u16_t plus = pbuf_memcmp(p, i, mem, mem_len); local
880 if (plus == 0) {
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_util.pl88 % 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 Dxml_utilities.pl376 "oplus"-[8853], % circled plus = direct sum,
396 "plusmn"-[177], % plus-minus sign = plus-or-minus sign,
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsprofile.tex93 plus /3 eclipse 0.1% 0.01s
137 plus /3 eclipse 0.1% 0.01s
H A Dumsarith.tex256 + E & unary plus & number & number \\
489 \item[plus(X, Y, Z)]\indextt{plus/3}
/barrelfish-master/lib/lwip2/src/core/
H A Dpbuf.c418 * 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 Dic_probing_tests.pl213 take place no sooner than the time point with ID 3 plus 10 minutes.
H A Dprobing_tests.pl211 take place no sooner than the time point with ID 3 plus 10 minutes.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dmodelling.tex132 \item[Mainstream programming languages (e.g. C++ plus solver library)]

Completed in 101 milliseconds

123