1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
\begin{theindex}
\item \CL {:ALL-PATHS}, 22
\item :AUTO-BACKTRACK, \ITIDX{16}, \ITIDX{18, 19}
\item \CL {:AUTO-BACKTRACK}, 22
\item :AUTO-DEFINE, \ITIDX{19}
\item \CL {:AUTO-DEFINE}, 22
\item :AUTO-REFERENCE, \ITIDX{19}
\item \CL {:AUTO-REFERENCE}, 22
\item \CL {:DEPTH-FIRST}, 22
\item :DISPLAY, \ITIDX{23, 24}
\item \CL {:DISPLAY}, 22
\item \CL {:DURATIONS}, 22
\item :FLOATS, \ITIDX{6}, \ITIDX{23}
\item \CL {:FLOATS}, 22
\item \CL {:LEAVES-ONLY}, 23
\item \CL {:RELATIONS}, 23
\item \CL {:SORT}, 23
\item :STATS, \ITIDX{21}
\item \CL {:STATS}, 23
\item :TOLERANCE, \ITIDX{22}
\item \CL {:TOLERANCE}, 23
\item :TRACE, \ITIDX{21, 22}
\item \CL {:TRACE}, 23
\item \CL {:WAIT}, 24
\indexspace
\item ADD-INTERVAL-CONSTRAINT, \ITIDX{5}, \ITIDX{7}, \ITIDX{18},
\ITIDX{20}
\item \CL {(ADD-INTERVAL-CONSTRAINT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}x constraint y {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}type\/}}}\relax :REL)}}\relax \/}}}\relax )},
19
\indexspace
\item \CL {(CONTEXT-DEFINED-P {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}name\/}}}\relax )},
18
\item \CL {(CONTEXT-TREE {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}name\/}}}\relax T)}}\relax \/}}}\relax )},
19
\indexspace
\item \CL {(DEFINE-CONTEXT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax name parent\/}}}\relax )},
18
\item \CL {(DEFINE-INTERVAL {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax int ref {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context\/}}}\relax )},
19
\item \CL {(DEFINED-CONTEXTS)}, 18
\item \CL {(DEFINED-INTERVALS)}, 19
\item \CL {(DELETE-CONTEXT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}name\/}}}\relax )},
18
\item \CL {(DISPLAY-INTERVALS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax ints context {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}clear\/}}}\relax T)}}\relax \/}}}\relax )},
20
\indexspace
\item GET-INTERVAL-CONSTRAINT, \ITIDX{5}, \ITIDX{7}
\item \CL {(GET-INTERVAL-CONSTRAINT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}x y {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}type\/}}}\relax :REL)}}\relax \/}}}\relax )},
20
\item \CL {(GRAPH-INTERVALS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax ints\/}}}\relax )},
21
\indexspace
\item \CL {(INTERVAL-DEFINED-P {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}int\/}}}\relax )},
19
\indexspace
\item \CL {(POP-CONTEXT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax dont-delete-p\/}}}\relax )},
18
\item \CL {(PUSH-CONTEXT)}, 18
\indexspace
\item \CL {(REFERENCE-INTERVALS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}int {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax inverse-p {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context\/}}}\relax )},
19
\item \CL {(RELATED-INTERVALS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}int {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context type\/}}}\relax )},
19
\indexspace
\item \CL {(SHOW-INTERVAL-CONSTRAINTS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}int {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax with-ints context {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}type\/}}}\relax :REL)}}\relax \/}}}\relax )},
20
\item \CL {(SWITCH-CONTEXT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}name\/}}}\relax )},
18
\indexspace
\item \CL {(TEST-INTERVAL-CONSTRAINT {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}x constraint y {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Key}}\relax context {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}type\/}}}\relax :REL) ({\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}test\/}}}\relax :INTERSECT)}}\relax \/}}}\relax )},
20
\item TIMELOGIC-BACKTRACK, \ITIDX{15}, \ITIDX{20}
\item \CL {(TIMELOGIC-BACKTRACK {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax btpoint\/}}}\relax )},
20
\item TIMELOGIC-CHECKPOINT, \ITIDX{20}
\item \CL {(TIMELOGIC-CHECKPOINT)}, 20
\item \CL {(TIMELOGIC-CHECKPOINT-P {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax btpoint\/}}}\relax )},
20
\item TIMELOGIC-INIT, \ITIDX{21}
\item \CL {(TIMELOGIC-INIT)}, 18
\item TIMELOGIC-PROP, \ITIDX{23}
\item \CL {(TIMELOGIC-PROP {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}propname {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax newpropvalue\/}}}\relax )},
21
\item TIMELOGIC-RESET-PROPS, \ITIDX{18}
\item \CL {(TIMELOGIC-RESET-PROPS {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Rest}}\relax keywords\/}}}\relax )},
21
\item \CL {(TIMELOGIC-STATS)}, 21
\item TRACE-INTERVAL, \ITIDX{20, 21}
\item \CL {(TRACE-INTERVAL {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}int {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax with-ints\/}}}\relax )},
21
\indexspace
\item \CL {(UNTRACE-INTERVAL {\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss {\pem {}{\let \pem {}=\tenssi \let \pbf =\tenssbx {\tenss \&Optional}}\relax int\/}}}\relax )},
21
\end{theindex}
|
