Lines Matching +defs:car +defs:cons
47 (defun cons-list-p (vars equations)
50 (cons-list-p (rest vars) equations))))
58 (cons-list-p (variables C) (equations C))
67 (cons (-> (first states) v T)
72 (cons (-> (first states) v nil)
80 (append (assign-t (car vars) rec-states)
81 (assign-nil (car vars) rec-states)))))
88 (cons (first vars)
135 (cons (first states) (create-next-states-of-p
230 :cases ((memberp (car states) (cdr states)))
263 :cases ((memberp (car states) (cdr states)))
296 :cases ((memberp (car states) (cdr states))))))
351 :cases ((equal s (car states))))))
361 :cases ((memberp (car states) (cdr states)))))))
492 :cases ((equal v (car vars))))))
708 :cases ((equal v (car vars))))
710 :cases ((equal v (car vars))))))
761 (evaluation-eq (car (find-matching-states st vars states))
823 (defthm car-of-find-matching-is-member-of-all-evaluations
825 (memberp (car (find-matching-states st vars states))
867 (p (car (find-matching-states st vars
1066 (defthm strict-evaluation-p-cons-reduction
1068 (strict-evaluation-p (-> st v t) (cons v vars)))
1070 :expand (strict-evaluation-p (-> st v t) (cons v vars)))))
1074 (defthm strict-evaluation-p-cons-reduction-2
1076 (strict-evaluation-p (-> st v nil) (cons v vars)))
1078 :expand (strict-evaluation-p (-> st v nil) (cons v vars)))))
1084 (strict-evaluation-list-p (cons v vars) (assign-t v states))))
1090 (strict-evaluation-list-p (cons v vars) (assign-nil v states))))
1124 (v (car vars)))
1128 (v (car vars)))))))