/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_tconv.c | 72 p_term_hash(value vterm, type tterm, value vdepth, type tdepth, value vrange, type trange, value vhash, type thash), 75 p_type_of(value vterm, type term, value votype, type ttype), 348 * FUNCTION NAME: p_type_of(vterm, term, votype,ttype) - logical 350 * PARAMETERS: vterm - term1->val 369 p_type_of(value vterm, type term, value votype, type ttype) argument 1054 _term_hash(value vterm, argument 1077 return hash+vterm.nint; 1081 Hashl((char*) &vterm.all, h, SIZEOF_DOUBLE); 1083 Hashl(StringStart(vterm), h, SIZEOF_DOUBLE); 1088 Hashl(StringStart(vterm), 1135 ec_term_hash(value vterm, type tterm, uword maxdepth, int *pres) argument 1145 p_term_hash(value vterm, type tterm, value vdepth, type tdepth, value vrange, type trange, value vhash, type thash) argument [all...] |
H A D | bip_record.c | 391 p_recorda_body(value vrec, type trec, value vterm, type tterm, value vmod, type tmod) argument 397 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 417 p_recordz_body(value vrec, type trec, value vterm, type tterm, value vmod, type tmod) argument 423 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 446 p_recorda3_body(value vrec, type trec, value vterm, type tterm, value vdref, type tdref, value vmod, type tmod) argument 452 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 476 p_recordz3_body(value vrec, type trec, value vterm, type tterm, value vdref, type tdref, value vmod, type tmod) argument 482 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED) 514 _may_match_filter(value vfilter, uword tfilter, value vterm, type tterm) argument 526 return SimpleEq(tfilter,vfilter,vterm); [all...] |
H A D | bip_bag.c | 178 p_bag_enter(value vbag, type tbag, value vterm, type tterm) argument 186 if ((err = create_heapterm(©_pw, vterm, tterm)) != PSUCCEED)
|
H A D | bip_delay.c | 60 p_nonground3(value vn, type tn, value vterm, type tterm, value vlist, type tlst), 61 p_meta_bind(value vmeta, type tmeta, value vterm, type tterm), 63 p_term_variables_lr(value vterm, type tterm, value vlist, type tlst), 64 p_term_variables_rl(value vterm, type tterm, value vlist, type tlst), 65 p_term_variables_array(value vterm, type tterm, value varr, type tarr), 66 p_replace_attribute(value vmeta, type tmeta, value vterm, type tterm, value vm, type tm), 522 p_meta_bind(value vmeta, type tmeta, value vterm, type tterm) argument 525 return meta_bind(vmeta.ptr, vterm, tterm); 871 p_nonground3(value vn, type tn, value vterm, type tterm, value vlist, type tlst) argument 882 if (_collect_vars(vterm, tter 906 p_term_variables_rl(value vterm, type tterm, value vlist, type tlst) argument 931 p_term_variables_lr(value vterm, type tterm, value vlist, type tlst) argument 955 p_term_variables_array(value vterm, type tterm, value varr, type tarr) argument 1052 p_replace_attribute(value vmeta, type tmeta, value vterm, type tterm, value vm, type tm) argument [all...] |
H A D | bip_parallel.c | 148 p_dbag_enter(value vbag, type tbag, value vterm, type tterm) argument 161 term.val.all = vterm.all;
|
H A D | bip_comp.c | 348 ec_occurs(value vs, type ts, value vterm, type tterm) argument 356 return (IsRef(ts) && vs.all == vterm.all); 360 arity = DidArity(vterm.ptr->val.did); 361 vterm.ptr++; 372 return IsString(ts) && !compare_strings(vs, vterm); 375 return IsDouble(ts) && Dbl(vs) == Dbl(vterm); 378 return SameType(ts, tterm) && SimpleEq(ts.kernel, vs, vterm); 383 arg = vterm.ptr++; 388 arg = vterm.ptr; /* tail recursion optimised */ 390 vterm [all...] |
H A D | bip_control.c | 73 p_request_fail_write(value v, type t, value varg, type targ, value vstream, type tstream, value vterm, type tterm), 658 p_request_fail_write(value v, type t, value varg, type targ, value vstream, type tstream, value vterm, type tterm) argument 680 data[1].val.all = vterm.all;
|
H A D | emu_export.h | 1566 Extern int ec_occurs ARGS((value vs, type ts, value vterm, type tterm));
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic.c | 5329 p_unify_ic(value vterm, type tterm, value vattr, type tattr, value vsusp_attr, type tsusp_attr) argument 5342 IC_Var_Get_Attr(vterm.ptr, attr1); 5363 return unify_number_ic(vterm, tterm, attr2vec); 5366 IC_Var_Get_Attr(vterm.ptr, attr1); 5373 notify_constrained(vterm.ptr); 5386 return unify_ic_ic(attr1vec, attr2vec, vterm, tterm,
|