Lines Matching +defs:SET +defs:UNION
28 (DEFUN SET-INTERSECT (X Y)
32 (CONS (CAR X) (SET-INTERSECT (CDR X) Y))
33 (SET-INTERSECT (CDR X) Y))))
35 (DEFUN SET-UNION (X Y)
39 (SET-UNION (CDR X) Y)
40 (CONS (CAR X) (SET-UNION (CDR X) Y)))))
42 (DEFUN SET-EQUAL (X Y) (IF (SUBSET X Y) (SUBSET Y X) 'NIL))
347 (SET-UNION (FIND-VARIABLES (CAR EQUATION))
522 (SET-UNION INITIAL-STATES STATES)
524 (CREATE-NEXT-STATES (SET-UNION INITIAL-STATES STATES)
525 (SET-UNION INITIAL-STATES STATES)
528 (CREATE-LABEL-FN (SET-UNION INITIAL-STATES STATES)
540 (SET-UNION (FIND-VARIABLES (CAR EQUATION-LIST))
547 (SET-UNION (FIND-VARIABLES* (G (CAR VARS) EQUATIONS))
563 (IF (SET-EQUAL VARS NEW-VARS)
566 (SET-UNION (FIND-ALL-VARIABLES-1-PASS VARS EQUATIONS)
603 (FIND-ALL-VARIABLES (SET-INTERSECT (REMOVE-DUPLICATE-OCCURRENCES VARS)
688 (SET-EQUAL (SET-INTERSECT (LABEL-OF Q N) VARS)
689 (SET-INTERSECT (LABEL-OF P M) VARS))))