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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbip_tconv.c72 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 Dbip_record.c391 p_recorda_body(value vrec, type trec, value vterm, type tterm, value vmod, type tmod) argument
397 if ((err = create_heapterm(&copy_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(&copy_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(&copy_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(&copy_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 Dbip_bag.c178 p_bag_enter(value vbag, type tbag, value vterm, type tterm) argument
186 if ((err = create_heapterm(&copy_pw, vterm, tterm)) != PSUCCEED)
H A Dbip_delay.c60 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 Dbip_parallel.c148 p_dbag_enter(value vbag, type tbag, value vterm, type tterm) argument
161 term.val.all = vterm.all;
H A Dbip_comp.c348 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 Dbip_control.c73 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 Demu_export.h1566 Extern int ec_occurs ARGS((value vs, type ts, value vterm, type tterm));
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c5329 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,

Completed in 161 milliseconds