Searched refs:taga (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_load.c | 981 p_symbol_address(value vals, type tags, value vala, type taga) argument
987 Check_Output_Integer(taga);
993 Return_Unify_Integer(vala, taga, symbol);
|
| H A D | bip_db.c | 101 p_current_functor(value valn, type tagn, value vala, type taga, value vopt, type topt, value valsn, type tagsn),
685 p_current_functor(value valn, type tagn, value vala, type taga, value vopt, type topt, value valsn, type tagsn) argument
700 if (IsRef(taga))
702 Bind_Var(vala, taga, DidArity(functor), TINT);
704 else if (!(IsInteger(taga) && DidArity(functor) == vala.nint))
721 if (IsInteger(taga)) /* name and arity are known, just check */
726 else if (!IsRef(taga))
754 /* IsRef(taga) */
755 Bind_Var(vala, taga, DidArity(functor), TINT);
|
Completed in 34 milliseconds