Searched refs:tattr (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_delay.c | 82 p_postpone_suspensions(value vpos, type tpos, value vattr, type tattr),
94 p_init_suspension_list(value vpos, type tpos, value vattr, type tattr),
106 p_schedule_suspensions(value vpos, type tpos, value vattr, type tattr),
1607 p_postpone_suspensions(value vpos, type tpos, value vattr, type tattr) argument
1610 Check_Structure(tattr);
1724 p_init_suspension_list(value vpos, type tpos, value vattr, type tattr) argument
1728 Check_Structure(tattr);
2055 p_schedule_suspensions(value vpos, type tpos, value vattr, type tattr) argument
2058 Check_Structure(tattr);
|
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | ic.c | 4621 p_get_ic_attr(value vvar, type tvar, value vattr, type tattr) argument
4630 Return_Bind_Var(vattr, tattr, res->val.all, res->tag.kernel);
5329 p_unify_ic(value vterm, type tterm, value vattr, type tattr, value vsusp_attr, type tsusp_attr) argument
5334 if (IsRef(tattr)) {
5349 if (!IsStructure(tattr)) {
|
Completed in 41 milliseconds