Searched refs:numbp (Results 1 – 3 of 3) sorted by relevance
91 numbp(?n _=numberp(?n)) :- t;94 posp(?n _=(numbp(?n)&?n > 0)) :- t;95 posp(?n _=(numbp(?n)&~(?n > 0))) :- 0;97 intp(?n _=(numbp(?n)&fixp(?n))) :- t;98 intp(?n _=(numbp(?n)&~ fixp(?n))) :- 0;100 natp(?i _=(numbp(?i)& intp(?i)&?i>0)) :-t;101 natp(?i _=(numbp(?i)&~(intp(?i)&?i>0))) :- 0;103 oddp(?x _=(numbp(?x)&intp((?x+1)/2))) :- t;104 oddp(?x _=(numbp(?x)&~ intp((?x+1)/2))) :- 0;106 evnp(?x _=(numbp(?x)&intp(?x/2))) :- t;[all …]
447 static int numbp = 0; variable486 numbp = 0;487 p = numbuf + numbp;492 numbp += len+1;518 numbp = 0;519 p = numbuf + numbp;523 numbp += len+1;547 numbp = 0;553 numbp += k+1;598 numbp = 0;[all …]
469 (prog (l l1 l2 numbp slowp nostringp inputp timep grindp inchar largp)473 (cond ((fixnump (car x)) (setq numbp (car x)))484 (cond ((and largp (null numbp)) (go loop))486 (when (or (null numbp) (< (length l) numbp))488 (do ((i numbp (1- i)) (l2)) ((zerop i) (setq l1 (nconc l1 l2)))