Lines Matching defs:SUBSET
21 (DEFUN SUBSET (X Y)
25 (SUBSET (CDR X) Y)
42 (DEFUN SET-EQUAL (X Y) (IF (SUBSET X Y) (SUBSET Y X) 'NIL))
101 (IF (SUBSET (G (CAR STATES) (G ':TRANSITION M))
161 (DEFUN EVALUATION-EQ-SUBSET-P
167 (EVALUATION-EQ-SUBSET-P (CDR M-STATES)
171 (DEFTHM EVALUATION-EQ-SUBSET-TO-MEMBER
172 (IMPLIES (IF (EVALUATION-EQ-SUBSET-P M-STATES N-STATES VARS)
209 (DEFUN LABEL-SUBSET-VARS (STATES M VARS)
212 (IF (SUBSET (LABEL-OF (CAR STATES) M) VARS)
213 (LABEL-SUBSET-VARS (CDR STATES) M VARS)
228 (EVALUATION-EQ-SUBSET-P (G P TRANS-M)
232 (DEFUN TRANSITION-SUBSET-P
236 (IF (SUBSET (G (CAR STATES) TRANS)
238 (TRANSITION-SUBSET-P (CDR STATES)
253 (IF (LABEL-SUBSET-VARS (G ':STATES M)
255 (IF (TRANSITION-SUBSET-P (G ':STATES M)
258 (IF (SUBSET (G ':INITIAL-STATES M)
276 (IF (SUBSET VARS (G ':VARIABLES M))
277 (IF (SUBSET VARS (G ':VARIABLES N))
288 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES M)
291 (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES N)
319 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES M)
322 (IF (EVALUATION-EQ-SUBSET-P (G ':INITIAL-STATES N)
325 (IF (SUBSET VARS (G ':VARIABLES M))
326 (IF (SUBSET VARS (G ':VARIABLES N))
363 (SUBSET (FIND-VARIABLES EQUATION)
558 (NOT (SUBSET VARS VARIABLES))))
561 (IF (NOT (SUBSET NEW-VARS VARIABLES))