Searched refs:Yap_cp_as_integer (Results 1 – 3 of 3) sorted by relevance
218 Term STD_PROTO(Yap_cp_as_integer,(choiceptr));
50 Yap_cp_as_integer(choiceptr cp) in Yap_cp_as_integer() function
14043 ARG2 = Yap_cp_as_integer(B);14248 ARG2 = Yap_cp_as_integer(B);14442 ARG2 = Yap_cp_as_integer((choiceptr)pt0[E_CB]);