Lines Matching +defs:LABEL +defs:FN
96 (DEFUN LABEL-OF (S M) (G S (G ':LABEL-FN M)))
177 (DEFUN TRUTHP-LABEL (LABEL S)
178 (IF (ENDP LABEL)
180 (IF (EQUAL (G (CAR LABEL) S) 'T)
181 (TRUTHP-LABEL (CDR LABEL) S)
187 (IF (TRUTHP-LABEL (LABEL-OF (CAR STATES) M)
192 (DEFUN ALL-TRUTHSP-LABEL (LABEL S VARS)
196 (MEMBERP (CAR VARS) LABEL))
197 (ALL-TRUTHSP-LABEL LABEL S (CDR VARS))
203 (IF (ALL-TRUTHSP-LABEL (LABEL-OF (CAR STATES) M)
209 (DEFUN LABEL-SUBSET-VARS (STATES M VARS)
212 (IF (SUBSET (LABEL-OF (CAR STATES) M) VARS)
213 (LABEL-SUBSET-VARS (CDR STATES) M VARS)
253 (IF (LABEL-SUBSET-VARS (G ':STATES M)
410 (DEFUN LABEL-FN-OF-ST (ST VARS)
415 (LABEL-FN-OF-ST ST (CDR VARS)))
416 (LABEL-FN-OF-ST ST (CDR VARS)))))
418 (DEFUN CREATE-LABEL-FN (STATES VARS LABEL)
420 LABEL
421 (CREATE-LABEL-FN (CDR STATES)
424 (LABEL-FN-OF-ST (CAR STATES) VARS)
425 LABEL))))
511 ((LAMBDA (LABEL-FN EQUATIONS VARS STATES INITIAL-STATES)
512 ((LAMBDA (TRANSITION STATES INITIAL-STATES LABEL-FN VARS)
517 (S ':LABEL-FN
518 LABEL-FN
527 STATES INITIAL-STATES LABEL-FN VARS))
528 (CREATE-LABEL-FN (SET-UNION INITIAL-STATES STATES)
688 (SET-EQUAL (SET-INTERSECT (LABEL-OF Q N) VARS)
689 (SET-INTERSECT (LABEL-OF P M) VARS))))