/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | eg_c_test.c | 103 if (res != PSUCCEED) 141 if (PSUCCEED == ec_var_lookup(Vars,"X",&pw1) && 142 PSUCCEED == ec_get_atom(pw1,&a) && 143 PSUCCEED == ec_var_lookup(Vars,"Y",&pw1) && 144 PSUCCEED == ec_get_string(pw1,&s) && 145 PSUCCEED == ec_var_lookup(Vars,"Z",&pw1) && 146 PSUCCEED == ec_get_long(pw1,&n) 178 if (PSUCCEED == ec_resume_flush() && 179 PSUCCEED == ec_get_atom(ec_ref_get(X),&a) && 180 PSUCCEED [all...] |
H A D | eg_c_external.c | 56 if (res != PSUCCEED) return res; 74 for (list = ec_arg(1); ec_get_list(list,&car,&cdr) == PSUCCEED; list = cdr) 77 if (res != PSUCCEED) return res; 81 if (res != PSUCCEED) return res;
|
H A D | eg_c_fail_loop.c | 68 while(PSUCCEED == ec_resume1(Start)) 71 if (PSUCCEED == ec_get_long(ec_ref_get(X),&num))
|
H A D | eg_c_main.c | 54 if (PSUCCEED == ec_var_lookup(Vars,"X",&ans) && 55 PSUCCEED == ec_get_string(ans,&s))
|
H A D | dummy_par.c | 156 { return PSUCCEED; }
|
H A D | procedure.c | 108 return PSUCCEED; 143 if (res != PSUCCEED) 159 return res < 0 ? res : PSUCCEED; 228 encoded = (res == PSUCCEED); 248 return (nread == 0) ? PSUCCEED : UNEXPECTED_EOF; 269 if (res != PSUCCEED) 270 return (res == PEOF) ? PSUCCEED : NOT_DUMP_FILE; 369 if (res != PSUCCEED) 388 return PSUCCEED;
|
H A D | eg_c_mip.c | 125 if (ec_resume1(0) == PSUCCEED) /* solve */ 130 if (ec_get_double(ec_ref_get(Profit), &d) == PSUCCEED) 137 if (ec_get_double(ec_refs_get(Vars,i), &d) == PSUCCEED)
|
H A D | external.c | 76 return (PSUCCEED);
|
H A D | eg_c_sendmore.c | 104 if (res == PSUCCEED) /* print solution */ 110 if (res == PSUCCEED)
|
H A D | embed.c | 111 return PSUCCEED; 126 return PSUCCEED; 176 if (res != PSUCCEED) 184 return PSUCCEED; 411 return PSUCCEED; 473 * PSUCCEED 761 return PSUCCEED; 802 return PSUCCEED; 830 return PSUCCEED; 861 return PSUCCEED; [all...] |
H A D | bip_serialize.c | 274 if (res < PSUCCEED) { \ 281 if (res == PSUCCEED) { \ 288 if ((res = ec_outf(nst, buf, dest - buf)) == PSUCCEED) { \ 732 if (tag_desc[t].from_string(buf, pw, 10) != PSUCCEED) 770 return (res == PSUCCEED) ? base : 0; 813 return PSUCCEED; 931 if (res != PSUCCEED) return res; 938 if ((res = ec_outfc(nst, '[')) != PSUCCEED) return res; 940 if ((res = _write_exdr(nst, pw, strhm, perr)) != PSUCCEED) return res; 1037 if ((res = _write_exdr(nst, arg, strhm, perr)) != PSUCCEED) [all...] |
H A D | bip_store.c | 339 int res = PSUCCEED; 343 if (res != PSUCCEED) 352 if ((res = create_heapterm(©_value, vval, tval)) != PSUCCEED) 363 if ((res = create_heapterm(&pelem->key, vkey, tkey)) != PSUCCEED) 368 if ((res = create_heapterm(&pelem->value, vval, tval)) != PSUCCEED) 396 int res = PSUCCEED; 400 if (res != PSUCCEED) 419 if ((res = create_heapterm(&pelem->key, vkey, tkey)) != PSUCCEED) 446 int res = PSUCCEED; 450 if (res != PSUCCEED) [all...] |
H A D | bip_record.c | 271 return PSUCCEED; 290 else if (err == PSUCCEED && header->next == header) 395 int err = PSUCCEED; 397 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 402 if (err != PSUCCEED) goto _unlock_return_err_; 421 int err = PSUCCEED; 423 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 428 if (err != PSUCCEED) goto _unlock_return_err_; 450 int err = PSUCCEED; 452 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) [all...] |
H A D | external.h | 92 if (res != PSUCCEED) \ 101 if (res != PSUCCEED) \
|
H A D | io.c | 540 return PSUCCEED; 863 int res = PSUCCEED; 871 if ((err != PSUCCEED) && !(options & CLOSE_FORCE)) 888 if ((err != PSUCCEED) && !(options & CLOSE_FORCE)) 890 res = (res==PSUCCEED ? err : res); 911 res = (res==PSUCCEED ? SYS_ERROR : res); 950 if ((err = StreamMethods(nst).close(StreamUnit(nst))) != PSUCCEED) 977 return(PSUCCEED); 1033 return PSUCCEED; /* shouldn't happen */ 1179 return(PSUCCEED); [all...] |
H A D | bip_arith.c | 390 Succeed_If(tag_desc[TagType(t)].arith_op[ARITH_SGN](v, &result) == PSUCCEED 443 if (err != PSUCCEED) goto _error_; 447 if (p_is_zero(new_coeff.val, new_coeff.tag) == PSUCCEED) 493 if (err != PSUCCEED) goto _error_; 496 if (err != PSUCCEED) goto _error_; 501 if (p_is_zero(new_coeff.val, new_coeff.tag) == PSUCCEED) 649 if (err != PSUCCEED) goto _error_; 652 if (err != PSUCCEED) goto _error_; 662 if (err != PSUCCEED) goto _error_; 679 if (seq_var != &unit_var && p_is_zero(seq_coeff.val, seq_coeff.tag) == PSUCCEED) [all...] |
H A D | ec_public.h | 167 #define PSUCCEED 0 /* success */ macro
|
H A D | write.c | 453 if (res == PSUCCEED) 545 return PSUCCEED; 567 return PSUCCEED; 625 if (result == PSUCCEED) 644 if (res != PSUCCEED) return 1; 712 return PSUCCEED; 720 return PSUCCEED; 794 return PSUCCEED; 799 return PSUCCEED; 847 return PSUCCEED; [all...] |
H A D | bip_heapevents.c | 151 int res = PSUCCEED; 191 res = res == PSUCCEED ? create_heapterm(&event->goal, vevent, tevent) : res; 193 if (res != PSUCCEED) {
|
H A D | init.c | 302 if ((err = io_init(init_flags)) != PSUCCEED) 422 return PSUCCEED; 436 if (!(res == PSUCCEED || res == PFAIL))
|
H A D | read.c | 861 return PSUCCEED; 877 return PSUCCEED; 923 return PSUCCEED; 1008 return PSUCCEED; 1366 return PSUCCEED; 1368 return context_flags & PREBINFIRST ? PSUCCEED : BRACKET; 1393 return PSUCCEED; 1395 return context_flags & PREBINFIRST ? PSUCCEED : BRACKET; 1411 return context_flags & PREBINFIRST ? PSUCCEED : POSTINF; 1417 return PSUCCEED; [all...] |
H A D | proc_desc.c | 738 return PSUCCEED; 751 return PSUCCEED; 872 return pd->mode == new_mode ? PSUCCEED : ACCESSING_NON_LOCAL; 876 return PSUCCEED; 888 return pd->prio == new_prio ? PSUCCEED : ACCESSING_NON_LOCAL; 892 return PSUCCEED; 901 return pd->run_prio == new_prio ? PSUCCEED : ACCESSING_NON_LOCAL; 905 return PSUCCEED; 918 return pd->trans_function == trans_function ? PSUCCEED : ACCESSING_NON_LOCAL; 923 return PSUCCEED; [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | eregex.c | 73 for ( ; (err = ec_get_list(list,&car,&cdr)) == PSUCCEED; list = cdr) 77 if (err != PSUCCEED) return err; 87 return err == PFAIL ? PSUCCEED : err; 95 if (err != PSUCCEED) 99 if (err != PSUCCEED) return err; 105 return PSUCCEED; 117 if (err != PSUCCEED) return err; 119 if (err != PSUCCEED) return err; 137 if (err != PSUCCEED) return err; 139 if (err != PSUCCEED) retur [all...] |
H A D | edge_finder.c | 155 if (ec_get_long(ec_arg(1), &n) != PSUCCEED) 157 if (ec_get_long(ec_arg(2), &cap) != PSUCCEED) 161 if (ec_get_long(ec_arg(3), &opt) != PSUCCEED) 192 if (ec_get_handle(ec_arg(1), &ef_desc, (t_ext_ptr*)&ef) != PSUCCEED || 193 ec_get_long(ec_arg(2), &i) != PSUCCEED || 194 ec_get_long(ec_arg(3), &ef->tasks[i].est) != PSUCCEED || 195 ec_get_long(ec_arg(4), &ef->tasks[i].lst) != PSUCCEED || 196 ec_get_long(ec_arg(5), &ef->tasks[i].ect) != PSUCCEED || 197 ec_get_long(ec_arg(6), &ef->tasks[i].lct) != PSUCCEED || 198 ec_get_long(ec_arg(7), &size) != PSUCCEED || [all...] |
/barrelfish-2018-10-04/usr/skb/octopus/ |
H A D | predicates.c | 77 return PSUCCEED; 103 assert(res == PSUCCEED); 110 for (list = ec_arg(2); ec_get_list(list, &cur, &rest) == PSUCCEED; list = rest) { 119 assert(res == PSUCCEED); 127 return PSUCCEED; 138 assert(res == PSUCCEED); 142 for (list = ec_arg(2); ec_get_list(list, &cur, &rest) == PSUCCEED; list = rest) { 147 assert(res == PSUCCEED); 156 return PSUCCEED; 173 if (res != PSUCCEED) { [all...] |