Lines Matching defs:member
172 (defun evaluation-eq-member-p (st states vars)
175 (evaluation-eq-member-p st (rest states) vars))))
177 (defun evaluation-eq-member (st states vars)
181 (evaluation-eq-member st (rest states) vars))))
208 (evaluation-eq-member-p st states vars))))
212 (and (evaluation-eq-member-p (first m-states) n-states vars)
215 (defthm evaluation-eq-subset-to-member
218 (evaluation-eq-member-p p n-states vars)))
550 (evaluation-eq-member s (initial-states n) vars))
554 (evaluation-eq-member s (initial-states m) vars))
558 (evaluation-eq-member r (<- (transition n) q) vars))
562 (evaluation-eq-member r (<- (transition m) p) vars))
597 (defthm c-bisimilar-witness-member-of-states-m->n
604 (defthm c-bisimilar-witness-member-of-states-n->m