Searched refs:U_UNIFY (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbip_parallel.c413 p_get_par_goal, B_UNSAFE|U_UNIFY); local
420 p_dbag_dissolve, B_UNSAFE|U_UNIFY); local
H A Dbip_tconv.c93 /* functor/3 is U_UNIFY because the bound argument is not known */
94 built_in(in_dict("functor", 3), p_functor, B_UNSAFE|U_UNIFY|PROC_DEMON)
108 built_in(in_dict("=..", 2), p_univ, B_UNSAFE|U_UNIFY|PROC_DEMON)
110 (void) built_in(in_dict("array_flat", 3), p_array_flat, B_UNSAFE|U_UNIFY|PROC_DEMON);
111 (void) built_in(in_dict("array_list", 2), p_array_list, B_UNSAFE|U_UNIFY|PROC_DEMON);
112 (void) built_in(in_dict("array_list", 3), p_array_list3, B_UNSAFE|U_UNIFY|PROC_DEMON);
113 (void) built_in(in_dict("array_concat", 3), p_array_concat, B_UNSAFE|U_UNIFY|PROC_DEMON);
115 (void) built_in(in_dict("dim", 2), p_dim, B_UNSAFE|U_UNIFY); local
H A Dcode.c1214 make_test_bip(d_.unify, Get_valueAMAM, U_UNIFY, BoundArg(1, NONVAR) | BoundArg(2, NONVAR), -1, EXPORT);
1260 make_function_bip(in_dict("arg",3), BI_Arg, PROC_DEMON|U_UNIFY, BoundArg(2, NONVAR) | BoundArg(3, NONVAR), 16, 1); local
1262 make_function_bip(in_dict("compare",3), BI_Compare, U_UNIFY, BoundArg(1, CONSTANT), 1, 0);
1263 make_function_bip(in_dict("list_end",2), BI_ListEnd, U_UNIFY, 0, 4, 0);
1264 make_function_bip(in_dict("qualify_",3), BI_Qualify, U_UNIFY, 0, 4, 0);
1266 make_test_bip(in_dict("make_suspension",4), BI_MakeSuspension, U_UNIFY|DEBUG_INVISIBLE, BoundArg(3, NONVAR), 0, EXPORT);
H A Dbip_comp.c102 B_UNSAFE|U_UNIFY) -> mode =
105 p_compare_instances4, B_UNSAFE|U_UNIFY)
112 built_in(in_dict("merge", 5), p_merge5, B_UNSAFE|U_UNIFY)
114 built_in(in_dict("number_merge", 5), p_number_merge5, B_UNSAFE|U_UNIFY)
116 built_in(in_dict("sort", 4), p_sort4, B_UNSAFE|U_UNIFY)
118 built_in(in_dict("number_sort", 4), p_number_sort4, B_UNSAFE|U_UNIFY)
120 built_in(in_dict("array_sort", 4), p_array_sort, B_UNSAFE|U_UNIFY)
H A Dbip_delay.c156 local_built_in(in_dict("meta_bind", 2), p_meta_bind, B_UNSAFE|U_UNIFY)
171 p_get_suspension_data, B_UNSAFE|U_UNIFY)
179 p_suspensions_to_goals, B_UNSAFE|U_UNIFY)
182 B_UNSAFE|U_UNIFY)
205 B_UNSAFE|U_UNIFY); local
H A Dbip_domain.c183 B_UNSAFE|U_UNIFY); local
185 p_linear_term_range_only, B_UNSAFE|U_UNIFY) -> mode =
188 p_linear_term_range_eq, B_UNSAFE|U_UNIFY) -> mode =
191 p_linear_term_range_ge, B_UNSAFE|U_UNIFY) -> mode =
193 exported_built_in(in_dict("make_extreme", 2), p_make_extreme, B_UNSAFE|U_UNIFY)
209 exported_built_in(in_dict("ineq_test", 4), p_ineq_test, B_UNSAFE|U_UNIFY)
213 B_UNSAFE|U_UNIFY) -> mode = BoundArg(6, CONSTANT) | BoundArg(7, NONVAR);
H A Ddict.h342 #define U_UNIFY 0x0000000c /* general unification */ macro
H A Dbip_module.c505 case U_UNIFY: /* equal to fresh */
H A Dterm_copy.c1412 p_copy_term3, B_UNSAFE|U_UNIFY)

Completed in 110 milliseconds