Searched refs:ATOM_plus (Results 1 – 5 of 5) sorted by relevance
656 OP(ATOM_plus, OP_FY, 200), /* + */657 OP(ATOM_plus, OP_YFX, 500),
1811 if ( ma == ATOM_plus ) m = MA_NONVAR; in meta_declaration()1874 case MA_NONVAR: a = ATOM_plus; break; in unify_meta_argument()
1585 if ( functor == ATOM_minus || functor == ATOM_plus ) in writeTerm2()
417 #define ATOM_plus (410*2+1) macro
790 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_plus),1);791 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_plus),2);