Searched defs:IntOfTerm (Results 1 – 11 of 11) sorted by relevance
187 IntOfTerm (Term t) in IntOfTerm() function
181 IntOfTerm (Term t) in IntOfTerm() function
195 IntOfTerm (Term t) in IntOfTerm() function
191 IntOfTerm (Term t) in IntOfTerm() function
261 IntOfTerm (Term t) in IntOfTerm() function
188 inline EXTERN Int IntOfTerm(Term t) in IntOfTerm() function
168 IntOfTerm(Term t) in IntOfTerm() function
175 inline EXTERN Int IntOfTerm(Term t) in IntOfTerm() function
177 inline EXTERN Int IntOfTerm(Term t) in IntOfTerm() function
243 inline EXTERN Int IntOfTerm(Term t) in IntOfTerm() function
104 #define IntOfTerm(t) YAP_IntOfTerm(t) macro