perttool 0.1.0-alpha.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +53 -0
- package/LICENSE +21 -0
- package/README.md +134 -0
- package/dist/analysis/graph.d.ts +41 -0
- package/dist/analysis/graph.d.ts.map +1 -0
- package/dist/analysis/graph.js +199 -0
- package/dist/analysis/graph.js.map +1 -0
- package/dist/analysis/precedence.d.ts +52 -0
- package/dist/analysis/precedence.d.ts.map +1 -0
- package/dist/analysis/precedence.js +187 -0
- package/dist/analysis/precedence.js.map +1 -0
- package/dist/analysis/resource.d.ts +96 -0
- package/dist/analysis/resource.d.ts.map +1 -0
- package/dist/analysis/resource.js +522 -0
- package/dist/analysis/resource.js.map +1 -0
- package/dist/application/analyze.d.ts +32 -0
- package/dist/application/analyze.d.ts.map +1 -0
- package/dist/application/analyze.js +144 -0
- package/dist/application/analyze.js.map +1 -0
- package/dist/application/check.d.ts +24 -0
- package/dist/application/check.d.ts.map +1 -0
- package/dist/application/check.js +43 -0
- package/dist/application/check.js.map +1 -0
- package/dist/application/format.d.ts +21 -0
- package/dist/application/format.d.ts.map +1 -0
- package/dist/application/format.js +52 -0
- package/dist/application/format.js.map +1 -0
- package/dist/application/mutate.d.ts +4 -0
- package/dist/application/mutate.d.ts.map +1 -0
- package/dist/application/mutate.js +175 -0
- package/dist/application/mutate.js.map +1 -0
- package/dist/application/next.d.ts +86 -0
- package/dist/application/next.d.ts.map +1 -0
- package/dist/application/next.js +310 -0
- package/dist/application/next.js.map +1 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +2103 -0
- package/dist/cli.js.map +1 -0
- package/dist/conversion/mermaid-import.d.ts +26 -0
- package/dist/conversion/mermaid-import.d.ts.map +1 -0
- package/dist/conversion/mermaid-import.js +655 -0
- package/dist/conversion/mermaid-import.js.map +1 -0
- package/dist/conversion/mermaid.d.ts +38 -0
- package/dist/conversion/mermaid.d.ts.map +1 -0
- package/dist/conversion/mermaid.js +362 -0
- package/dist/conversion/mermaid.js.map +1 -0
- package/dist/editing/unified-diff.d.ts +7 -0
- package/dist/editing/unified-diff.d.ts.map +1 -0
- package/dist/editing/unified-diff.js +81 -0
- package/dist/editing/unified-diff.js.map +1 -0
- package/dist/formatter/source-formatter.d.ts +17 -0
- package/dist/formatter/source-formatter.d.ts.map +1 -0
- package/dist/formatter/source-formatter.js +210 -0
- package/dist/formatter/source-formatter.js.map +1 -0
- package/dist/help/registry.d.ts +37 -0
- package/dist/help/registry.d.ts.map +1 -0
- package/dist/help/registry.js +657 -0
- package/dist/help/registry.js.map +1 -0
- package/dist/index.d.ts +44 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +23 -0
- package/dist/index.js.map +1 -0
- package/dist/io/document-file.d.ts +9 -0
- package/dist/io/document-file.d.ts.map +1 -0
- package/dist/io/document-file.js +19 -0
- package/dist/io/document-file.js.map +1 -0
- package/dist/io/safe-write.d.ts +33 -0
- package/dist/io/safe-write.d.ts.map +1 -0
- package/dist/io/safe-write.js +280 -0
- package/dist/io/safe-write.js.map +1 -0
- package/dist/model/diagnostics.d.ts +43 -0
- package/dist/model/diagnostics.d.ts.map +1 -0
- package/dist/model/diagnostics.js +47 -0
- package/dist/model/diagnostics.js.map +1 -0
- package/dist/model/rational.d.ts +21 -0
- package/dist/model/rational.d.ts.map +1 -0
- package/dist/model/rational.js +84 -0
- package/dist/model/rational.js.map +1 -0
- package/dist/model/syntax.d.ts +67 -0
- package/dist/model/syntax.d.ts.map +1 -0
- package/dist/model/syntax.js +15 -0
- package/dist/model/syntax.js.map +1 -0
- package/dist/model/units.d.ts +18 -0
- package/dist/model/units.d.ts.map +1 -0
- package/dist/model/units.js +29 -0
- package/dist/model/units.js.map +1 -0
- package/dist/mutation/advance.d.ts +26 -0
- package/dist/mutation/advance.d.ts.map +1 -0
- package/dist/mutation/advance.js +261 -0
- package/dist/mutation/advance.js.map +1 -0
- package/dist/mutation/diagnostics.d.ts +10 -0
- package/dist/mutation/diagnostics.d.ts.map +1 -0
- package/dist/mutation/diagnostics.js +10 -0
- package/dist/mutation/diagnostics.js.map +1 -0
- package/dist/mutation/entity-editor.d.ts +16 -0
- package/dist/mutation/entity-editor.d.ts.map +1 -0
- package/dist/mutation/entity-editor.js +103 -0
- package/dist/mutation/entity-editor.js.map +1 -0
- package/dist/mutation/milestone.d.ts +5 -0
- package/dist/mutation/milestone.d.ts.map +1 -0
- package/dist/mutation/milestone.js +194 -0
- package/dist/mutation/milestone.js.map +1 -0
- package/dist/mutation/resource.d.ts +5 -0
- package/dist/mutation/resource.d.ts.map +1 -0
- package/dist/mutation/resource.js +145 -0
- package/dist/mutation/resource.js.map +1 -0
- package/dist/mutation/source.d.ts +22 -0
- package/dist/mutation/source.d.ts.map +1 -0
- package/dist/mutation/source.js +155 -0
- package/dist/mutation/source.js.map +1 -0
- package/dist/mutation/task.d.ts +10 -0
- package/dist/mutation/task.d.ts.map +1 -0
- package/dist/mutation/task.js +644 -0
- package/dist/mutation/task.js.map +1 -0
- package/dist/mutation/text-edits.d.ts +8 -0
- package/dist/mutation/text-edits.d.ts.map +1 -0
- package/dist/mutation/text-edits.js +33 -0
- package/dist/mutation/text-edits.js.map +1 -0
- package/dist/mutation/types.d.ts +153 -0
- package/dist/mutation/types.d.ts.map +1 -0
- package/dist/mutation/types.js +2 -0
- package/dist/mutation/types.js.map +1 -0
- package/dist/parser/document-parser.d.ts +6 -0
- package/dist/parser/document-parser.d.ts.map +1 -0
- package/dist/parser/document-parser.js +735 -0
- package/dist/parser/document-parser.js.map +1 -0
- package/dist/recommendation/explanation-types.d.ts +226 -0
- package/dist/recommendation/explanation-types.d.ts.map +1 -0
- package/dist/recommendation/explanation-types.js +2 -0
- package/dist/recommendation/explanation-types.js.map +1 -0
- package/dist/recommendation/explanation-validation.d.ts +4 -0
- package/dist/recommendation/explanation-validation.d.ts.map +1 -0
- package/dist/recommendation/explanation-validation.js +745 -0
- package/dist/recommendation/explanation-validation.js.map +1 -0
- package/dist/recommendation/explanation-values.d.ts +7 -0
- package/dist/recommendation/explanation-values.d.ts.map +1 -0
- package/dist/recommendation/explanation-values.js +283 -0
- package/dist/recommendation/explanation-values.js.map +1 -0
- package/dist/recommendation/explanation.d.ts +8 -0
- package/dist/recommendation/explanation.d.ts.map +1 -0
- package/dist/recommendation/explanation.js +1022 -0
- package/dist/recommendation/explanation.js.map +1 -0
- package/dist/recommendation/failure.d.ts +3 -0
- package/dist/recommendation/failure.d.ts.map +1 -0
- package/dist/recommendation/failure.js +4 -0
- package/dist/recommendation/failure.js.map +1 -0
- package/dist/recommendation/json.d.ts +3 -0
- package/dist/recommendation/json.d.ts.map +1 -0
- package/dist/recommendation/json.js +252 -0
- package/dist/recommendation/json.js.map +1 -0
- package/dist/recommendation/override-types.d.ts +117 -0
- package/dist/recommendation/override-types.d.ts.map +1 -0
- package/dist/recommendation/override-types.js +2 -0
- package/dist/recommendation/override-types.js.map +1 -0
- package/dist/recommendation/override.d.ts +7 -0
- package/dist/recommendation/override.d.ts.map +1 -0
- package/dist/recommendation/override.js +717 -0
- package/dist/recommendation/override.js.map +1 -0
- package/dist/recommendation/ranking.d.ts +7 -0
- package/dist/recommendation/ranking.d.ts.map +1 -0
- package/dist/recommendation/ranking.js +391 -0
- package/dist/recommendation/ranking.js.map +1 -0
- package/dist/recommendation/types.d.ts +83 -0
- package/dist/recommendation/types.d.ts.map +1 -0
- package/dist/recommendation/types.js +2 -0
- package/dist/recommendation/types.js.map +1 -0
- package/dist/semantic/validator.d.ts +4 -0
- package/dist/semantic/validator.d.ts.map +1 -0
- package/dist/semantic/validator.js +490 -0
- package/dist/semantic/validator.js.map +1 -0
- package/dist/version.d.ts +2 -0
- package/dist/version.d.ts.map +1 -0
- package/dist/version.js +2 -0
- package/dist/version.js.map +1 -0
- package/package.json +61 -0
|
@@ -0,0 +1,522 @@
|
|
|
1
|
+
import { compareStableStrings } from "../model/diagnostics.js";
|
|
2
|
+
import { ZERO, absolute, add, compare, divide, isZero, multiply, rational, subtract, } from "../model/rational.js";
|
|
3
|
+
function maximum(values) {
|
|
4
|
+
if (values.length === 0)
|
|
5
|
+
throw new Error("maximum requires at least one value");
|
|
6
|
+
return values.reduce((result, value) => (compare(value, result) > 0 ? value : result));
|
|
7
|
+
}
|
|
8
|
+
function taskOrder(left, right, timingById) {
|
|
9
|
+
if (left.priority !== right.priority)
|
|
10
|
+
return right.priority - left.priority;
|
|
11
|
+
const byFloat = compare(timingById.get(left.id).totalFloat, timingById.get(right.id).totalFloat);
|
|
12
|
+
if (byFloat !== 0)
|
|
13
|
+
return byFloat;
|
|
14
|
+
const byDuration = compare(right.expected, left.expected);
|
|
15
|
+
return byDuration !== 0 ? byDuration : compareStableStrings(left.id, right.id);
|
|
16
|
+
}
|
|
17
|
+
function requirementMap(edge) {
|
|
18
|
+
return new Map(edge.requirements.map((requirement) => [requirement.resourceId, requirement.units]));
|
|
19
|
+
}
|
|
20
|
+
function buildResourceArc(arcs, fromTaskId, toTaskId, atTime, waitFrom, resourceId, contribution) {
|
|
21
|
+
const id = `resource:${fromTaskId}:${toTaskId}`;
|
|
22
|
+
const existing = arcs.get(id);
|
|
23
|
+
const resources = new Map(existing?.resources ?? []);
|
|
24
|
+
resources.set(resourceId, (resources.get(resourceId) ?? 0) + contribution);
|
|
25
|
+
arcs.set(id, { id, fromTaskId, toTaskId, atTime, waitFrom, resources });
|
|
26
|
+
}
|
|
27
|
+
function scheduleTasks(graph, precedence, capacities) {
|
|
28
|
+
const tasks = graph.edges.filter((edge) => edge.kind === "task");
|
|
29
|
+
const timingById = new Map(precedence.edges.map((timing) => [timing.id, timing]));
|
|
30
|
+
const satisfaction = new Map();
|
|
31
|
+
const reachedTimes = new Map(graph.frontier.map((id) => [id, ZERO]));
|
|
32
|
+
const scheduled = new Map();
|
|
33
|
+
const running = new Map();
|
|
34
|
+
const unscheduled = new Set(tasks
|
|
35
|
+
.filter((task) => task.status === "planned" || task.status === "blocked")
|
|
36
|
+
.map((task) => task.id));
|
|
37
|
+
const usage = new Map([...capacities.keys()].map((id) => [id, 0]));
|
|
38
|
+
const resourceArcs = new Map();
|
|
39
|
+
const propagate = () => {
|
|
40
|
+
let changed = true;
|
|
41
|
+
while (changed) {
|
|
42
|
+
changed = false;
|
|
43
|
+
for (const edge of graph.edges) {
|
|
44
|
+
if (edge.kind !== "gate" || satisfaction.has(edge.id))
|
|
45
|
+
continue;
|
|
46
|
+
const sourceTime = reachedTimes.get(edge.source);
|
|
47
|
+
if (sourceTime !== undefined) {
|
|
48
|
+
satisfaction.set(edge.id, sourceTime);
|
|
49
|
+
changed = true;
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
for (const vertex of graph.topologicalOrder) {
|
|
53
|
+
if (reachedTimes.has(vertex))
|
|
54
|
+
continue;
|
|
55
|
+
const incoming = graph.incoming.get(vertex);
|
|
56
|
+
const times = incoming.map((edge) => satisfaction.get(edge.id));
|
|
57
|
+
if (times.length > 0 && times.every((time) => time !== undefined)) {
|
|
58
|
+
reachedTimes.set(vertex, maximum(times));
|
|
59
|
+
changed = true;
|
|
60
|
+
}
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
};
|
|
64
|
+
for (const task of tasks.filter((edge) => edge.status === "done")) {
|
|
65
|
+
satisfaction.set(task.id, ZERO);
|
|
66
|
+
const timing = timingById.get(task.id);
|
|
67
|
+
scheduled.set(task.id, {
|
|
68
|
+
id: task.id,
|
|
69
|
+
status: "done",
|
|
70
|
+
expected: task.expected,
|
|
71
|
+
variance: task.variance,
|
|
72
|
+
eligibleTime: ZERO,
|
|
73
|
+
start: ZERO,
|
|
74
|
+
finish: ZERO,
|
|
75
|
+
resourceWait: ZERO,
|
|
76
|
+
requirements: task.requirements,
|
|
77
|
+
priorityKey: {
|
|
78
|
+
priority: task.priority,
|
|
79
|
+
precedenceTotalFloat: timing.totalFloat,
|
|
80
|
+
expected: task.expected,
|
|
81
|
+
taskId: task.id,
|
|
82
|
+
},
|
|
83
|
+
conditionalBlocked: false,
|
|
84
|
+
});
|
|
85
|
+
}
|
|
86
|
+
propagate();
|
|
87
|
+
for (const task of tasks.filter((edge) => edge.status === "active").sort((left, right) => compareStableStrings(left.id, right.id))) {
|
|
88
|
+
const finish = add(ZERO, task.expected);
|
|
89
|
+
running.set(task.id, { edge: task, start: ZERO, finish });
|
|
90
|
+
for (const requirement of task.requirements) {
|
|
91
|
+
usage.set(requirement.resourceId, usage.get(requirement.resourceId) + requirement.units);
|
|
92
|
+
}
|
|
93
|
+
const timing = timingById.get(task.id);
|
|
94
|
+
scheduled.set(task.id, {
|
|
95
|
+
id: task.id,
|
|
96
|
+
status: "active",
|
|
97
|
+
expected: task.expected,
|
|
98
|
+
variance: task.variance,
|
|
99
|
+
eligibleTime: ZERO,
|
|
100
|
+
start: ZERO,
|
|
101
|
+
finish,
|
|
102
|
+
resourceWait: ZERO,
|
|
103
|
+
requirements: task.requirements,
|
|
104
|
+
priorityKey: {
|
|
105
|
+
priority: task.priority,
|
|
106
|
+
precedenceTotalFloat: timing.totalFloat,
|
|
107
|
+
expected: task.expected,
|
|
108
|
+
taskId: task.id,
|
|
109
|
+
},
|
|
110
|
+
conditionalBlocked: false,
|
|
111
|
+
});
|
|
112
|
+
}
|
|
113
|
+
let current = ZERO;
|
|
114
|
+
while (!reachedTimes.has(graph.finish)) {
|
|
115
|
+
const completed = [...running.values()]
|
|
116
|
+
.filter((entry) => compare(entry.finish, current) === 0)
|
|
117
|
+
.sort((left, right) => compareStableStrings(left.edge.id, right.edge.id));
|
|
118
|
+
for (const entry of completed) {
|
|
119
|
+
running.delete(entry.edge.id);
|
|
120
|
+
for (const requirement of entry.edge.requirements) {
|
|
121
|
+
usage.set(requirement.resourceId, usage.get(requirement.resourceId) - requirement.units);
|
|
122
|
+
}
|
|
123
|
+
satisfaction.set(entry.edge.id, current);
|
|
124
|
+
}
|
|
125
|
+
propagate();
|
|
126
|
+
const candidates = tasks
|
|
127
|
+
.filter((task) => unscheduled.has(task.id) && reachedTimes.has(task.source))
|
|
128
|
+
.sort((left, right) => taskOrder(left, right, timingById));
|
|
129
|
+
for (const task of candidates) {
|
|
130
|
+
const fits = task.requirements.every((requirement) => usage.get(requirement.resourceId) + requirement.units <=
|
|
131
|
+
capacities.get(requirement.resourceId));
|
|
132
|
+
if (!fits)
|
|
133
|
+
continue;
|
|
134
|
+
const eligibleTime = reachedTimes.get(task.source);
|
|
135
|
+
const resourceWait = subtract(current, eligibleTime);
|
|
136
|
+
if (compare(resourceWait, ZERO) < 0) {
|
|
137
|
+
throw new Error(`negative resource wait for ${task.id}`);
|
|
138
|
+
}
|
|
139
|
+
if (compare(resourceWait, ZERO) > 0) {
|
|
140
|
+
for (const requirement of [...task.requirements].sort((left, right) => compareStableStrings(left.resourceId, right.resourceId))) {
|
|
141
|
+
const released = completed
|
|
142
|
+
.map((entry) => ({
|
|
143
|
+
taskId: entry.edge.id,
|
|
144
|
+
units: requirementMap(entry.edge).get(requirement.resourceId) ?? 0,
|
|
145
|
+
}))
|
|
146
|
+
.filter(({ units }) => units > 0)
|
|
147
|
+
.sort((left, right) => right.units !== left.units
|
|
148
|
+
? right.units - left.units
|
|
149
|
+
: compareStableStrings(left.taskId, right.taskId));
|
|
150
|
+
const releasedUnits = released.reduce((sum, item) => sum + item.units, 0);
|
|
151
|
+
const needed = Math.max(0, usage.get(requirement.resourceId) +
|
|
152
|
+
releasedUnits +
|
|
153
|
+
requirement.units -
|
|
154
|
+
capacities.get(requirement.resourceId));
|
|
155
|
+
let remaining = needed;
|
|
156
|
+
for (const item of released) {
|
|
157
|
+
if (remaining === 0)
|
|
158
|
+
break;
|
|
159
|
+
const contribution = Math.min(item.units, remaining);
|
|
160
|
+
buildResourceArc(resourceArcs, item.taskId, task.id, current, eligibleTime, requirement.resourceId, contribution);
|
|
161
|
+
remaining -= contribution;
|
|
162
|
+
}
|
|
163
|
+
if (remaining !== 0) {
|
|
164
|
+
throw new Error(`resource witness for ${task.id}/${requirement.resourceId} is incomplete`);
|
|
165
|
+
}
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
unscheduled.delete(task.id);
|
|
169
|
+
for (const requirement of task.requirements) {
|
|
170
|
+
usage.set(requirement.resourceId, usage.get(requirement.resourceId) + requirement.units);
|
|
171
|
+
}
|
|
172
|
+
const finish = add(current, task.expected);
|
|
173
|
+
running.set(task.id, { edge: task, start: current, finish });
|
|
174
|
+
const timing = timingById.get(task.id);
|
|
175
|
+
scheduled.set(task.id, {
|
|
176
|
+
id: task.id,
|
|
177
|
+
status: task.status,
|
|
178
|
+
expected: task.expected,
|
|
179
|
+
variance: task.variance,
|
|
180
|
+
eligibleTime,
|
|
181
|
+
start: current,
|
|
182
|
+
finish,
|
|
183
|
+
resourceWait,
|
|
184
|
+
requirements: task.requirements,
|
|
185
|
+
priorityKey: {
|
|
186
|
+
priority: task.priority,
|
|
187
|
+
precedenceTotalFloat: timing.totalFloat,
|
|
188
|
+
expected: task.expected,
|
|
189
|
+
taskId: task.id,
|
|
190
|
+
},
|
|
191
|
+
conditionalBlocked: task.status === "blocked",
|
|
192
|
+
});
|
|
193
|
+
}
|
|
194
|
+
if (reachedTimes.has(graph.finish))
|
|
195
|
+
break;
|
|
196
|
+
if (running.size === 0) {
|
|
197
|
+
throw new Error(`PTRES-301: ${unscheduled.size} unfinished tasks cannot produce a next event`);
|
|
198
|
+
}
|
|
199
|
+
current = [...running.values()].reduce((minimum, entry, index) => index === 0 || compare(entry.finish, minimum) < 0 ? entry.finish : minimum, ZERO);
|
|
200
|
+
}
|
|
201
|
+
const makespan = reachedTimes.get(graph.finish);
|
|
202
|
+
const orderedTasks = [...scheduled.values()].sort((left, right) => {
|
|
203
|
+
const byStart = compare(left.start, right.start);
|
|
204
|
+
if (byStart !== 0)
|
|
205
|
+
return byStart;
|
|
206
|
+
const byFinish = compare(left.finish, right.finish);
|
|
207
|
+
return byFinish !== 0 ? byFinish : compareStableStrings(left.id, right.id);
|
|
208
|
+
});
|
|
209
|
+
if (orderedTasks.some((task) => task === undefined)) {
|
|
210
|
+
throw new Error("resource scheduler did not emit every residual task");
|
|
211
|
+
}
|
|
212
|
+
return {
|
|
213
|
+
tasks: orderedTasks,
|
|
214
|
+
reachedTimes,
|
|
215
|
+
makespan,
|
|
216
|
+
resourceArcs: [...resourceArcs.values()].sort((left, right) => compareStableStrings(left.id, right.id)),
|
|
217
|
+
};
|
|
218
|
+
}
|
|
219
|
+
function resourceStatistics(graph, tasks, capacities, makespan) {
|
|
220
|
+
return [...graph.resources.keys()].map((resourceId) => {
|
|
221
|
+
const timeline = tasks
|
|
222
|
+
.flatMap((task) => {
|
|
223
|
+
const requirement = task.requirements.find((candidate) => candidate.resourceId === resourceId);
|
|
224
|
+
return requirement === undefined || task.status === "done"
|
|
225
|
+
? []
|
|
226
|
+
: [{ taskId: task.id, start: task.start, finish: task.finish, units: requirement.units }];
|
|
227
|
+
})
|
|
228
|
+
.sort((left, right) => {
|
|
229
|
+
const byStart = compare(left.start, right.start);
|
|
230
|
+
if (byStart !== 0)
|
|
231
|
+
return byStart;
|
|
232
|
+
const byFinish = compare(left.finish, right.finish);
|
|
233
|
+
return byFinish !== 0 ? byFinish : compareStableStrings(left.taskId, right.taskId);
|
|
234
|
+
});
|
|
235
|
+
const amountTime = timeline.reduce((sum, entry) => add(sum, multiply(rational(BigInt(entry.units)), subtract(entry.finish, entry.start))), ZERO);
|
|
236
|
+
const utilization = isZero(makespan)
|
|
237
|
+
? ZERO
|
|
238
|
+
: divide(amountTime, multiply(rational(BigInt(capacities.get(resourceId))), makespan));
|
|
239
|
+
const eventTimes = [...new Map(timeline.flatMap((entry) => [entry.start, entry.finish]).map((time) => [`${time.numerator}/${time.denominator}`, time])).values()].sort(compare);
|
|
240
|
+
let usage = 0;
|
|
241
|
+
let peakUsage = 0;
|
|
242
|
+
for (const time of eventTimes) {
|
|
243
|
+
for (const entry of timeline) {
|
|
244
|
+
if (compare(entry.finish, time) === 0)
|
|
245
|
+
usage -= entry.units;
|
|
246
|
+
}
|
|
247
|
+
for (const entry of timeline) {
|
|
248
|
+
if (compare(entry.start, time) === 0)
|
|
249
|
+
usage += entry.units;
|
|
250
|
+
}
|
|
251
|
+
peakUsage = Math.max(peakUsage, usage);
|
|
252
|
+
}
|
|
253
|
+
const lastRelease = timeline.length === 0
|
|
254
|
+
? ZERO
|
|
255
|
+
: timeline.map((entry) => entry.finish).reduce((result, value) => compare(value, result) > 0 ? value : result);
|
|
256
|
+
return {
|
|
257
|
+
id: resourceId,
|
|
258
|
+
capacity: capacities.get(resourceId),
|
|
259
|
+
amountTime,
|
|
260
|
+
utilization,
|
|
261
|
+
peakUsage,
|
|
262
|
+
lastRelease,
|
|
263
|
+
timeline,
|
|
264
|
+
};
|
|
265
|
+
});
|
|
266
|
+
}
|
|
267
|
+
function addConstraint(arcs, id, from, to, weight, kind, entityId, resourceArcId = null) {
|
|
268
|
+
arcs.push({ id, from, to, weight, kind, entityId, resourceArcId });
|
|
269
|
+
}
|
|
270
|
+
function constraintGraph(graph, tasks, resourceArcs) {
|
|
271
|
+
const nodes = new Set(["@START", "@FINISH"]);
|
|
272
|
+
const arcs = [];
|
|
273
|
+
for (const vertex of graph.vertices.keys())
|
|
274
|
+
nodes.add(`M:${vertex}`);
|
|
275
|
+
for (const frontier of graph.frontier) {
|
|
276
|
+
addConstraint(arcs, `frontier:${frontier}`, "@START", `M:${frontier}`, ZERO, "frontier", frontier);
|
|
277
|
+
}
|
|
278
|
+
const taskById = new Map(tasks.map((task) => [task.id, task]));
|
|
279
|
+
for (const edge of graph.edges) {
|
|
280
|
+
if (edge.kind === "gate") {
|
|
281
|
+
addConstraint(arcs, `gate:${edge.id}`, `M:${edge.source}`, `M:${edge.target}`, ZERO, "gate", edge.id);
|
|
282
|
+
continue;
|
|
283
|
+
}
|
|
284
|
+
const task = taskById.get(edge.id);
|
|
285
|
+
nodes.add(`S:${edge.id}`);
|
|
286
|
+
nodes.add(`F:${edge.id}`);
|
|
287
|
+
addConstraint(arcs, `task-start:${edge.id}`, `M:${edge.source}`, `S:${edge.id}`, ZERO, "task-start", edge.id);
|
|
288
|
+
addConstraint(arcs, `task-duration:${edge.id}`, `S:${edge.id}`, `F:${edge.id}`, task.expected, "task-duration", edge.id);
|
|
289
|
+
addConstraint(arcs, `task-finish:${edge.id}`, `F:${edge.id}`, `M:${edge.target}`, ZERO, "task-finish", edge.id);
|
|
290
|
+
}
|
|
291
|
+
for (const arc of resourceArcs) {
|
|
292
|
+
addConstraint(arcs, arc.id, `F:${arc.fromTaskId}`, `S:${arc.toTaskId}`, ZERO, "resource", null, arc.id);
|
|
293
|
+
}
|
|
294
|
+
addConstraint(arcs, "project-finish", `M:${graph.finish}`, "@FINISH", ZERO, "project-finish", graph.finish);
|
|
295
|
+
return {
|
|
296
|
+
nodes: [...nodes].sort(compareStableStrings),
|
|
297
|
+
arcs: arcs.sort((left, right) => compareStableStrings(left.id, right.id)),
|
|
298
|
+
};
|
|
299
|
+
}
|
|
300
|
+
function topologicalConstraints(nodes, arcs) {
|
|
301
|
+
const incoming = new Map(nodes.map((node) => [node, []]));
|
|
302
|
+
const outgoing = new Map(nodes.map((node) => [node, []]));
|
|
303
|
+
const indegree = new Map(nodes.map((node) => [node, 0]));
|
|
304
|
+
for (const arc of arcs) {
|
|
305
|
+
incoming.get(arc.to).push(arc);
|
|
306
|
+
outgoing.get(arc.from).push(arc);
|
|
307
|
+
indegree.set(arc.to, indegree.get(arc.to) + 1);
|
|
308
|
+
}
|
|
309
|
+
for (const list of [...incoming.values(), ...outgoing.values()]) {
|
|
310
|
+
list.sort((left, right) => compareStableStrings(left.id, right.id));
|
|
311
|
+
}
|
|
312
|
+
const available = [...indegree]
|
|
313
|
+
.filter(([, degree]) => degree === 0)
|
|
314
|
+
.map(([node]) => node)
|
|
315
|
+
.sort(compareStableStrings);
|
|
316
|
+
const order = [];
|
|
317
|
+
while (available.length > 0) {
|
|
318
|
+
const node = available.shift();
|
|
319
|
+
order.push(node);
|
|
320
|
+
for (const arc of outgoing.get(node)) {
|
|
321
|
+
const degree = indegree.get(arc.to) - 1;
|
|
322
|
+
indegree.set(arc.to, degree);
|
|
323
|
+
if (degree === 0) {
|
|
324
|
+
available.push(arc.to);
|
|
325
|
+
available.sort(compareStableStrings);
|
|
326
|
+
}
|
|
327
|
+
}
|
|
328
|
+
}
|
|
329
|
+
if (order.length !== nodes.length)
|
|
330
|
+
throw new Error("resource constraint graph contains a cycle");
|
|
331
|
+
return { order, incoming, outgoing };
|
|
332
|
+
}
|
|
333
|
+
function pathFromConstraints(arcs) {
|
|
334
|
+
const taskIds = [];
|
|
335
|
+
const connectorIds = [];
|
|
336
|
+
const constraints = [];
|
|
337
|
+
let previousTask;
|
|
338
|
+
let segmentKind = "precedence";
|
|
339
|
+
let segmentResource = null;
|
|
340
|
+
for (const arc of arcs) {
|
|
341
|
+
if (arc.kind === "resource") {
|
|
342
|
+
segmentKind = "resource";
|
|
343
|
+
segmentResource = arc.resourceArcId;
|
|
344
|
+
}
|
|
345
|
+
else if (arc.kind === "gate" && segmentKind !== "resource") {
|
|
346
|
+
segmentKind = "gate";
|
|
347
|
+
if (arc.entityId !== null)
|
|
348
|
+
connectorIds.push(arc.entityId);
|
|
349
|
+
}
|
|
350
|
+
if (arc.kind === "task-duration" && arc.entityId !== null) {
|
|
351
|
+
if (isZero(arc.weight)) {
|
|
352
|
+
connectorIds.push(arc.entityId);
|
|
353
|
+
continue;
|
|
354
|
+
}
|
|
355
|
+
const currentTask = arc.entityId;
|
|
356
|
+
if (previousTask !== undefined) {
|
|
357
|
+
constraints.push({
|
|
358
|
+
fromTaskId: previousTask,
|
|
359
|
+
toTaskId: currentTask,
|
|
360
|
+
kind: segmentKind,
|
|
361
|
+
resourceArcId: segmentKind === "resource" ? segmentResource : null,
|
|
362
|
+
});
|
|
363
|
+
}
|
|
364
|
+
taskIds.push(currentTask);
|
|
365
|
+
previousTask = currentTask;
|
|
366
|
+
segmentKind = "precedence";
|
|
367
|
+
segmentResource = null;
|
|
368
|
+
}
|
|
369
|
+
}
|
|
370
|
+
return { taskIds, constraints, connectorIds: [...new Set(connectorIds)] };
|
|
371
|
+
}
|
|
372
|
+
function scheduleCritical(graph, tasks, resourceArcBases, reachedTimes, makespan, maxPaths) {
|
|
373
|
+
const built = constraintGraph(graph, tasks, resourceArcBases);
|
|
374
|
+
const topology = topologicalConstraints(built.nodes, built.arcs);
|
|
375
|
+
const earliest = new Map([["@START", ZERO]]);
|
|
376
|
+
for (const node of topology.order) {
|
|
377
|
+
if (node !== "@START") {
|
|
378
|
+
const candidates = topology.incoming.get(node).map((arc) => add(earliest.get(arc.from), arc.weight));
|
|
379
|
+
if (candidates.length === 0)
|
|
380
|
+
throw new Error(`constraint node ${node} is unreachable`);
|
|
381
|
+
earliest.set(node, maximum(candidates));
|
|
382
|
+
}
|
|
383
|
+
}
|
|
384
|
+
const taskById = new Map(tasks.map((task) => [task.id, task]));
|
|
385
|
+
for (const task of tasks) {
|
|
386
|
+
if (compare(earliest.get(`S:${task.id}`), task.start) !== 0 ||
|
|
387
|
+
compare(earliest.get(`F:${task.id}`), task.finish) !== 0) {
|
|
388
|
+
throw new Error(`PTRES-302: constraint replay differs for task ${task.id}`);
|
|
389
|
+
}
|
|
390
|
+
}
|
|
391
|
+
for (const [id, time] of reachedTimes) {
|
|
392
|
+
if (compare(earliest.get(`M:${id}`), time) !== 0) {
|
|
393
|
+
throw new Error(`PTRES-302: constraint replay differs for milestone ${id}`);
|
|
394
|
+
}
|
|
395
|
+
}
|
|
396
|
+
if (compare(earliest.get("@FINISH"), makespan) !== 0) {
|
|
397
|
+
throw new Error("PTRES-302: constraint replay differs for project finish");
|
|
398
|
+
}
|
|
399
|
+
const latest = new Map([["@FINISH", makespan]]);
|
|
400
|
+
for (const node of [...topology.order].reverse()) {
|
|
401
|
+
if (node === "@FINISH")
|
|
402
|
+
continue;
|
|
403
|
+
const outgoing = topology.outgoing.get(node);
|
|
404
|
+
if (outgoing.length === 0)
|
|
405
|
+
throw new Error(`constraint node ${node} cannot reach finish`);
|
|
406
|
+
const values = outgoing.map((arc) => subtract(latest.get(arc.to), arc.weight));
|
|
407
|
+
latest.set(node, values.reduce((result, value) => compare(value, result) < 0 ? value : result));
|
|
408
|
+
}
|
|
409
|
+
const timings = built.arcs.map((arc) => {
|
|
410
|
+
const scheduleFloat = subtract(subtract(latest.get(arc.to), earliest.get(arc.from)), arc.weight);
|
|
411
|
+
if (compare(scheduleFloat, ZERO) < 0)
|
|
412
|
+
throw new Error(`negative schedule float for ${arc.id}`);
|
|
413
|
+
return {
|
|
414
|
+
...arc,
|
|
415
|
+
scheduleFloat,
|
|
416
|
+
isCritical: compare(absolute(scheduleFloat), graph.criticalEpsilon) <= 0,
|
|
417
|
+
isDriving: isZero(scheduleFloat),
|
|
418
|
+
};
|
|
419
|
+
});
|
|
420
|
+
const timingById = new Map(timings.map((timing) => [timing.id, timing]));
|
|
421
|
+
const resourceArcs = resourceArcBases.map((arc) => {
|
|
422
|
+
const timing = timingById.get(arc.id);
|
|
423
|
+
return {
|
|
424
|
+
...arc,
|
|
425
|
+
scheduleFloat: timing.scheduleFloat,
|
|
426
|
+
isCritical: timing.isCritical,
|
|
427
|
+
isDriving: timing.isDriving,
|
|
428
|
+
};
|
|
429
|
+
});
|
|
430
|
+
const drivingOutgoing = new Map(built.nodes.map((node) => [node, []]));
|
|
431
|
+
for (const timing of timings) {
|
|
432
|
+
if (timing.isDriving)
|
|
433
|
+
drivingOutgoing.get(timing.from).push(timing);
|
|
434
|
+
}
|
|
435
|
+
for (const list of drivingOutgoing.values()) {
|
|
436
|
+
list.sort((left, right) => compareStableStrings(left.id, right.id));
|
|
437
|
+
}
|
|
438
|
+
const counts = new Map([["@FINISH", 1n]]);
|
|
439
|
+
for (const node of [...topology.order].reverse()) {
|
|
440
|
+
if (node === "@FINISH")
|
|
441
|
+
continue;
|
|
442
|
+
counts.set(node, drivingOutgoing.get(node).reduce((sum, arc) => sum + (counts.get(arc.to) ?? 0n), 0n));
|
|
443
|
+
}
|
|
444
|
+
const pathCount = counts.get("@START") ?? 0n;
|
|
445
|
+
if (pathCount === 0n)
|
|
446
|
+
throw new Error("schedule critical path invariant failed");
|
|
447
|
+
const paths = [];
|
|
448
|
+
const visit = (node, path) => {
|
|
449
|
+
if (paths.length >= maxPaths)
|
|
450
|
+
return;
|
|
451
|
+
if (node === "@FINISH") {
|
|
452
|
+
paths.push(pathFromConstraints(path));
|
|
453
|
+
return;
|
|
454
|
+
}
|
|
455
|
+
for (const arc of drivingOutgoing.get(node)) {
|
|
456
|
+
if ((counts.get(arc.to) ?? 0n) === 0n)
|
|
457
|
+
continue;
|
|
458
|
+
visit(arc.to, [...path, arc]);
|
|
459
|
+
if (paths.length >= maxPaths)
|
|
460
|
+
return;
|
|
461
|
+
}
|
|
462
|
+
};
|
|
463
|
+
visit("@START", []);
|
|
464
|
+
const representativeArcs = [];
|
|
465
|
+
let node = "@START";
|
|
466
|
+
while (node !== "@FINISH") {
|
|
467
|
+
const arc = drivingOutgoing.get(node).find((candidate) => (counts.get(candidate.to) ?? 0n) > 0n);
|
|
468
|
+
if (arc === undefined)
|
|
469
|
+
throw new Error("schedule representative path invariant failed");
|
|
470
|
+
representativeArcs.push(arc);
|
|
471
|
+
node = arc.to;
|
|
472
|
+
}
|
|
473
|
+
const criticalTaskIds = new Set(timings
|
|
474
|
+
.filter((timing) => timing.kind === "task-duration" &&
|
|
475
|
+
timing.isCritical &&
|
|
476
|
+
!isZero(timing.weight) &&
|
|
477
|
+
taskById.get(timing.entityId)?.status !== "done")
|
|
478
|
+
.map((timing) => timing.entityId));
|
|
479
|
+
const positiveTaskIds = tasks
|
|
480
|
+
.filter((task) => criticalTaskIds.has(task.id))
|
|
481
|
+
.map((task) => task.id);
|
|
482
|
+
return {
|
|
483
|
+
resourceArcs,
|
|
484
|
+
result: {
|
|
485
|
+
taskIds: positiveTaskIds,
|
|
486
|
+
resourceArcIds: resourceArcs.filter((arc) => arc.isCritical).map((arc) => arc.id),
|
|
487
|
+
drivingConstraintIds: timings.filter((timing) => timing.isDriving).map((timing) => timing.id),
|
|
488
|
+
representativePath: pathFromConstraints(representativeArcs),
|
|
489
|
+
pathCount,
|
|
490
|
+
paths,
|
|
491
|
+
pathsTruncated: pathCount > BigInt(paths.length),
|
|
492
|
+
},
|
|
493
|
+
};
|
|
494
|
+
}
|
|
495
|
+
export function analyzeResources(graph, precedence, overrides, maxPaths) {
|
|
496
|
+
const capacities = new Map([...graph.resources].map(([id, resource]) => [id, overrides.get(id) ?? resource.capacity]));
|
|
497
|
+
const scheduled = scheduleTasks(graph, precedence, capacities);
|
|
498
|
+
const resourceDelay = subtract(scheduled.makespan, precedence.makespan);
|
|
499
|
+
if (compare(resourceDelay, ZERO) < 0)
|
|
500
|
+
throw new Error("resource schedule is shorter than precedence lower bound");
|
|
501
|
+
const critical = scheduleCritical(graph, scheduled.tasks, scheduled.resourceArcs, scheduled.reachedTimes, scheduled.makespan, maxPaths);
|
|
502
|
+
return {
|
|
503
|
+
algorithm: { id: "parallel-sgs", version: 1, optimal: false },
|
|
504
|
+
conditionalOnBlocksResolved: graph.blockedTaskIds.length > 0,
|
|
505
|
+
blockedTaskIds: graph.blockedTaskIds,
|
|
506
|
+
capacities: [...graph.resources].map(([id, resource]) => ({
|
|
507
|
+
id,
|
|
508
|
+
declared: resource.capacity,
|
|
509
|
+
override: overrides.get(id) ?? null,
|
|
510
|
+
effective: capacities.get(id),
|
|
511
|
+
})),
|
|
512
|
+
precedenceLowerBound: precedence.makespan,
|
|
513
|
+
makespan: scheduled.makespan,
|
|
514
|
+
resourceDelay,
|
|
515
|
+
tasks: scheduled.tasks,
|
|
516
|
+
resources: resourceStatistics(graph, scheduled.tasks, capacities, scheduled.makespan),
|
|
517
|
+
resourceArcs: critical.resourceArcs,
|
|
518
|
+
constraintGraphReplay: { ok: true },
|
|
519
|
+
scheduleCritical: critical.result,
|
|
520
|
+
};
|
|
521
|
+
}
|
|
522
|
+
//# sourceMappingURL=resource.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"resource.js","sourceRoot":"","sources":["../../src/analysis/resource.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EACH,OAAO,EACP,MAAM,EACN,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,sBAAsB,CAAC;AA4I9B,SAAS,OAAO,CAAC,MAA2B;IAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAChF,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAChB,IAAkB,EAClB,KAAmB,EACnB,UAA2C;IAE3C,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC5E,MAAM,OAAO,GAAG,OAAO,CACrB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,UAAU,EACnC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,UAAU,CACrC,CAAC;IACF,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB;IACxC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAkC,EAClC,UAAkB,EAClB,QAAgB,EAChB,MAAgB,EAChB,QAAkB,EAClB,UAAkB,EAClB,YAAoB;IAEpB,MAAM,EAAE,GAAG,YAAY,UAAU,IAAI,QAAQ,EAAE,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;IACrD,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;IAC3E,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,aAAa,CACpB,KAAoB,EACpB,UAA4B,EAC5B,UAAuC;IAOvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAmB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,KAAK;SACF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;SACxE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,IAAI,GAAG,EAA2B,CAAC;IAExD,MAAM,SAAS,GAAG,GAAS,EAAE;QAC3B,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAChE,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;oBACtC,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBAC5C,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;gBAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;oBAClE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,KAAmB,CAAC,CAAC,CAAC;oBACvD,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAClE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;QACxC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;YACrB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,WAAW,EAAE;gBACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,oBAAoB,EAAE,MAAM,CAAC,UAAU;gBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB;YACD,kBAAkB,EAAE,KAAK;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,SAAS,EAAE,CAAC;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACnI,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1D,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;QACxC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;YACrB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,IAAI;YACX,MAAM;YACN,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,WAAW,EAAE;gBACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,oBAAoB,EAAE,MAAM,CAAC,UAAU;gBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB;YACD,kBAAkB,EAAE,KAAK;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;aACpC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;aACvD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClD,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YAC5F,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,SAAS,EAAE,CAAC;QAEZ,MAAM,UAAU,GAAG,KAAK;aACrB,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAC5D;aACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAClC,CAAC,WAAW,EAAE,EAAE,CACd,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK;gBACtD,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,CAC1C,CAAC;YACF,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;YACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACrD,IAAI,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,KAAK,MAAM,WAAW,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;oBAChI,MAAM,QAAQ,GAAG,SAAS;yBACvB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACf,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBACrB,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC;qBACnE,CAAC,CAAC;yBACF,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;yBAChC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;wBACxB,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;wBAC1B,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CACpD,CAAC;oBACJ,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CACrB,CAAC,EACD,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE;wBAChC,aAAa;wBACb,WAAW,CAAC,KAAK;wBACjB,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,CAC1C,CAAC;oBACF,IAAI,SAAS,GAAG,MAAM,CAAC;oBACvB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,IAAI,SAAS,KAAK,CAAC;4BAAE,MAAM;wBAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;wBACrD,gBAAgB,CACd,YAAY,EACZ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,EAAE,EACP,OAAO,EACP,YAAY,EACZ,WAAW,CAAC,UAAU,EACtB,YAAY,CACb,CAAC;wBACF,SAAS,IAAI,YAAY,CAAC;oBAC5B,CAAC;oBACD,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;wBACpB,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,EAAE,IAAI,WAAW,CAAC,UAAU,gBAAgB,CAAC,CAAC;oBAC7F,CAAC;gBACH,CAAC;YACH,CAAC;YACD,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC5C,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YAC5F,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;YACxC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;gBACrB,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,MAAM,EAAE,IAAI,CAAC,MAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,YAAY;gBACZ,KAAK,EAAE,OAAO;gBACd,MAAM;gBACN,YAAY;gBACZ,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,WAAW,EAAE;oBACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,oBAAoB,EAAE,MAAM,CAAC,UAAU;oBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB;gBACD,kBAAkB,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS;aAC9C,CAAC,CAAC;QACL,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,MAAM;QAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,cAAc,WAAW,CAAC,IAAI,+CAA+C,CAAC,CAAC;QACjG,CAAC;QACD,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAW,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CACzE,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAC5E,IAAI,CAAC,CAAC;IACR,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC;IACjD,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAChE,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO;QACL,KAAK,EAAE,YAAY;QACnB,YAAY;QACZ,QAAQ;QACR,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;KACxG,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAoB,EACpB,KAA+B,EAC/B,UAAuC,EACvC,QAAkB;IAElB,OAAO,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QACpD,MAAM,QAAQ,GAAG,KAAK;aACnB,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAChB,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;YAC/F,OAAO,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;gBACxD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9F,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACjD,IAAI,OAAO,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACpD,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QACL,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACtG,IAAI,CACL,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;YAClC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1F,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAC5B,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,CAAC,CACxH,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;YAC7D,CAAC;YACD,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC;YACvC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjH,OAAO;YACL,EAAE,EAAE,UAAU;YACd,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,UAAU,CAAE;YACrC,UAAU;YACV,WAAW;YACX,SAAS;YACT,WAAW;YACX,QAAQ;SACT,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,IAAqB,EACrB,EAAU,EACV,IAAY,EACZ,EAAU,EACV,MAAgB,EAChB,IAA2B,EAC3B,QAAuB,EACvB,aAAa,GAAkB,IAAI;IAEnC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CACtB,KAAoB,EACpB,KAA+B,EAC/B,YAAwC;IAExC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACrE,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACtC,aAAa,CAAC,IAAI,EAAE,YAAY,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACrG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,aAAa,CAAC,IAAI,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACtG,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,aAAa,CAAC,IAAI,EAAE,cAAc,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9G,aAAa,CAAC,IAAI,EAAE,iBAAiB,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACzH,aAAa,CAAC,IAAI,EAAE,eAAe,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,UAAU,EAAE,EAAE,KAAK,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,aAAa,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5G,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;QAC5C,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAwB,EACxB,IAA8B;IAM9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAqB,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAqB,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;SACpC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;SACrB,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAG,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,GAAG,CAAC,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC7B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACjG,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAiC;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,WAAW,GAKX,EAAE,CAAC;IACT,IAAI,YAAgC,CAAC;IACrC,IAAI,WAAW,GAA2B,YAAY,CAAC;IACvD,IAAI,eAAe,GAAkB,IAAI,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC5B,WAAW,GAAG,UAAU,CAAC;YACzB,eAAe,GAAG,GAAG,CAAC,aAAa,CAAC;QACtC,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC7D,WAAW,GAAG,MAAM,CAAC;YACrB,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;gBAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC1D,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAChC,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC;YACjC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBAC/B,WAAW,CAAC,IAAI,CAAC;oBACf,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,WAAW;oBACjB,aAAa,EAAE,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI;iBACnE,CAAC,CAAC;YACL,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1B,YAAY,GAAG,WAAW,CAAC;YAC3B,WAAW,GAAG,YAAY,CAAC;YAC3B,eAAe,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAoB,EACpB,KAA+B,EAC/B,gBAA4C,EAC5C,YAA2C,EAC3C,QAAkB,EAClB,QAAgB;IAKhB,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAmB,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YACvG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,iBAAiB,CAAC,CAAC;YACvF,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IACE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACxD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAE,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EACzD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,sDAAsD,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAmB,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,sBAAsB,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,OAAO,GAAuB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACzD,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACnG,IAAI,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/F,OAAO;YACL,GAAG,GAAG;YACN,aAAa;YACb,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC;YACxE,SAAS,EAAE,MAAM,CAAC,aAAa,CAAC;SACjC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,YAAY,GAAkB,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvC,OAAO;YACL,GAAG,GAAG;YACN,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAwB,CAAC,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,SAAS;YAAE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,SAAS,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAwB,EAAQ,EAAE;QAC7D,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ;YAAE,OAAO;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;YACtC,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE;gBAAE,SAAS;YAChD,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ;gBAAE,OAAO;QACvC,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACpB,MAAM,kBAAkB,GAAuB,EAAE,CAAC;IAClD,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,OAAO,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAClG,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACxF,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;IAChB,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,OAAO;SACJ,MAAM,CACL,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,MAAM,CAAC,UAAU;QACjB,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,QAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CACpD;SACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAS,CAAC,CACrC,CAAC;IACF,MAAM,eAAe,GAAG,KAAK;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC9C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,OAAO;QACL,YAAY;QACZ,MAAM,EAAE;YACN,OAAO,EAAE,eAAe;YACxB,cAAc,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACjF,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7F,kBAAkB,EAAE,mBAAmB,CAAC,kBAAkB,CAAC;YAC3D,SAAS;YACT,KAAK;YACL,cAAc,EAAE,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;SACjD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAAoB,EACpB,UAA4B,EAC5B,SAAsC,EACtC,QAAgB;IAEhB,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;IACF,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxE,IAAI,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAClH,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,QAAQ,EAClB,QAAQ,CACT,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;QAC7D,2BAA2B,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC5D,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YACxD,EAAE;YACF,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI;YACnC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAE;SAC/B,CAAC,CAAC;QACH,oBAAoB,EAAE,UAAU,CAAC,QAAQ;QACzC,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,aAAa;QACb,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,SAAS,EAAE,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC;QACrF,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,qBAAqB,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE;QACnC,gBAAgB,EAAE,QAAQ,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import type { Diagnostic } from "../model/diagnostics.js";
|
|
2
|
+
import type { DocumentNode } from "../model/syntax.js";
|
|
3
|
+
import type { PrecedenceResult } from "../analysis/precedence.js";
|
|
4
|
+
import type { ResourceScheduleResult } from "../analysis/resource.js";
|
|
5
|
+
import type { Rational } from "../model/rational.js";
|
|
6
|
+
import type { DurationUnit, Velocity, VelocityConversion } from "../model/units.js";
|
|
7
|
+
export type AnalysisMode = "precedence" | "resource" | "both";
|
|
8
|
+
export interface AnalyzeOptions {
|
|
9
|
+
readonly mode?: AnalysisMode;
|
|
10
|
+
readonly capacityOverrides?: ReadonlyMap<string, number>;
|
|
11
|
+
readonly maxPaths?: number;
|
|
12
|
+
readonly precision?: number;
|
|
13
|
+
readonly maxDiagnostics?: number;
|
|
14
|
+
}
|
|
15
|
+
export interface AnalysisResult {
|
|
16
|
+
readonly ok: boolean;
|
|
17
|
+
readonly document: DocumentNode;
|
|
18
|
+
readonly documentId: string | null;
|
|
19
|
+
readonly diagnostics: readonly Diagnostic[];
|
|
20
|
+
readonly diagnosticsTruncated: boolean;
|
|
21
|
+
readonly mode: AnalysisMode;
|
|
22
|
+
readonly precision: number;
|
|
23
|
+
readonly capacityOverrides: ReadonlyMap<string, number>;
|
|
24
|
+
readonly durationUnit: DurationUnit | null;
|
|
25
|
+
readonly velocity: Velocity | null;
|
|
26
|
+
readonly velocityForecast: VelocityConversion | null;
|
|
27
|
+
readonly criticalEpsilon: Rational | null;
|
|
28
|
+
readonly precedence: PrecedenceResult | null;
|
|
29
|
+
readonly resource: ResourceScheduleResult | null;
|
|
30
|
+
}
|
|
31
|
+
export declare function analyzeDocument(text: string, options?: AnalyzeOptions): AnalysisResult;
|
|
32
|
+
//# sourceMappingURL=analyze.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"analyze.d.ts","sourceRoot":"","sources":["../../src/application/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAmB,MAAM,yBAAyB,CAAC;AAQ3E,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,oBAAoB,CAAC;AAIzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAElE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAIpF,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,QAAQ,CAAC,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,eAAe,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAC;CAClD;AAgFD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,cAAmB,GAC3B,cAAc,CA4FhB"}
|