Lines Matching defs:TRANSITION
149 (DEFUN-SK WELL-FORMED-TRANSITION-P
166 WELL-FORMED-TRANSITION-P-EXPANDED
168 (IF (WELL-FORMED-TRANSITION-P STATES-M TRANS-M STATES-N TRANS-N VARS)
183 (DEFUN TRANSITION-SUBSET-P
189 (TRANSITION-SUBSET-P (CDR STATES)
193 (DEFTHM TRANSITION-SUBSET-P-EXPANDED
194 (IMPLIES (IF (TRANSITION-SUBSET-P STATES STATES-PRIME TRANS)
214 (IF (TRANSITION-SUBSET-P (G ':STATES M)
216 (G ':TRANSITION M))
237 (IF (WELL-FORMED-TRANSITION-P (G ':STATES M)
238 (G ':TRANSITION M)
240 (G ':TRANSITION N)
242 (IF (WELL-FORMED-TRANSITION-P (G ':STATES N)
243 (G ':TRANSITION N)
245 (G ':TRANSITION M)
268 (IF (WELL-FORMED-TRANSITION-P (G ':STATES M)
269 (G ':TRANSITION M)
271 (G ':TRANSITION N)
273 (IF (WELL-FORMED-TRANSITION-P (G ':STATES N)
274 (G ':TRANSITION N)
276 (G ':TRANSITION M)
377 (DEFUN C-BISIMILAR-TRANSITION-WITNESS-M->N
379 (EVALUATION-EQ-MEMBER R (G Q (G ':TRANSITION N))
382 (DEFUN C-BISIMILAR-TRANSITION-WITNESS-N->M
384 (EVALUATION-EQ-MEMBER R (G P (G ':TRANSITION M))
403 (IF (WELL-FORMED-TRANSITION-P STATES-M TRANS-M STATES-N TRANS-N VARS)
461 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
471 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)
480 (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
488 (CIRCUIT-BISIM (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)
492 C-BISIMILAR-WITNESS-MATCHES-TRANSITION-M->N
497 (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
501 C-BISIMILAR-WITNESS-MATCHES-TRANSITION-N->M
506 (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)