Lines Matching defs:LIST
71 (DEFUN RESTRICTED-FORMULAP (F V-LIST)
76 (MEMBERP F V-LIST)
80 (IF (RESTRICTED-FORMULAP (CAR F) V-LIST)
82 V-LIST)
88 V-LIST)
135 (DEFUN STRICT-EVALUATION-LIST-P (VARS STATES)
139 (STRICT-EVALUATION-LIST-P VARS (CDR STATES))
248 (IF (STRICT-EVALUATION-LIST-P (G ':VARIABLES M)
366 (DEFUN CONS-LIST-P (VARS EQUATIONS)
370 (CONS-LIST-P (CDR VARS) EQUATIONS)
376 (IF (STRICT-EVALUATION-LIST-P (G ':VARIABLES C)
379 (IF (CONS-LIST-P (G ':VARIABLES C)
537 (DEFUN FIND-VARIABLES* (EQUATION-LIST)
538 (IF (ENDP EQUATION-LIST)
540 (SET-UNION (FIND-VARIABLES (CAR EQUATION-LIST))
541 (FIND-VARIABLES* (CDR EQUATION-LIST)))))