Lines Matching defs:TRANSITION
92 (DEFUN NEXT-STATEP (P Q M) (MEMBERP Q (G P (G ':TRANSITION M))))
101 (IF (SUBSET (G (CAR STATES) (G ':TRANSITION M))
216 (DEFUN-SK WELL-FORMED-TRANSITION-P
232 (DEFUN TRANSITION-SUBSET-P
238 (TRANSITION-SUBSET-P (CDR STATES)
255 (IF (TRANSITION-SUBSET-P (G ':STATES M)
257 (G ':TRANSITION M))
278 (IF (WELL-FORMED-TRANSITION-P (G ':STATES M)
279 (G ':TRANSITION M)
281 (G ':TRANSITION N)
283 (IF (WELL-FORMED-TRANSITION-P (G ':STATES N)
284 (G ':TRANSITION N)
286 (G ':TRANSITION M)
309 (IF (WELL-FORMED-TRANSITION-P (G ':STATES M)
310 (G ':TRANSITION M)
312 (G ':TRANSITION N)
314 (IF (WELL-FORMED-TRANSITION-P (G ':STATES N)
315 (G ':TRANSITION N)
317 (G ':TRANSITION M)
512 ((LAMBDA (TRANSITION STATES INITIAL-STATES LABEL-FN VARS)
515 (S ':TRANSITION
516 TRANSITION
645 (DEFUN C-BISIMILAR-TRANSITION-WITNESS-M->N
647 (EVALUATION-EQ-MEMBER R (G Q (G ':TRANSITION N))
650 (DEFUN C-BISIMILAR-TRANSITION-WITNESS-N->M
652 (EVALUATION-EQ-MEMBER R (G P (G ':TRANSITION M))
698 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
708 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)
717 (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
725 (CIRCUIT-BISIM (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)
729 C-BISIMILAR-WITNESS-MATCHES-TRANSITION-M->N
734 (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
738 C-BISIMILAR-WITNESS-MATCHES-TRANSITION-N->M
743 (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)