/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | eg_cc_external.cc | 41 return unify(EC_arg(1), 76 return unify(EC_word(EC_arg(2)), the_list); 96 return unify(EC_arg(2), EC_word(sum));
|
H A D | eg_c_test.c | 165 ec_post_goal(ec_term(ec_.d.unify, 200 ec_post_goal(ec_term(ec_.d.unify, ec_ref_get(X),
|
H A D | eclipse_cc.cc | 310 unify(EC_word term1, EC_word term2); 313 unify(EC_word term) function in class:EC_word 352 unify(EC_word term1, EC_word term2) function
|
H A D | types.h | 1003 unify, member in struct:__anon1659
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | scheduler.cc | 45 return unify(EC_arg(3), handle(schedule_method, schedule.getImpl())); 61 return unify(EC_arg(5), handle(activity_method, activity.getImpl())); 80 return unify(EC_arg(3), handle(constraint_method, constraint.getImpl())); 117 return unify(EC_arg(3), handle(resource_method, resource.getImpl())); 146 return unify(EC_arg(3), handle(altresset_method, resource.getImpl()));
|
H A D | ilog.cc | 58 return unify(EC_arg(1), handle(&ilog_method, m.getImpl())); 88 if (unify(ec_var, EC_word(v.getValue())) != EC_succeed) { 117 return unify(EC_arg(arg), handle(intvar_method, v.getImpl())); 183 return (unify(EC_arg(3), EC_word(v.getMax())) || 184 unify(EC_arg(2), EC_word(v.getMin()))); 199 return (unify(EC_arg(2), EC_word(v.getSize()))); 234 return unify(EC_arg(2), make_interval(v.getMin(), max, l, dotdot)); 249 return (unify(EC_arg(2), l));
|
H A D | ilog.pl | 67 unify:unify_ilog/2]). label
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | metutl.pl | 8 :- local unify/3. 19 unify/2, 41 unify(+, +), 42 unify(+, +, +), 145 % unify(?X, ?Y) 146 % Try to unify X and Y, wih occurs check. 149 unify(X, Y) :- 153 X = Y. % want unify(X,X) 155 unify(X, Y) :- 161 unify( [all...] |
H A D | listut.pl | 160 % N elements and unify Elem with the next.) 176 and unify Elem with the next.)
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | peval.pl | 96 matches1([(A:-B)|C],D,E) :- not unify(A,D), !, matches1(C,D,E). 146 member((X:-T),L), unify(H,X). 197 unify(A,B) :- var(A), !, unify1(A,B). 198 unify(A,B) :- var(B), !, unify2(B,A). 199 unify(A,B) :- A=..[F|LA], B=..[F|LB], unifyl(LA,LB). 209 unifyl([A|LA],[B|LB]) :- unify(A,B), unifyl(LA,LB).
|
H A D | tracer.pl | 70 resume,leave,delay,next,unify,spyterm,modify,else)), 222 last_suspension(S), % unify S 527 unify:unify, label 546 unify, 563 port_name_to_mask_bit(unify, 2'0000001000000000) :- !. 579 port_name_to_number(unify, 10) :- !.
|
H A D | modes.pl | 325 (unify(Term1, Term2) -> 439 % unify two mixed abstract/concrete terms 446 unify(X, Y) :- 453 unify('$alias'(X), Y) :- !, 454 unify(X, Y). 455 unify(X, Y) :- 474 mapargs(unify, X, Y)
|
H A D | meta.pl | 83 :- local_record(unify). 260 meta_event(unify, 2). 261 meta_event(unify, 3). 373 collect_local_handlers(unify, List), 717 unify(X, Y, List), % like =/2 with an explicit list
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embfunc.tex | 45 \item[int unify(EC_word, EC_word)]\ \\ 46 unify two pwords. The return code indicates success or 51 \item[int EC_word::unify(EC_word)]\ \\ 103 return unify(EC_arg(2), EC_word(sum));
|
H A D | umscmacros.tex | 265 The macros {\tt Return_Unify_} are used to unify two terms. 297 & unify two general Prolog terms. To be used if 305 The macros {\tt Request_Unify_} can be used to unify any number 340 {\tt Request_Unify_Pw(val1, tag1, val2, tag2)} & unify two general Prolog terms. To be used if
|
H A D | embsumcxx.tex | 241 \item[int unify(EC_word,EC_word)]\ \\ 247 \item[int EC_word::unify(EC_word)]\ \\
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | bin_info.pl | 31 :- meta_attribute(bin_info, [unify:unify_bin_info/2,print:print_bin_info/2]).
|
H A D | not_equals.pl | 32 % unify or not, taking disequality 73 unify:unify_ne/2, label
|
H A D | shadow_cons.pl | 113 :- meta_attribute(shadow_cons, [unify:unify_LC/2, print:print_LC/2]).
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_map.pl | 153 summary: "Succeeds if Key and Value unify with a key/value pair from Map.", 154 fail_if: "Fails if Key and Value do not unify with a key/value pair from Map.", 159 Tries to unify Key and Value with key/value pairs from the map Map. 181 fail_if: "Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.", 187 If the key is found, then it attempts to unify the corresponding 205 fail_if: "Fails if Value does not unify with the value corresponding to Key.", 211 If the key is found, then it attempts to unify the corresponding 231 fail_if: "Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.", 240 found, then it attempts to unify it with Key and the corresponding 259 fail_if: "Fails if Key and Value do not unify wit [all...] |
/barrelfish-master/usr/eclipseclp/GecodeInterface/ |
H A D | gfd.cpp | 585 return unify(EC_arg(1), handle(&gfd_method, solverp)); 654 return unify(EC_arg(3), nil()); 693 return unify(EC_arg(3), EC_word((long)val)); 746 res = unify(EC_arg(3), EC_word(solver->vInt[(int)idx].min())); 748 return unify(EC_arg(4), EC_word(solver->vInt[(int)idx].max())); 769 return unify(EC_arg(3), EC_word(solver->vInt[(int)idx].min())); 815 unify(EC_arg(5), EC_word(solver->vInt[(int)idx].min())) : 816 unify(EC_arg(5), EC_word(solver->vInt[(int)idx].max()))); 837 return unify(EC_arg(3), EC_word(solver->vInt[(int)idx].max())); 857 return unify(EC_ar [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 171 an attributed variable (it would create a new attributed variable and unify this 229 [unify:UnifyHandler, test_unify:TUHandler, ...] 259 \item [unify:]\handleridx{unify} 290 \emph{and} all handlers for the \notation{unify} operation are invoked. 296 unify-handlers are done. 308 where the arguments are the same as for the unify handler. 468 than the \notation{unify} handler and because its semantics is somewhat 572 bound. This is done by writing a handler for the \notation{unify} operation. 601 :- meta_attribute(enum, [unify [all...] |
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 465 meta-unify event handler. 578 trigger a meta-unify\index{meta-unify} event at the next synchronous point 585 get_value(a(A1),a(A2)) & unify two argument registers \\ 586 get_value(a(A),y(Y)) & unify argument and environment slot \\ 587 get_value(a(A),t(X)) & unify argument and temporary \\ 588 get_value(y(Y),y(Y)) & unify two environment slots \\ 599 get_constant(a(A),C) & unify argument with arbitrary constant \\ 600 get_nil(a(A)) & unify argument with nil (the atom '[]') \\ 601 get_integer(a(A),V) & unify argumen [all...] |
H A D | umscmacros.tex | 282 The macros {\tt Return_Unify_} are used to unify two terms. 314 & unify two general Prolog terms. To be used if 322 The macros {\tt Request_Unify_} can be used to unify any number 357 {\tt Request_Unify_Pw(val1, tag1, val2, tag2)} & unify two general Prolog terms. To be used if
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-eager.pl | 30 coca(try_rule(F, equals([A * B], C), unify, equals([G * H], I), replacement, nonground(G), is_div(I, H, G))), 34 coca(fired_rule(unify)),
|