Searched refs:U_UNIFY (Results 1 - 9 of 9) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_parallel.c | 413 p_get_par_goal, B_UNSAFE|U_UNIFY); local 420 p_dbag_dissolve, B_UNSAFE|U_UNIFY); local
|
H A D | bip_tconv.c | 93 /* 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 D | code.c | 1214 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 D | bip_comp.c | 102 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 D | bip_delay.c | 156 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 D | bip_domain.c | 183 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 D | dict.h | 342 #define U_UNIFY 0x0000000c /* general unification */ macro
|
H A D | bip_module.c | 505 case U_UNIFY: /* equal to fresh */
|
H A D | term_copy.c | 1412 p_copy_term3, B_UNSAFE|U_UNIFY)
|
Completed in 286 milliseconds