/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | code.c | 1214 make_test_bip(d_.unify, Get_valueAMAM, U_UNIFY, BoundArg(1, NONVAR) | BoundArg(2, NONVAR), -1, EXPORT); 1217 make_function_bip(in_dict("get_bip_error",1), BI_GetBipError, U_SIMPLE, BoundArg(1,CONSTANT), 1, 0); 1218 make_function_bip(in_dict("get_cut",1), SavecutAM, U_SIMPLE, BoundArg(1,CONSTANT), 1, 0); 1245 make_function_bip(in_dict("-",2), BI_Minus, U_SIMPLE, BoundArg(2,CONSTANT), 4, 1); 1246 make_function_bip(in_dict("+",3), BI_Add, PROC_DEMON|U_SIMPLE, BoundArg(3,CONSTANT), 16, 1); 1247 make_function_bip(in_dict("-",3), BI_Sub, PROC_DEMON|U_SIMPLE, BoundArg(3,CONSTANT), 16, 1); 1248 make_function_bip(in_dict("*",3), BI_Mul, PROC_DEMON|U_SIMPLE, BoundArg(3,CONSTANT), 16, 1); 1249 make_function_bip(in_dict("/",3), BI_Quot, PROC_DEMON|U_SIMPLE, BoundArg(3,CONSTANT), 16, 1); 1250 make_function_bip(in_dict("//",3), BI_Div, PROC_DEMON|U_SIMPLE, BoundArg( [all...] |
H A D | bip_delay.c | 145 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(1, NONVAR); 147 -> mode = BoundArg(2, NONVAR) | BoundArg(3, NONVAR); 149 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 151 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 153 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 155 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 157 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 158 local_built_in(in_dict("undo_meta_bind", 2), p_undo_meta_bind, B_UNSAFE|U_GLOBAL) -> mode = BoundArg( [all...] |
H A D | bip_tconv.c | 95 -> mode = BoundArg(1, NONVAR) | BoundArg(2, CONSTANT) | 96 BoundArg(3, CONSTANT); 98 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 100 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 102 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 109 -> mode = BoundArg( [all...] |
H A D | bip_comp.c | 103 BoundArg(1, NONVAR) | BoundArg(2, NONVAR) | BoundArg(3, NONVAR); 106 -> mode = BoundArg(1, CONSTANT) | 107 BoundArg(4, NONVAR); 113 -> mode = BoundArg(3, NONVAR) | BoundArg(4, NONVAR) | BoundArg(5, NONVAR); 115 -> mode = BoundArg(3, NONVAR) | BoundArg( [all...] |
H A D | bip_mps.c | 664 -> mode = BoundArg(3, CONSTANT); 667 -> mode = BoundArg(2, CONSTANT); 672 -> mode = BoundArg(1, CONSTANT); 679 -> mode = BoundArg(2, CONSTANT);
|
H A D | bip_domain.c | 169 -> mode = BoundArg(1, CONSTANT); 171 B_UNSAFE|U_SIMPLE) -> mode = BoundArg(2, CONSTANT); 173 B_UNSAFE|U_SIMPLE) -> mode = BoundArg(2, CONSTANT); 175 -> mode = BoundArg(2, CONSTANT)|BoundArg(3, CONSTANT); 177 B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND)|BoundArg(4, CONSTANT); 179 B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND)|BoundArg(4, CONSTANT); 181 B_UNSAFE|U_GROUND) -> mode = BoundArg( [all...] |
H A D | bip_misc.c | 181 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 189 -> mode = BoundArg(2, CONSTANT) | BoundArg(3, CONSTANT); 199 -> mode = BoundArg(2, CONSTANT) | BoundArg(3, CONSTANT); 208 -> mode = BoundArg(1, CONSTANT) | BoundArg(2, CONSTANT) | 209 BoundArg(3, CONSTANT);
|
H A D | bip_strings.c | 105 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 107 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 125 -> mode = BoundArg(4, GROUND); 127 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 131 p_string_print_length, B_UNSAFE|U_SIMPLE) -> mode = BoundArg(3, CONSTANT);
|
H A D | handlers.c | 1489 -> mode = BoundArg(2, NONVAR) | BoundArg(3, CONSTANT); 1492 -> mode = BoundArg(2, NONVAR) | BoundArg(3, CONSTANT); 1497 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR);
|
H A D | bip_io.c | 392 -> mode = BoundArg(2, CONSTANT) | BoundArg(3, CONSTANT); 422 -> mode = BoundArg(1, CONSTANT) | BoundArg(2, CONSTANT); 424 -> mode = BoundArg(3, CONSTANT) | BoundArg(4, CONSTANT); 426 -> mode = BoundArg(3, CONSTANT) | BoundArg(4, CONSTANT); 428 -> mode = BoundArg(4, CONSTANT) | BoundArg( [all...] |
H A D | read.c | 1620 -> mode = BoundArg(1, NONVAR); 1622 -> mode = BoundArg(2, NONVAR); 1624 -> mode = BoundArg(2, NONVAR) | BoundArg(3, NONVAR); 1626 -> mode = BoundArg(2, NONVAR) | BoundArg(3, CONSTANT);
|
H A D | bip_arith.c | 2172 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 2174 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR) | 2175 BoundArg(3, NONVAR); 2177 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR) | 2178 BoundArg(3, NONVAR);
|
H A D | bip_record.c | 903 -> mode = BoundArg(2, NONVAR); 906 -> mode = BoundArg(2, NONVAR); 909 -> mode = BoundArg(2, NONVAR);
|
H A D | bip_array.c | 150 -> mode = BoundArg(1, GROUND) | BoundArg(2, GROUND); 160 pd -> mode = BoundArg(2, NONVAR);
|
H A D | term_copy.c | 1410 ->mode = BoundArg(2, NONVAR); /* it *could* be a nonvar */ 1413 ->mode = BoundArg(2, NONVAR) /* it *could* be a nonvar */ 1414 | BoundArg(3, NONVAR);
|
H A D | intervals.c | 2284 -> mode = BoundArg(4, CONSTANT) | BoundArg(5, CONSTANT); 2286 -> mode = BoundArg(6, CONSTANT) | BoundArg(7, CONSTANT); 2289 /* -> mode = BoundArg(8, CONSTANT) | BoundArg(9, CONSTANT); */
|
H A D | bip_module.c | 124 -> mode = BoundArg(2, GROUND) | BoundArg(3, CONSTANT);
|
H A D | dict.h | 391 #define BoundArg(i, val) 0 macro
|
H A D | bip_db.c | 309 -> mode = BoundArg(2, GROUND); 327 -> mode = BoundArg(1, CONSTANT) | BoundArg(2, CONSTANT); 335 -> mode = BoundArg(3, GROUND); 350 -> mode = BoundArg(2, GROUND);
|
H A D | bip_load.c | 1104 -> mode = BoundArg(2, CONSTANT);
|
H A D | bip_store.c | 884 ->mode = BoundArg(2,GROUND);
|
H A D | proc_desc.c | 1891 pd->mode = BoundArg(DidArity(PriDid(pd)), CONSTANT);
|