Lines Matching refs:endp
45 (if (endp upds) result
72 (if (endp x) T
77 (cond ((endp x) nil)
83 (cond ((endp x) y)
161 (if (endp states) T
167 (if (endp vars) T
173 (if (endp states) nil
178 (if (endp states) nil
188 (if (endp states) T
193 (if (endp vars) T
198 (if (endp states) T
211 (if (endp m-states) T
221 (if (endp label) t
226 (if (endp states) T
231 (if (endp vars) T
237 (if (endp states) T
242 (if (endp states) T
258 (if (endp states) T
326 (if (endp vars) T
344 (if (endp states) nil
349 (if (endp states) nil
356 (if (endp vars) states
364 (if (endp vars) nil
371 (if (endp states) label
396 (if (endp vars) st
402 (if (endp vars) T
411 (if (endp states) nil
418 (if (endp states) ()
444 (if (endp equation-list) nil
449 (if (endp vars) nil
470 (if (endp vars) eq-rec
477 (cond ((endp x) x)
482 (if (endp vars) nil
488 (if (endp inits) nil