Lines Matching +defs:LABEL +defs:FN
76 (DEFUN LABEL-FN-OF-ST (ST VARS)
81 (LABEL-FN-OF-ST ST (CDR VARS)))
82 (LABEL-FN-OF-ST ST (CDR VARS)))))
84 (DEFUN CREATE-LABEL-FN (STATES VARS LABEL)
86 LABEL
87 (CREATE-LABEL-FN (CDR STATES)
90 (LABEL-FN-OF-ST (CAR STATES) VARS)
91 LABEL))))
177 ((LAMBDA (LABEL-FN EQUATIONS VARS STATES INITIAL-STATES)
178 ((LAMBDA (TRANSITION STATES INITIAL-STATES LABEL-FN VARS)
183 (S ':LABEL-FN
184 LABEL-FN
193 STATES INITIAL-STATES LABEL-FN VARS))
194 (CREATE-LABEL-FN (SET-UNION INITIAL-STATES STATES)