Lines Matching defs:MEMBERP
14 (DEFUN MEMBERP (A X)
18 (MEMBERP A (CDR X)))
24 (IF (MEMBERP (CAR X) Y)
31 (IF (MEMBERP (CAR X) Y)
38 (IF (MEMBERP (CAR X) Y)
51 (NOT (MEMBERP F '(+ & U W X F G)))
60 (IF (MEMBERP (CAR (CDR F)) '(+ & U W))
66 (IF (MEMBERP (CAR F) '(~ X F G))
76 (MEMBERP F V-LIST)
79 (IF (MEMBERP (CAR (CDR F)) '(& + U W))
86 (IF (MEMBERP (CAR F) '(~ X F G))
92 (DEFUN NEXT-STATEP (P Q M) (MEMBERP Q (G P (G ':TRANSITION M))))
94 (DEFUN INITIAL-STATEP (P M) (MEMBERP P (G ':INITIAL-STATES M)))
132 (IMPLIES (NOT (MEMBERP V VARS))
173 (MEMBERP P M-STATES)
196 (MEMBERP (CAR VARS) LABEL))
221 (IF (MEMBERP P STATES-M)
222 (IF (MEMBERP Q STATES-N)
307 (IF (MEMBERP P (G ':STATES M))
308 (IF (MEMBERP Q (G ':STATES N))
345 (MEMBERP (CAR (CDR EQUATION)) '(& +))
359 (IF (MEMBERP V VARS)
360 (MEMBERP EQUATION (G V EQUATIONS))
470 (IF (MEMBERP (G (CAR VARS) EQN)
583 (IF (MEMBERP (CAR X) (CDR X))
657 (MEMBERP S (G ':INITIAL-STATES M))
659 (MEMBERP (C-BISIMILAR-INITIAL-STATE-WITNESS-M->N S M N VARS)
664 (MEMBERP S (G ':INITIAL-STATES N))
666 (MEMBERP (C-BISIMILAR-INITIAL-STATE-WITNESS-N->M M S N VARS)
672 (MEMBERP S (G ':INITIAL-STATES M))
681 (MEMBERP S (G ':INITIAL-STATES N))
695 (MEMBERP R (G ':STATES M))
698 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-M->N P R M Q N VARS)
705 (MEMBERP R (G ':STATES N))
708 (MEMBERP (C-BISIMILAR-TRANSITION-WITNESS-N->M P M Q R N VARS)