1
2(DEFPARAMETER |Preorder;CAT| 'NIL)
3
4(DECLAIM (NOTINLINE |Preorder;|))
5
6(DEFPARAMETER |Preorder;AL| 'NIL)
7
8(DEFUN |Preorder| (|t#1|)
9  (LET (#1=#:G401 (#2=#:G402 (|devaluate| |t#1|)))
10    (COND ((SETQ #1# (|assoc| #2# |Preorder;AL|)) (CDR #1#))
11          (T
12           (SETQ |Preorder;AL|
13                   (|cons5| (CONS #2# (SETQ #1# (|Preorder;| #2#)))
14                            |Preorder;AL|))
15           #1#))))
16
17(DEFUN |Preorder;| (|t#1|)
18  (SPROG ((#1=#:G400 NIL))
19         (PROG1
20             (LETT #1#
21                   (|sublisV| (MAKE_PAIRS '(|t#1|) (LIST |t#1|))
22                              (COND (|Preorder;CAT|)
23                                    ('T
24                                     (LETT |Preorder;CAT|
25                                           (|Join| (|FiniteGraph| '|t#1|)
26                                                   (|mkCategory|
27                                                    '(((|le|
28                                                        ((|Boolean|) $
29                                                         (|NonNegativeInteger|)
30                                                         (|NonNegativeInteger|)))
31                                                       T))
32                                                    NIL NIL NIL)))))))
33           (SETELT #1# 0 (LIST '|Preorder| |t#1|)))))
34