Lines Matching defs:STATES
40 (IF (ONLY-EVALUATIONS-P (G ':INITIAL-STATES C)
43 (G ':INITIAL-STATES C))
54 (DEFUN ASSIGN-T (V STATES)
55 (IF (ENDP STATES)
57 (CONS (S V 'T (CAR STATES))
58 (ASSIGN-T V (CDR STATES)))))
60 (DEFUN ASSIGN-NIL (V STATES)
61 (IF (ENDP STATES)
63 (CONS (S V 'NIL (CAR STATES))
64 (ASSIGN-NIL V (CDR STATES)))))
66 (DEFUN CREATE-ALL-EVALUATIONS (VARS STATES)
68 STATES
69 ((LAMBDA (REC-STATES VARS)
70 (BINARY-APPEND (ASSIGN-T (CAR VARS) REC-STATES)
71 (ASSIGN-NIL (CAR VARS) REC-STATES)))
73 STATES)
84 (DEFUN CREATE-LABEL-FN (STATES VARS LABEL)
85 (IF (ENDP STATES)
87 (CREATE-LABEL-FN (CDR STATES)
89 (S (CAR STATES)
90 (LABEL-FN-OF-ST (CAR STATES) VARS)
149 (DEFUN CREATE-NEXT-STATES-OF-P
150 (P STATES VARS EQUATIONS)
151 (IF (ENDP STATES)
153 (IF (NEXT-STATE-IS-OK P (CAR STATES)
155 (CONS (CAR STATES)
156 (CREATE-NEXT-STATES-OF-P P (CDR STATES)
158 (CREATE-NEXT-STATES-OF-P P (CDR STATES)
161 (DEFUN CREATE-NEXT-STATES
162 (STATES STATES-PRIME VARS EQUATIONS)
163 (IF (ENDP STATES)
165 (S (CAR STATES)
166 (CREATE-NEXT-STATES-OF-P (CAR STATES)
167 STATES-PRIME VARS EQUATIONS)
168 (CREATE-NEXT-STATES (CDR STATES)
169 STATES-PRIME VARS EQUATIONS))))
174 (VARS EQUATIONS INITIAL-STATES)
176 (STATES EQUATIONS VARS INITIAL-STATES)
177 ((LAMBDA (LABEL-FN EQUATIONS VARS STATES INITIAL-STATES)
178 ((LAMBDA (TRANSITION STATES INITIAL-STATES LABEL-FN VARS)
185 (S ':INITIAL-STATES
186 INITIAL-STATES
187 (S ':STATES
188 (SET-UNION INITIAL-STATES STATES)
190 (CREATE-NEXT-STATES (SET-UNION INITIAL-STATES STATES)
191 (SET-UNION INITIAL-STATES STATES)
193 STATES INITIAL-STATES LABEL-FN VARS))
194 (CREATE-LABEL-FN (SET-UNION INITIAL-STATES STATES)
196 EQUATIONS VARS STATES INITIAL-STATES))
198 EQUATIONS VARS INITIAL-STATES))
201 (G ':INITIAL-STATES C)))