Lines Matching defs:INITIAL
217 (IF (SUBSET (G ':INITIAL-STATES M)
247 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES M)
248 (G ':INITIAL-STATES N)
250 (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES N)
251 (G ':INITIAL-STATES M)
278 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES M)
279 (G ':INITIAL-STATES N)
281 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES N)
282 (G ':INITIAL-STATES M)
298 (DEFUN C-BISIMILAR-INITIAL-STATE-WITNESS-M->N
300 (EVALUATION-EQ-MEMBER S (G ':INITIAL-STATES N)
303 (DEFUN C-BISIMILAR-INITIAL-STATE-WITNESS-N->M
305 (EVALUATION-EQ-MEMBER S (G ':INITIAL-STATES M)
420 (MEMBERP S (G ':INITIAL-STATES M))
422 (MEMBERP (C-BISIMILAR-INITIAL-STATE-WITNESS-M->N S M N VARS)
423 (G ':INITIAL-STATES N))))
427 (MEMBERP S (G ':INITIAL-STATES N))
429 (MEMBERP (C-BISIMILAR-INITIAL-STATE-WITNESS-N->M M S N VARS)
430 (G ':INITIAL-STATES M))))
433 C-BISIMILAR-EQUIV-IMPLIES-BISIMILAR-INITIAL-STATES-M->N
435 (MEMBERP S (G ':INITIAL-STATES M))
438 (C-BISIMILAR-INITIAL-STATE-WITNESS-M->N S M N VARS)
442 C-BISIMILAR-EQUIV-IMPLIES-BISIMILAR-INITIAL-STATES-N->M
444 (MEMBERP S (G ':INITIAL-STATES N))
446 (CIRCUIT-BISIM (C-BISIMILAR-INITIAL-STATE-WITNESS-N->M M S N VARS)