Searched refs:ATOM_float_integer_part (Results 1 – 2 of 2) sorted by relevance
224 #define ATOM_float_integer_part (217*2+1) macro
744 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_float_integer_part),1);